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 /test/regress/regress1/strings/pierre150331.smt2 | |
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 'test/regress/regress1/strings/pierre150331.smt2')
0 files changed, 0 insertions, 0 deletions