diff options
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindKissat.cmake | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/cmake/FindKissat.cmake b/cmake/FindKissat.cmake new file mode 100644 index 000000000..cc5311ad4 --- /dev/null +++ b/cmake/FindKissat.cmake @@ -0,0 +1,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() + |