Dan Liew
8310fed528
[TravisCI] Implement TravisCI build and testing infrastructure for Linux
...
The Linux builds rely on Docker (using Ubuntu 16.04LTS and Ubuntu
14.04LTS) to build and test Z3 so that builds are easily reproducible.
A build status button has been added to `README.md` so that it is
easy to see the current build status.
More documentation can be found in `contrib/ci/README.md`.
This implementation currently tests 13 different configurations. If
build times become too long we can remove some of them.
Although it would be nice to test macOS builds that requires
significantly more work so I have left this as future work.
2017-07-01 11:51:30 +01:00
Dan Liew
2badef9d0b
Be more explicit about using Clang as the compiler as noted in #979 .
...
Referring to the ``mk_make.py`` line might lead someone to think they
need to modify the ``mk_make.py`` file rather than change the command
line invocation.
2017-04-20 17:25:00 +01:00
Dan Liew
4b0f7bc222
Fix typo noted in #979 . g++ is the default compiler rather than the gcc binary.
2017-04-20 17:22:05 +01:00
Nikolaj Bjorner
7b727fc725
remove scratch notes from readme
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-03-09 06:37:56 +01:00
Nikolaj Bjorner
e34996fa9d
add notes to README based on feedback in #916
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-03-09 06:00:34 +01:00
Christoph M. Wintersteiger
d8e4966a11
Added win64 build badge
2017-01-14 14:18:37 +00:00
Christoph M. Wintersteiger
37916fe7e9
Update README.md
2017-01-13 21:33:11 +00:00
Martin R. Neuhäußer
22097efd4a
Extend build scripts to support MinGW64 cross-compilation on Windows.
2016-06-10 16:43:57 +02:00
Christoph M. Wintersteiger
14e1e247a4
Revert "nmake->make, little error"
...
This reverts commit 8287f7ba82
2016-04-17 11:35:27 +01:00
Xavier DELPIERRE
8287f7ba82
nmake->make, little error
2016-04-17 02:39:35 +02:00
Dan Liew
474ce6645a
Fix omission of CMake build in README.md
2016-03-14 08:27:46 +00:00
hongjiawu
6a2f27476c
Update README.md
2016-03-10 18:10:59 +01:00
Dan Liew
e67ed6be5d
Note in the README the experimental CMake build system.
2016-03-04 15:26:09 +00:00
Dan Liew
55ea75d0a9
Fix minor typo in `README.md`
2016-01-12 11:25:30 +00:00
Dan Liew
7cc12bf59f
Update information in `README.md` on Python bindings. Since
...
e9ea687bb9
2016-01-11 23:50:43 +00:00
Dan Liew
8ae60d300e
Update information in `README.md` on ".NET" bindings. Since
...
942b6ba5ec
2016-01-11 23:50:37 +00:00
Dan Liew
f9687e780a
Link to the release notes in `README.md`
2015-12-12 11:50:38 +00:00
Dan Liew
b4dd5d3d08
Rewrite intro text in `README.md`.
2015-12-12 11:46:02 +00:00
Dan Liew
560810ee67
Fix command line indent in `README.md`
2015-12-12 11:33:32 +00:00
Dan Liew
2947893e10
Partially document the Z3 bindings in `README.md`
2015-12-12 11:32:33 +00:00
Dan Liew
2bd9bbafe4
Re-organise the discussion of Clang, it is not a second class citizen
...
and so doesn't deserve to be stuck at the end of the README. It also
**does** support OpenMP!
2015-12-12 10:31:12 +00:00
Dan Liew
f09fa3c87b
Recent changes to the build system mean that setting a custom
...
``--prefix=`` is likely to disable installing the Python bindings so
the old instructions aren't helpful. Reword them and mention using
``DESTDIR``.
2015-12-12 10:22:56 +00:00
Dan Liew
08610ae243
Correct incorrect information on what `PREFIX is in README.md`.
...
It isn't always the root of the Python install.
2015-12-12 10:06:10 +00:00
Dan Liew
68247aa58f
Convert README to markdown
2015-12-12 10:01:27 +00:00
