diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-08 17:40:35 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-08 17:40:35 -0700 |
| commit | b00335b00148fe9b5df701f0ce192ac3977e732f (patch) | |
| tree | 24b0ff374b21182a33e4d55f3435d7bff2f03a27 /src/decision/decision_engine.h | |
| parent | fb2f314ac9a187538bfa2c09f2d8bdc3465804a9 (diff) | |
Use newer config.sub to fix build on Apple M1
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 'src/decision/decision_engine.h')
0 files changed, 0 insertions, 0 deletions