diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-04-20 11:46:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 20:46:14 +0200 |
| commit | 1d5a6e4a0773064ca0f1465b5e94a301af4eee2e (patch) | |
| tree | 481beea8d9e9870de9273c6bf453542d5b01e868 /src/theory/rewriter_tables_template.h | |
| parent | 29d19c62ff1a65665f852134c24c17cca45251cd (diff) | |
Fix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)
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 'src/theory/rewriter_tables_template.h')
0 files changed, 0 insertions, 0 deletions