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

Age	Commit message (Collapse)	Author
2017-03-15	Fix win-build script to use MinGW-w64 by default	Andres Notzli
	Previous changes to the win-build script left the script in an inconsistent state: the script was updated to refer to MinGW-w64 but the default host was still referring to MinGW.
2017-03-08	Fix MinGW-w64 build	Andres Notzli
	This commit fixes configure.ac to try to get clock_gettime() from pthread. Without it, clock_gettime() is detected as missing at configuration time for MinGW-w64 but exists at compile time, which causes conflicts. Additionally, this commit updates the helper script for Windows to use MinGW-w64 by default instead of MinGW.