diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-20 19:55:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-20 17:55:35 +0000 |
commit | 61b14cbbbb1665496913e047d14fedee610efef1 (patch) | |
tree | 73df7500b4b1022bd87559b29475c3c5342313ed | |
parent | bfa34c539319746dd3c247851cbbb8db86625fd0 (diff) |
Use most recent version of libpoly (#6587)
This PR updates to the most recent version of libpoly which fixes some memory leaks.
-rw-r--r-- | cmake/FindPoly.cmake | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 0a5780585..3fa35b951 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -45,7 +45,7 @@ if(NOT Poly_FOUND_SYSTEM) include(ExternalProject) - set(Poly_VERSION "0.1.9") + set(Poly_VERSION "6309f7a94e97753ef3ecb7dbfcbd435d558c4bd6") check_if_cross_compiling(CCWIN "Windows" "") if(CCWIN) @@ -77,9 +77,8 @@ if(NOT Poly_FOUND_SYSTEM) ExternalProject_Add( Poly-EP ${COMMON_EP_CONFIG} - URL https://github.com/SRI-CSL/libpoly/archive/refs/tags/v${Poly_VERSION}.tar.gz - URL_HASH SHA1=7af3bbb7a2bca6ef2a41e79447baac08ff30d2fd - DOWNLOAD_NAME libpoly.tar.gz + URL https://github.com/SRI-CSL/libpoly/archive/${Poly_VERSION}.tar.gz + URL_HASH SHA1=7bac7aa4aab8201f5b14494fc486fa2b0ffb7b31 PATCH_COMMAND sed -i.orig "s,add_subdirectory(test/polyxx),add_subdirectory(test/polyxx EXCLUDE_FROM_ALL),g" |