From: Jacob Lifshay 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=a196dfe91eff269fc4e3a54385a91e99d748acb0;p=cvc5.git fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit Signed-off-by: Jacob Lifshay --- 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 /share/config.sub ) - if(CMAKE_SYSTEM_PROCESSOR MATCHES ".*64$") + if(CMAKE_SIZEOF_VOID_P EQUAL 8) set(64bit "--enable-64bit") else() unset(64bit)