projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24fc495) | patch
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit fix-ppc64le
authorJacob Lifshay <programmerjake@gmail.com>
Wed, 13 Jul 2022 03:43:09 +0000 (20:43 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Wed, 13 Jul 2022 03:56:50 +0000 (20:56 -0700)
commita196dfe91eff269fc4e3a54385a91e99d748acb0
tree4dd0715b3d8738fe64c890ea928a16b955859873tree
parent24fc4950db70cd7bc3dff25daa43c7aecc2e21a8commit | diff
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit

Signed-off-by: Jacob Lifshay <programmerjake@gmail.com>
cmake/FindANTLR3.cmake diff | blob | history