projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38b59f1) | patch
Fix libpoly build on windows (#7502)
authorGereon Kremer <nafur42@gmail.com>
Wed, 27 Oct 2021 00:18:23 +0000 (17:18 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 00:18:23 +0000 (00:18 +0000)
commitc405f169925f5c9b5bf17d668872f37ce878eb68
tree358ef691b7d01f0663b40a368d040dcd43e21119tree
parent38b59f152974347c132f3ca665948f4a7780abc4commit | diff
Fix libpoly build on windows (#7502)

This PR should finally resolve the current issues with libpoly and windows cross compilation.
cmake/FindANTLR3.cmake diff | blob | history
cmake/FindGMP.cmake diff | blob | history
cmake/FindPoly.cmake diff | blob | history
src/parser/CMakeLists.txt diff | blob | history