projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39ea1d8) | patch
Refactor GMP and Poly dependencies (#6245)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 31 Mar 2021 21:17:38 +0000 (23:17 +0200)
committerGitHub <noreply@github.com>
Wed, 31 Mar 2021 21:17:38 +0000 (21:17 +0000)
commitf9a9af855fb65804ff0b36e764ccd9d0fa9f87f8
tree2c90b0e704366541187198231102b2d1eed26f41tree
parent39ea1d8a1497a83d1efc649bd10da82916e5db5fcommit | diff
Refactor GMP and Poly dependencies (#6245)

Refactors GMP and libpoly to also use external projects and be available within cmake as proper targets.
.github/workflows/ci.yml diff | blob | history
cmake/FindGMP.cmake diff | blob | history
cmake/FindPoly.cmake diff | blob | history
cmake/deps-helper.cmake diff | blob | history
contrib/get-gmp-dev [deleted file] blob | history
contrib/get-poly [deleted file] blob | history
src/CMakeLists.txt diff | blob | history
src/main/CMakeLists.txt diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
test/api/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history