summaryrefslogtreecommitdiff
path: root/INSTALL.md
AgeCommit message (Collapse)Author
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-02Remove obsolete dependency on CxxTest. (#6038)Aina Niemetz
2021-03-02Add aarch64 (ARM64) cross-compile support. (#6033)Mathias Preiner
This commit adds support for cross-compiling for aarch64 platforms and simplifies cross-compilation handling for Windows. The configure script now automatically downloads and cross-compiles the required dependencies ANTLR3 and GMP when passing option --arm64 or --win64. Fixes #1479 #5769.
2021-02-09cmake: Make Python3 default and improve toml error messages. (#5884)Mathias Preiner
./configure.sh will now fail if Python3 is not installed on the system. Since Python2 is now deprecated the user has to explicitly enable it via --python2. This commit also removes the --python3 configure flag.
2021-02-04Clarifying documentation of `--static-binary` (#5844)yoni206
The documentation regarding --static-binary is improved.
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
This sets up the infrastructure for migrating unit tests from CxxTest to Google Test. It further migrates api/datatype_api_black to the new infrastructure.
2020-10-05cmake: Add warning when unit testing is disabled due to assertions being ↵Aina Niemetz
disabled. (#5204) This further fixes the testing instructions for API tests (formerly known as system tests) in INSTALL.md. Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
2020-08-04Add documentation and build instructions for recompilation (LGPL). (#4844)Mathias Preiner
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
2020-07-17Integration of libpoly (#4679)Gereon Kremer
This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration. Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities.
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
This commit removes support for SWIG bindings for the legacy API. The bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da and we are not planning on using SWIG for the Java API for the new API.
2020-06-19Update version information post 1.8 release (#4635)Andres Noetzli
2020-06-19Update info for 1.8 release (#4633)Andres Noetzli
2020-04-28contrib/get-gmp: Rename and update install instructions with a warning. (#4407)Aina Niemetz
2020-04-27Fix examples instructions in INSTALL.md. (#4397)Mathias Preiner
2020-02-04Update INSTALL.md (#3714)mudathirmahgoub
Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com>
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
This commit adds support for code generation of options with modes (enums). From now on option enums can be specified in the corresponding *.toml files without the need of extra code. All option enums are now in the options namespace.
2019-09-25Add Windows cross-compiling instructions to INSTALL.md. (#3226)Mathias Preiner
2019-04-12Referring to prerelease 1.8 (#2943)Haniel Barbosa
2019-04-08"prerelease -> release" in INSTALL (#2944)Haniel Barbosa
2019-03-14Improve INSTALL instructions. (#2866)Aina Niemetz
2018-11-01fixes to regression docs (#2679)yoni206
2018-10-18cmake: Run regression level 2 for make check. (#2645)Mathias Preiner
2018-10-02Fix documentation for `make regress`. (#2557)Alex Ozdemir
2018-09-25cmake: New INSTALL.md for build and testing instructions. (#2536)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback