diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-09 11:24:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-09 18:24:05 +0000 |
commit | b2c4184f1148ba1c51011ee6dd8341b9f204f54e (patch) | |
tree | 28c02ecefb825ce89f3ffdc83828403ad54bf27b /test/regress/regress0/wiki.08.cvc | |
parent | e25d2ce5eff672bb5b58c245f0414a1ed9c51a6c (diff) |
Use newer config.sub to fix build on Apple M1 (#6854)
When building cvc5 on macOS for M1 natively, ANTLR's version of
`config.sub` does not recognize `aarch64-apple-darwin20.5.0`. This
commit fixes that issue by downloading the latest version of
`config.sub` (similar to what we are already doing for `config.guess`).
The commit also updates the URLs for `config.guess` and `config.sub` to
the URLs recommended in the files themselves. The commit also does some
minor cleanup/simplifications of the commands for building ANTLR.
Diffstat (limited to 'test/regress/regress0/wiki.08.cvc')
0 files changed, 0 insertions, 0 deletions