From: yoni206 <yoni206@users.noreply.github.com>
Date: Tue, 31 May 2022 15:47:36 +0000 (+0300)
Subject: Update to GoogleTest 1.11.0 (#8813)
X-Git-Tag: cvc5-1.0.1~85
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b65f32ad5d58fd76fd58b7a10b879c1eeb140b30;p=cvc5.git

Update to GoogleTest 1.11.0 (#8813)

Using GoogleTest 1.10.0, when trying to build unit tests on m1 mac an error about deprecated methods fails the compilation of gtest.
---

diff --git a/cmake/FindGTest.cmake b/cmake/FindGTest.cmake
index b75e0f624..746dbc5d6 100644
--- a/cmake/FindGTest.cmake
+++ b/cmake/FindGTest.cmake
@@ -32,13 +32,13 @@ if(NOT GTest_FOUND_SYSTEM)
 
     include(ExternalProject)
 
-    set(GTest_VERSION "1.10.0")
+    set(GTest_VERSION "1.11.0")
 
     ExternalProject_Add(
         GTest-EP
         ${COMMON_EP_CONFIG}
         URL https://github.com/google/googletest/archive/refs/tags/release-${GTest_VERSION}.tar.gz
-        URL_HASH SHA1=9c89be7df9c5e8cb0bc20b3c4b39bf7e82686770
+        URL_HASH SHA1=7b100bb68db8df1060e178c495f3cbe941c9b058
         DOWNLOAD_NAME gtest.tar.gz
         CMAKE_ARGS
           -DCMAKE_INSTALL_PREFIX=<INSTALL_DIR>