projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6a50e3) | patch
Properly link Poly against GMP (#6398)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 20 Apr 2021 16:22:47 +0000 (18:22 +0200)
committerGitHub <noreply@github.com>
Tue, 20 Apr 2021 16:22:47 +0000 (16:22 +0000)
commit29d19c62ff1a65665f852134c24c17cca45251cd
tree340d16de74c1aae13b84688ad00f0b820ba0ef25tree
parentd6a50e3ebeea29abaa5a2aee624590490fa75ddacommit | diff
Properly link Poly against GMP (#6398)

This PR fixes a linker issue with libpoly and static builds where Poly and GMP would be linked against in the wrong order.
cmake/FindPoly.cmake diff | blob | history