# =============================================================================
#           CMake package looking for ANTLR3 C runtime librairies 
# =============================================================================
#
# ANTLR3_FOUND        : System has ANTLR3 C Runtime lib and associated headers
# ANTLR3_LIBRARIES    : ANTLR3 library location 
# ANTLR3_INCLUDE_DIR  : ANTLR3 include directory
#
# Note : this package is not designed to be general nor comprehensive : 
#        it only fits the Symbex project needs
#
# =============================================================================

if (ANTLR3_INCLUDE_DIR AND ANTLR3_LIBRARIES) # Already in cache, be silent
	set (ANTLR3_FIND_QUIETLY TRUE)
endif ()

find_path (ANTLR3_INCLUDE_DIR NAMES antlr3.h HINTS ${ANTLR3_INSTALL_INCLUDE_DIR})
find_library (ANTLR3_LIBRARIES NAMES libantlr3c libantlr3c.a HINTS ${ANTLR3_INSTALL_LIB_DIR} ${CVC4_INSTALL_LIB_DIR})
message (STATUS "ANTLR3 : " ${ANTLR3_LIBRARIES} " " ${ANTLR3_INCLUDE_DIR})

include(FindPackageHandleStandardArgs)
find_package_handle_standard_args (ANTLR3 DEFAULT_MSG ANTLR3_LIBRARIES ANTLR3_INCLUDE_DIR)