projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6db851b) | patch
Pass GMP to libpoly (#6411)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 21 Apr 2021 19:33:21 +0000 (21:33 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Apr 2021 19:33:21 +0000 (19:33 +0000)
commit754688c9551d4275ed6d704687a33f0568fa73e8
tree78553615f8e2e903e91987a53849f5f96c672ca0tree
parent6db851b3e90d766b6a90f53533d324120065e750commit | diff
Pass GMP to libpoly (#6411)

This PR makes sure that our build of libpoly works on systems without GMP: by passing the paths to GMP we use ourselves to libpoly, we make sure libpoly always has a suitable version of GMP.
Also, we make libpoly somewhat faster to build by disabling tests.
cmake/FindPoly.cmake diff | blob | history