Upgrading LibPoly. (#9580)

Upgrading LibPoly to fix a segmentation violation. Fixes #9567.
cvc5 · Mar 22, 2023 · cbecdbe · cbecdbe
1 parent 7d0db1a
commit cbecdbe
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake
@@ -45,7 +45,7 @@ if(NOT Poly_FOUND_SYSTEM)
 
   include(ExternalProject)
 
-  set(Poly_VERSION "1383809f2aa5005ef20110fec84b66959518f697")
+  set(Poly_VERSION "126147f1ceae9f771a68bad9cbc199cf96daec46")
 
   check_if_cross_compiling(CCWIN "Windows" "")
   if(CCWIN)
@@ -158,7 +158,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=e3da80491b378a4d874073d201406eb011f47c19
+    URL_HASH SHA1=5ebbd00c8dc8b731b5382701a23c60607bcb2804
     PATCH_COMMAND
       sed -i.orig
       "s,add_subdirectory(test/polyxx),add_subdirectory(test/polyxx EXCLUDE_FROM_ALL),g"