diff options
Diffstat (limited to 'src/parser/CMakeLists.txt')
-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) |