cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
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