projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
24fc495
)
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit
fix-ppc64le
author
Jacob Lifshay
<programmerjake@gmail.com>
Wed, 13 Jul 2022 03:43:09 +0000
(20:43 -0700)
committer
Jacob Lifshay
<programmerjake@gmail.com>
Wed, 13 Jul 2022 03:56:50 +0000
(20:56 -0700)
Signed-off-by: Jacob Lifshay <programmerjake@gmail.com>
cmake/FindANTLR3.cmake
patch
|
blob
|
history
diff --git
a/cmake/FindANTLR3.cmake
b/cmake/FindANTLR3.cmake
index f91286a694e56fec9ae35545c53847c3047bb4e7..0690f9b0935a4c8cf8562d12028e2db6ee3518f8 100644
(file)
--- 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_S
YSTEM_PROCESSOR MATCHES ".*64$"
)
+ if(CMAKE_S
IZEOF_VOID_P EQUAL 8
)
set(64bit "--enable-64bit")
else()
unset(64bit)