From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 13 Jul 2022 03:43:09 +0000 (-0700)
Subject: fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=refs%2Fheads%2Ffix-ppc64le;p=cvc5.git

fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit

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

diff --git a/cmake/FindANTLR3.cmake b/cmake/FindANTLR3.cmake
index f91286a69..0690f9b09 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)