Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-02-19 | Add Python bindings using Cython -- see below for more details (#2879) | makaimann | |
2019-09-25 | Use separate CMake project for CVC4 examples. (#3196) | Mathias Preiner | |
2019-08-08 | Fix issues with Ninja build system and add configure option. (#3166) | Mathias Preiner | |
Adds option --ninja to configure.sh. | |||
2018-10-18 | cmake: Run regression level 2 for make check. (#2645) | Mathias Preiner | |
2018-10-02 | cmake: Add examples to build-tests, add warning for disabling static build. ↵ | Mathias Preiner | |
(#2562) | |||
2018-10-01 | cmake: Add build target build-tests to build all test dependencies. (#2558) | Mathias Preiner | |
2018-09-28 | cmake: Only do Java tests when unit testing on (#2551) | Andres Noetzli | |
Right now, we are adding the Java tests even when we are not building unit tests. This commit changes the build system to only add the Java tests when unit tests are enabled. There are two reasons for this change: - building a production version of CVC4 should not require JUnit - it seems more intuitive (to me at least) to disable JUnit tests when unit tests are disabled This change also simplifies building the Java bindings in our homebrew formula. | |||
2018-09-26 | cmake: Fix test target dependency issues. (#2540) | Mathias Preiner | |
2018-09-22 | cmake: Run make coverage in parallel by default. | Mathias Preiner | |
2018-09-22 | cmake: Disable unit tests if assertions are not enabled. | Mathias Preiner | |
2018-09-22 | cmake: Do not build examples and unit and system tests by default. | Aina Niemetz | |
2018-09-22 | cmake: Added target check | Aina Niemetz | |
Targets 'check', 'units', 'systemtests' and 'regress' are now run in parallel with the number of available cores by default. This can be overriden by passing ARGS=-jN. | |||
2018-09-22 | cmake: Removed obsolete CMakeLists file in test. | Aina Niemetz | |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz | |