diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-07 07:55:45 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-07 07:55:45 -0700 |
| commit | dd822a52cff52eb70b5918d45f4272d3f925185a (patch) | |
| tree | a8476c361796476fbc1a8211d668e7f25de34321 /src/options/quantifiers_options.toml | |
| parent | bd41ade5f0eee5afe8bc7f6c7c3ca76f1fa296b4 (diff) | |
Fix linking ANTLR3 on some systemsfixAmazon
Fixes #7318. This changes how we link ANTLR3 to more closely resemble
what we do for, e.g., GMP. This fixes the issue on Amazon Linux 2
(tested using a Docker image) with CMake 3.13.3.
Diffstat (limited to 'src/options/quantifiers_options.toml')
0 files changed, 0 insertions, 0 deletions