diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-05-22 06:41:50 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 08:41:50 -0500 |
| commit | c531152e6a707b66b885e508ea61e2a67e195ccc (patch) | |
| tree | a18a2d342b03db1700a963470f2064cf3ac8d086 /cmake | |
| parent | ae33f11d0f4156b4d21b9e77f6df59ec0f9e8184 (diff) | |
Add support for SAT solver Kissat. (#4514)
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() + |