From: Gereon Kremer <gkremer@stanford.edu>
Date: Wed, 19 Jan 2022 17:25:13 +0000 (-0800)
Subject: Update to latest libpoly version (#7963)
X-Git-Tag: cvc5-1.0.0~527
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ced6ee690d24d2efb48bd7b52807f8388fe3bd8a;p=cvc5.git

Update to latest libpoly version (#7963)

The latest libpoly version has a fix for the conversion of algebraic numbers to rationals. We need this in our arithmetic rewriter to properly simplify real algebraic numbers to rationals.
---

diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake
index e2f0d6414..99a857d27 100644
--- a/cmake/FindPoly.cmake
+++ b/cmake/FindPoly.cmake
@@ -45,7 +45,7 @@ if(NOT Poly_FOUND_SYSTEM)
 
   include(ExternalProject)
 
-  set(Poly_VERSION "c85d394ed9a3ae3425362fc7636f73aac5473a83")
+  set(Poly_VERSION "1383809f2aa5005ef20110fec84b66959518f697")
 
   check_if_cross_compiling(CCWIN "Windows" "")
   if(CCWIN)
@@ -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=65c16e86bc56c8214b609807eee05c4d0c271772
+    URL_HASH SHA1=e3da80491b378a4d874073d201406eb011f47c19
     PATCH_COMMAND
       sed -i.orig
       "s,add_subdirectory(test/polyxx),add_subdirectory(test/polyxx EXCLUDE_FROM_ALL),g"