diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-04-20 10:49:25 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-04-20 10:49:25 -0700 |
| commit | 956f522a99ab14760b0645b9ebcc3d3e244c0cb9 (patch) | |
| tree | 481beea8d9e9870de9273c6bf453542d5b01e868 /test/regress/regress2/arith/arith-int-098.cvc | |
| parent | 29d19c62ff1a65665f852134c24c17cca45251cd (diff) | |
Fix `ANTLR3_COMMAND` for system ANTLR3 JARfixANTLR
`ANTLR3_COMMAND` was using a fixed path instead of relying on the
`ANTLR3_JAR` variable. If the ANTLR3 JAR was found on the system (for
example due to an existing `deps` folder at the root of the CVC4
folder), then the command would fail because the JAR was not at the
expected location. This commit changes the command to use the variable
and prints the location of the JAR file to make debugging easier.
Diffstat (limited to 'test/regress/regress2/arith/arith-int-098.cvc')
0 files changed, 0 insertions, 0 deletions