summaryrefslogtreecommitdiff
path: root/test/CMakeLists.txt
AgeCommit message (Expand)Author
2020-02-19Add Python bindings using Cython -- see below for more details (#2879)makaimann
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
2018-10-18cmake: Run regression level 2 for make check. (#2645)Mathias Preiner
2018-10-02cmake: Add examples to build-tests, add warning for disabling static build. (...Mathias Preiner
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
2018-09-28cmake: Only do Java tests when unit testing on (#2551)Andres Noetzli
2018-09-26cmake: Fix test target dependency issues. (#2540)Mathias Preiner
2018-09-22cmake: Run make coverage in parallel by default.Mathias Preiner
2018-09-22cmake: Disable unit tests if assertions are not enabled.Mathias Preiner
2018-09-22cmake: Do not build examples and unit and system tests by default.Aina Niemetz
2018-09-22cmake: Added target checkAina Niemetz
2018-09-22cmake: Removed obsolete CMakeLists file in test.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback