blob: cc5311ad4e40951f9923a563ef6dc74470f419a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Find Kissat
# Kissat_FOUND - found Kissat lib
# Kissat_INCLUDE_DIR - the Kissat include directory
# Kissat_LIBRARIES - Libraries needed to use Kissat
find_path(Kissat_INCLUDE_DIR NAMES kissat/kissat.h)
find_library(Kissat_LIBRARIES NAMES kissat)
include(FindPackageHandleStandardArgs)
find_package_handle_standard_args(Kissat
DEFAULT_MSG Kissat_INCLUDE_DIR Kissat_LIBRARIES)
mark_as_advanced(Kissat_INCLUDE_DIR Kissat_LIBRARIES)
if(Kissat_LIBRARIES)
message(STATUS "Found Kissat library: ${Kissat_LIBRARIES}")
endif()
|
