diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-14 17:23:30 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 01c979407390b88641aaf6fbd0307fd6d10a8dcb (patch) | |
tree | 61c71ee19c2faaed6df9080cbed498a97bd960bd /src | |
parent | 56c3c3d40bb83fe3e49e878e5098e929feb7d32e (diff) |
cmake: FindANTLR: Check if antlr3FileStreamNew is available.
Diffstat (limited to 'src')
-rw-r--r-- | src/parser/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt index d78068f6b..389ebd814 100644 --- a/src/parser/CMakeLists.txt +++ b/src/parser/CMakeLists.txt @@ -1,6 +1,10 @@ set(ANTLR_HOME ${ANTLR_DIR}) find_package(ANTLR REQUIRED) +if(NOT HAVE_ANTLR3_FILE_STREAM_NEW) + add_definitions(-DCVC4_ANTLR3_OLD_INPUT_STREAM) +endif() + # Java runtime is required for ANTLR find_package(Java COMPONENTS Runtime REQUIRED) |