diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-15 23:09:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-15 21:09:10 +0000 |
| commit | 3fb45e059eff665ed5aaf23915f3434db1e60299 (patch) | |
| tree | 7431f22ff18b4096fd62670b6e4022bdf270cd1b /cmake | |
| parent | 44299210154706701d56bfa40e8cb5c58079e9ca (diff) | |
Update to a more recent libpoly version. (#6730)
This PR updates to the latest version of libpoly, which has a memory leak fixed.
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/FindPoly.cmake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 3fa35b951..734962423 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -45,7 +45,7 @@ if(NOT Poly_FOUND_SYSTEM) include(ExternalProject) - set(Poly_VERSION "6309f7a94e97753ef3ecb7dbfcbd435d558c4bd6") + set(Poly_VERSION "f543721215ec17a724dc86820a0430233931a637") check_if_cross_compiling(CCWIN "Windows" "") if(CCWIN) @@ -78,7 +78,7 @@ if(NOT Poly_FOUND_SYSTEM) Poly-EP ${COMMON_EP_CONFIG} URL https://github.com/SRI-CSL/libpoly/archive/${Poly_VERSION}.tar.gz - URL_HASH SHA1=7bac7aa4aab8201f5b14494fc486fa2b0ffb7b31 + URL_HASH SHA1=3fad3b310727fa0fb2fdff5a8857709d12f72e04 PATCH_COMMAND sed -i.orig "s,add_subdirectory(test/polyxx),add_subdirectory(test/polyxx EXCLUDE_FROM_ALL),g" |