projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c3a730) | patch
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955) main
authorJacob Lifshay <programmerjake@gmail.com>
Wed, 13 Jul 2022 17:11:30 +0000 (10:11 -0700)
committerGitHub <noreply@github.com>
Wed, 13 Jul 2022 17:11:30 +0000 (17:11 +0000)
commita20a4d6e407c68c8444a2ee8ce805eea131bcbec
tree2c963bf60301e5e5c2a1890b9136f833e7c616d0tree
parent3c3a730c70623001c93751759aee3ab2b3d6fb07commit | diff
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)

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