cmake: Antlr parser generation done.
[cvc5.git] / cmake / FindANTLR.cmake
1 # Find ANTLR
2 # ANTLR_FOUND - system has ANTLR lib
3 # ANTLR_BINARY - the ANTLR binary
4 # ANTLR_INCLUDE_DIR - the ANTLR include directory
5 # ANTLR_LIBRARIES - Libraries needed to use ANTLR
6
7 find_program(ANTLR_BINARY
8 NAMES antlr3
9 PATHS "${PROJECT_SOURCE_DIR}/antlr-3.4/bin"
10 )
11
12 find_path(ANTLR_INCLUDE_DIR
13 NAMES antlr3.h
14 PATHS "${PROJECT_SOURCE_DIR}/antlr-3.4/include"
15 )
16
17 find_library(ANTLR_LIBRARIES
18 NAMES antlr3c libantlr3c
19 PATHS "${PROJECT_SOURCE_DIR}/antlr-3.4/lib"
20 )
21
22 include(FindPackageHandleStandardArgs)
23 find_package_handle_standard_args(
24 ANTLR DEFAULT_MSG ANTLR_BINARY ANTLR_INCLUDE_DIR ANTLR_LIBRARIES)
25
26 mark_as_advanced(ANTLR_BINARY ANTLR_INCLUDE_DIR ANTLR_LIBRARIES)