From 61b14cbbbb1665496913e047d14fedee610efef1 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 20 May 2021 19:55:35 +0200
Subject: [PATCH] Use most recent version of libpoly (#6587)

This PR updates to the most recent version of libpoly which fixes some memory leaks.
---
 cmake/FindPoly.cmake | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake
index 0a5780585..3fa35b951 100644
--- a/cmake/FindPoly.cmake
+++ b/cmake/FindPoly.cmake
@@ -45,7 +45,7 @@ if(NOT Poly_FOUND_SYSTEM)
 
   include(ExternalProject)
 
-  set(Poly_VERSION "0.1.9")
+  set(Poly_VERSION "6309f7a94e97753ef3ecb7dbfcbd435d558c4bd6")
 
   check_if_cross_compiling(CCWIN "Windows" "")
   if(CCWIN)
@@ -77,9 +77,8 @@ if(NOT Poly_FOUND_SYSTEM)
   ExternalProject_Add(
     Poly-EP
     ${COMMON_EP_CONFIG}
-    URL https://github.com/SRI-CSL/libpoly/archive/refs/tags/v${Poly_VERSION}.tar.gz
-    URL_HASH SHA1=7af3bbb7a2bca6ef2a41e79447baac08ff30d2fd
-    DOWNLOAD_NAME libpoly.tar.gz
+    URL https://github.com/SRI-CSL/libpoly/archive/${Poly_VERSION}.tar.gz
+    URL_HASH SHA1=7bac7aa4aab8201f5b14494fc486fa2b0ffb7b31
     PATCH_COMMAND
       sed -i.orig
       "s,add_subdirectory(test/polyxx),add_subdirectory(test/polyxx EXCLUDE_FROM_ALL),g"
-- 
2.30.2