cvc4-antlr-update-config-guess.patch: This updates the very old config.guess script that ANTLR uses (dating back to 2009) to a more recent one that is aware of AArch64 Linux and Darwin. Doing so fixes a spurious warning about building for 32-bit on AArch64 Darwin (thereby fixing https://github.com/GaloisInc/what4-solvers/issues/53) and unbreaks the AArch64 Linux build when combined with the next patch...
cvc4-antlr-check-aarch64.patch: By default, ANTLR's configure script will pass x86-specific flags such as -m64, which aren't supported by gcc on other architectures (e.g., AArch64). We can prevent this by passing --disable-abiflags to configure on these architectures.
cvc4-antlr-pointer-to-integer-cast.patch: Fix an implicit pointer-to-integer cast that causes x86-64 gcc to warn, but causes AArch64 gcc to fail with a full-blown error.
This adds three patches from https://github.com/GaloisInc/what4-solvers/issues/50, which will make it easier to build CVC4 on AArch64 (and especially AArch64 Linux) in the future:
cvc4-antlr-update-config-guess.patch: This updates the very oldconfig.guessscript that ANTLR uses (dating back to 2009) to a more recent one that is aware of AArch64 Linux and Darwin. Doing so fixes a spurious warning about building for 32-bit on AArch64 Darwin (thereby fixing https://github.com/GaloisInc/what4-solvers/issues/53) and unbreaks the AArch64 Linux build when combined with the next patch...cvc4-antlr-check-aarch64.patch: By default, ANTLR'sconfigurescript will pass x86-specific flags such as-m64, which aren't supported bygccon other architectures (e.g., AArch64). We can prevent this by passing--disable-abiflagstoconfigureon these architectures.cvc4-antlr-pointer-to-integer-cast.patch: Fix an implicit pointer-to-integer cast that causes x86-64gccto warn, but causes AArch64gccto fail with a full-blown error.