diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-13 17:37:24 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 9054be41a79824bf766413a8d704e5dd14baca40 (patch) | |
tree | 521c889e7de38f524c482ab1e35b058ee4fc0115 /cmake | |
parent | d45041a10431c39162b3e990eb88705e4c2ab179 (diff) |
cmake: Add module finder for CaDiCaL.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindCaDiCaL.cmake | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake new file mode 100644 index 000000000..e3a045911 --- /dev/null +++ b/cmake/FindCaDiCaL.cmake @@ -0,0 +1,18 @@ +# Find CaDiCaL +# CaDiCaL_FOUND - system has CaDiCaL lib +# CaDiCaL_INCLUDE_DIR - the CaDiCaL include directory +# CaDiCaL_LIBRARIES - Libraries needed to use CaDiCaL + +find_path(CaDiCaL_INCLUDE_DIR + NAMES cadical.hpp + PATHS "${PROJECT_SOURCE_DIR}/cadical/src") +find_library(CaDiCaL_LIBRARIES + NAMES cadical + PATHS "${PROJECT_SOURCE_DIR}/cadical/build") + +include(FindPackageHandleStandardArgs) +find_package_handle_standard_args(CaDiCaL + DEFAULT_MSG + CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES) + +mark_as_advanced(CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES) |