diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-12-06 06:48:04 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-06 08:48:04 -0600 |
commit | 008d6b51baec353f45324e1d9407d898866cf688 (patch) | |
tree | 136e5c1dcbfb32f1fed99b853b79c2f7ecc6b5d2 /cmake/FindANTLR.cmake | |
parent | 46bae5d2a8b22867f917c6f644e46e29884049f9 (diff) |
contrib: Setup all dependencies in deps/ directory. (#3534)
Diffstat (limited to 'cmake/FindANTLR.cmake')
-rw-r--r-- | cmake/FindANTLR.cmake | 30 |
1 files changed, 3 insertions, 27 deletions
diff --git a/cmake/FindANTLR.cmake b/cmake/FindANTLR.cmake index 5f574247b..e12af826a 100644 --- a/cmake/FindANTLR.cmake +++ b/cmake/FindANTLR.cmake @@ -4,33 +4,9 @@ # ANTLR_INCLUDE_DIR - the ANTLR include directory # ANTLR_LIBRARIES - Libraries needed to use ANTLR - -# Check default location of ANTLR built with contrib/get-antlr-3.4. -# If the user provides a directory we will not search the default paths and -# fail if ANTLR was not found in the specified directory. -if(NOT ANTLR_HOME) - set(ANTLR_HOME ${PROJECT_SOURCE_DIR}/antlr-3.4) - set(CHECK_SYSTEM_VERSION TRUE) -endif() - -find_program(ANTLR_BINARY - NAMES antlr3 - PATHS ${ANTLR_HOME}/bin - NO_DEFAULT_PATH) -find_path(ANTLR_INCLUDE_DIR - NAMES antlr3.h - PATHS ${ANTLR_HOME}/include - NO_DEFAULT_PATH) -find_library(ANTLR_LIBRARIES - NAMES antlr3c antlr3c-static - PATHS ${ANTLR_HOME}/lib - NO_DEFAULT_PATH) - -if(CHECK_SYSTEM_VERSION) - find_program(ANTLR_BINARY NAMES antlr3) - find_path(ANTLR_INCLUDE_DIR NAMES antlr3.h) - find_library(ANTLR_LIBRARIES NAMES antlr3c) -endif() +find_program(ANTLR_BINARY NAMES antlr3) +find_path(ANTLR_INCLUDE_DIR NAMES antlr3.h) +find_library(ANTLR_LIBRARIES NAMES antlr3c antlr3c-static) # Check if antlr3FileStreamNew is available. If not we have to # define CVC4_ANTLR3_OLD_INPUT_STREAM (src/parser/CMakeLists.txt). |