From: Gereon Kremer <gkremer@stanford.edu>
Date: Mon, 10 Jan 2022 20:14:59 +0000 (-0800)
Subject: Update to latest libpoly version (#7906)
X-Git-Tag: cvc5-1.0.0~576
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69c88d4cb47b00b807281771bf0e7637f3dda37b;p=cvc5.git

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.
---

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
       <INSTALL_DIR>/lib/libpoly.0${CMAKE_SHARED_LIBRARY_SUFFIX}
-      <INSTALL_DIR>/lib/libpoly.0.1.9${CMAKE_SHARED_LIBRARY_SUFFIX}
+      <INSTALL_DIR>/lib/libpoly.0.1.11${CMAKE_SHARED_LIBRARY_SUFFIX}
       <INSTALL_DIR>/lib/libpolyxx.0${CMAKE_SHARED_LIBRARY_SUFFIX}
-      <INSTALL_DIR>/lib/libpolyxx.0.1.9${CMAKE_SHARED_LIBRARY_SUFFIX}
+      <INSTALL_DIR>/lib/libpolyxx.0.1.11${CMAKE_SHARED_LIBRARY_SUFFIX}
     )
   elseif(CMAKE_SYSTEM_NAME STREQUAL "Linux")
     list(APPEND POLY_BYPRODUCTS
       <INSTALL_DIR>/lib/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}.0
-      <INSTALL_DIR>/lib/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.9
+      <INSTALL_DIR>/lib/libpoly${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.11
       <INSTALL_DIR>/lib/libpolyxx${CMAKE_SHARED_LIBRARY_SUFFIX}.0
-      <INSTALL_DIR>/lib/libpolyxx${CMAKE_SHARED_LIBRARY_SUFFIX}.0.1.9
+      <INSTALL_DIR>/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"