diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-14 14:40:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-14 14:40:55 +0200 |
| commit | aed4c9e04665598dbcccafcc23b026ebef5b5ad2 (patch) | |
| tree | 8e8dfb738d41b251997d0b99f47358e76f281b4f /cmake | |
| parent | 1c0d2738941e948d67c696e0c96e3463da9807d2 (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.
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/FindPoly.cmake | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index f793c0c0a..29fd9fa05 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -40,8 +40,7 @@ endif() if(NOT Poly_FOUND_SYSTEM) include(ExternalProject) - # TODO(#4706): Use proper release, after the next release - set(Poly_VERSION "bae67639726f63ed508a30845108bfdac4a77546") + set(Poly_VERSION "0.1.9") check_if_cross_compiling(CCWIN "Windows" "") if(CCWIN) @@ -69,8 +68,8 @@ if(NOT Poly_FOUND_SYSTEM) ExternalProject_Add( Poly-EP ${COMMON_EP_CONFIG} - URL https://github.com/SRI-CSL/libpoly/archive/${Poly_VERSION}.tar.gz - URL_HASH SHA1=2e79d5220d3ecbb40811463fcf12c5ddbd4b9f30 + URL https://github.com/SRI-CSL/libpoly/archive/refs/tags/v${Poly_VERSION}.tar.gz + URL_HASH SHA1=7af3bbb7a2bca6ef2a41e79447baac08ff30d2fd DOWNLOAD_NAME libpoly.tar.gz ${patchcmd} CMAKE_ARGS -DCMAKE_BUILD_TYPE=Release @@ -91,7 +90,6 @@ if(NOT Poly_FOUND_SYSTEM) ExternalProject_Add_Step( Poly-EP cleanup DEPENDEES install - COMMAND ${CMAKE_COMMAND} -E remove_directory <SOURCE_DIR>/test/ COMMAND ${CMAKE_COMMAND} -E remove_directory <BINARY_DIR>/test/ ) add_dependencies(Poly-EP GMP) |