diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-21 21:33:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-21 19:33:21 +0000 |
| commit | 754688c9551d4275ed6d704687a33f0568fa73e8 (patch) | |
| tree | 78553615f8e2e903e91987a53849f5f96c672ca0 /src/base/output.cpp | |
| parent | 6db851b3e90d766b6a90f53533d324120065e750 (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.
Diffstat (limited to 'src/base/output.cpp')
0 files changed, 0 insertions, 0 deletions