# =============================================================================
#                     CMake package looking for CVC4
# =============================================================================
#
# CVC4_FOUND        : System has CVC4 lib and associated headers
# CVC4_INCLUDE_DIR  : CVC4 include directory
# CVC4_LIBRARIES      : CVC4 lib location
#
# Note : this package is not designed to be general nor comprehensive : 
#        it only fits the Symbex project needs
#
# =============================================================================

# If already in cache, be silent
if (CVC4_INCLUDE_DIR AND CVC4_LIBRARIES) # Already in cache, be silent
		set (CVC4_FIND_QUIETLY TRUE)
endif ()

#message ("CVC4_INSTALL_INCLUDE_DIR=${CVC4_INSTALL_INCLUDE_DIR}")
#message ("CVC4_INSTALL_LIB_DIR=${CVC4_INSTALL_LIB_DIR}")

find_path (CVC4_INCLUDE_DIR NAMES cvc4/cvc4.h  HINTS ${CVC4_INSTALL_INCLUDE_DIR})
find_library(CVC4_LIBRARIES NAMES libcvc4.a HINTS ${CVC4_INSTALL_LIB_DIR})
#find_library(CVC4_LIBRARIES NAMES cvc4 HINTS /c/msys64/mingw64/usr/lib)

message (STATUS "CVC4 : " ${CVC4_LIBRARIES} " " ${CVC4_INCLUDE_DIR})

include(FindPackageHandleStandardArgs)
find_package_handle_standard_args (CVC4 DEFAULT_MSG CVC4_LIBRARIES CVC4_INCLUDE_DIR)