Fix cached free variable identifiers in sygus term database (#4394)
[cvc5.git] / cmake / FindDrat2Er.cmake
1 # Find drat2er
2 # Drat2Er_FOUND - system has Drat2Er lib
3 # Drat2Er_INCLUDE_DIR - the Drat2Er include directory
4 # Drat2Er_LIBRARIES - Libraries needed to use Drat2Er
5
6 find_path(Drat2Er_INCLUDE_DIR NAMES drat2er.h)
7 find_library(Drat2Er_LIBRARIES NAMES libdrat2er.a)
8 find_library(DratTrim_LIBRARIES NAMES libdrat-trim.a)
9
10 include(FindPackageHandleStandardArgs)
11 find_package_handle_standard_args(Drat2Er
12 DEFAULT_MSG
13 Drat2Er_INCLUDE_DIR Drat2Er_LIBRARIES DratTrim_LIBRARIES)
14
15 mark_as_advanced(Drat2Er_INCLUDE_DIR Drat2Er_LIBRARIES DratTrim_LIBRARIES)
16 if(Drat2Er_LIBRARIES)
17 message(STATUS "Found Drat2Er libs: ${Drat2Er_LIBRARIES}")
18 endif()
19 if(DratTrim_LIBRARIES)
20 message(STATUS "Found DratTrim libs: ${DratTrim_LIBRARIES}")
21 list(APPEND Drat2Er_LIBRARIES ${DratTrim_LIBRARIES})
22 endif()