projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c0d273) | patch
Fix libpoly build and use new release (#6354)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 14 Apr 2021 12:40:55 +0000 (14:40 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Apr 2021 12:40:55 +0000 (14:40 +0200)
commitaed4c9e04665598dbcccafcc23b026ebef5b5ad2
tree8e8dfb738d41b251997d0b99f47358e76f281b4ftree
parent1c0d2738941e948d67c696e0c96e3463da9807d2commit | diff
Fix libpoly build and use new release (#6354)

This PR fixes the libpoly build: it naively removed the test/ folder from the source directory to save on cache size.
It also uses the recently published 0.1.9 release of libpoly.
Fixes #4706.
cmake/FindPoly.cmake diff | blob | history