From 69c88d4cb47b00b807281771bf0e7637f3dda37b Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 10 Jan 2022 12:14:59 -0800 Subject: [PATCH] Update to latest libpoly version (#7906) This PR updates to the latest libpoly version. It contains a bugfix and adds division and inverse operations for algebraic numbers. --- cmake/FindPoly.cmake | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 1bfb2f7cc..d4d5817b1 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -45,7 +45,7 @@ if(NOT Poly_FOUND_SYSTEM) include(ExternalProject) - set(Poly_VERSION "f543721215ec17a724dc86820a0430233931a637") + set(Poly_VERSION "c85d394ed9a3ae3425362fc7636f73aac5473a83") check_if_cross_compiling(CCWIN "Windows" "") if(CCWIN) @@ -69,16 +69,16 @@ if(NOT Poly_FOUND_SYSTEM) if(CMAKE_SYSTEM_NAME STREQUAL "Darwin") list(APPEND POLY_BYPRODUCTS /lib/libpoly.0${CMAKE_SHARED_LIBRARY_SUFFIX} - /lib/libpoly.0.1.9${CMAKE_SHARED_LIBRARY_SUFFIX} + /lib/libpoly.0.1.11${CMAKE_SHARED_LIBRARY_SUFFIX} /lib/libpolyxx.0${CMAKE_SHARED_LIBRARY_SUFFIX} - /lib/libpolyxx.0.1.9${CMAKE_SHARED_LIBRARY_SUFFIX} + /lib/libpolyxx.0.1.11${CMAKE_SHARED_LIBRARY_SUFFIX} ) elseif(CMAKE_SYSTEM_NAME STREQUAL "Linux") list(APPEND POLY_BYPRODUCTS /lib/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}.0 - /lib/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.9 + /lib/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.11 /lib/libpolyxx${CMAKE_SHARED_LIBRARY_SUFFIX}.0 - /lib/libpolyxx${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.9 + /lib/libpolyxx${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.11 ) endif() @@ -86,7 +86,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=3fad3b310727fa0fb2fdff5a8857709d12f72e04 + URL_HASH SHA1=65c16e86bc56c8214b609807eee05c4d0c271772 PATCH_COMMAND sed -i.orig "s,add_subdirectory(test/polyxx),add_subdirectory(test/polyxx EXCLUDE_FROM_ALL),g" -- 2.30.2