From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 13 Jul 2022 17:11:30 +0000 (-0700)
Subject: fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
X-Git-Tag: cvc5-1.0.1~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=refs%2Fheads%2Fmain;p=cvc5.git

fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)

Signed-off-by: Jacob Lifshay <programmerjake@gmail.com>
---

diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake
index a357ca909..abb19bcd4 100644
--- a/cmake/FindANTLR3.cmake
+++ b/cmake/FindANTLR3.cmake
@@ -97,7 +97,7 @@ if(NOT ANTLR3_FOUND_SYSTEM)
         BUILD_BYPRODUCTS <INSTALL_DIR>/share/config.sub
     )
 
-    if(CMAKE_SYSTEM_PROCESSOR MATCHES ".*64$")
+    if(CMAKE_SIZEOF_VOID_P EQUAL 8)
         set(64bit "--enable-64bit")
     else()
         unset(64bit)