projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3950d9) | patch
Remove obsolete libpoly patch (#6762)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 18 Jun 2021 02:32:43 +0000 (19:32 -0700)
committerGitHub <noreply@github.com>
Fri, 18 Jun 2021 02:32:43 +0000 (02:32 +0000)
commit828702825ab82175029e087eb8911575acd43a82
treeb95b8539dba6bbe0c1680dee2c5bc8e2bc9eca5btree
parentc3950d941da9753d2fb56eafa07be73a1a2ba500commit | diff
Remove obsolete libpoly patch (#6762)

The following commit made our libpoly patch for our Windows builds
obsolete:
https://github.com/SRI-CSL/libpoly/commit/ce7e620c54bd907200ce8b11812d123bf5f4ec8e
This resulted in our build getting stuck because it detected that the
patch had already been applied and was prompting the user what to do.
This commit removes that patch file and the corresponding command.
cmake/FindPoly.cmake diff | blob | history
cmake/deps-utils/Poly-patch-cmake.patch [deleted file] blob | history