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 /cmake | |
parent | 56c3c3d40bb83fe3e49e878e5098e929feb7d32e (diff) |
cmake: FindANTLR: Check if antlr3FileStreamNew is available.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindANTLR.cmake | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/cmake/FindANTLR.cmake b/cmake/FindANTLR.cmake index 79d38854e..135668006 100644 --- a/cmake/FindANTLR.cmake +++ b/cmake/FindANTLR.cmake @@ -32,8 +32,19 @@ if(CHECK_SYSTEM_VERSION) find_library(ANTLR_LIBRARIES NAMES antlr3c) endif() +# Check if antlr3FileStreamNew is available. If not we have to +# define CVC4_ANTLR3_OLD_INPUT_STREAM (src/parser/CMakeLists.txt). +if(ANTLR_INCLUDE_DIR) + include(CheckSymbolExists) + set(CMAKE_REQUIRED_INCLUDES ${ANTLR_INCLUDE_DIR}) + set(CMAKE_REQUIRED_LIBRARIES ${ANTLR_LIBRARIES}) + check_symbol_exists( + antlr3FileStreamNew "antlr3defs.h" HAVE_ANTLR3_FILE_STREAM_NEW) +endif() + include(FindPackageHandleStandardArgs) find_package_handle_standard_args( ANTLR DEFAULT_MSG ANTLR_BINARY ANTLR_INCLUDE_DIR ANTLR_LIBRARIES) -mark_as_advanced(ANTLR_BINARY ANTLR_INCLUDE_DIR ANTLR_LIBRARIES) +mark_as_advanced(ANTLR_BINARY ANTLR_INCLUDE_DIR ANTLR_LIBRARIES + HAVE_ANTLR3_FILE_STREAM_NEW) |