projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52b3385) | patch
Remove --build from GMP configure line (#8752)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 11 May 2022 18:13:31 +0000 (11:13 -0700)
committerGitHub <noreply@github.com>
Wed, 11 May 2022 18:13:31 +0000 (11:13 -0700)
commit9a191a3fae2abfc68be734ca5790024fea93e9f1
treeff80826b414bad70ed5ae2ce0865b907394cd920tree
parent52b3385489537ba4b5577e1596b74ba0eb0aed21commit | diff
Remove --build from GMP configure line (#8752)

This is an attempt to fix the pypi build.
cmake/FindGMP.cmake diff | blob | history