As it stands, building ANTLR (as part of building CVC4) checks whether a machine has a 64-bit architecture by checking solely whether it is x86_64. This check fails to recognize that Apple-silicon Macs are 64-bit (since they tag themselves as aarch64). See #34 for more detail. Since CVC4 is archived, we need to generate and apply this patch ourselves during the build process. This PR effects that.
As it stands, building ANTLR (as part of building CVC4) checks whether a machine has a 64-bit architecture by checking solely whether it is
x86_64. This check fails to recognize that Apple-silicon Macs are 64-bit (since they tag themselves asaarch64). See #34 for more detail. Since CVC4 is archived, we need to generate and apply this patch ourselves during the build process. This PR effects that.