projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3c3a730
)
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
main
author
Jacob Lifshay
<programmerjake@gmail.com>
Wed, 13 Jul 2022 17:11:30 +0000
(10:11 -0700)
committer
GitHub
<noreply@github.com>
Wed, 13 Jul 2022 17:11:30 +0000
(17:11 +0000)
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 a357ca90966ee83378ec492695fbfa4d7147b740..abb19bcd4eb2628908ae8e6e1e9ed868768515de 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)