projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab68adf) | patch
Fix MinGW-w64 build
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 8 Mar 2017 10:50:56 +0000 (02:50 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 8 Mar 2017 18:06:13 +0000 (10:06 -0800)
commitb36ffd6c40b0f037e780f71a2d5c10ff53cbee14
tree5a8293c2cb55693f74418b794bd76125e7d1d052tree
parentab68adfc44049598ee79a3c8b4379694d786d9aacommit | diff
Fix MinGW-w64 build

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.
configure.ac diff | blob | history
contrib/Makefile.am diff | blob | history
contrib/win-build [new file with mode: 0755] blob
contrib/win32-build [deleted file] blob | history