diff options
Diffstat (limited to 'cmake/FindCryptoMiniSat.cmake')
-rw-r--r-- | cmake/FindCryptoMiniSat.cmake | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake new file mode 100644 index 000000000..1706efb9c --- /dev/null +++ b/cmake/FindCryptoMiniSat.cmake @@ -0,0 +1,18 @@ +# Find CryptoMiniSat +# CryptoMiniSat_FOUND - system has CryptoMiniSat lib +# CryptoMiniSat_INCLUDE_DIR - the CryptoMiniSat include directory +# CryptoMiniSat_LIBRARIES - Libraries needed to use CryptoMiniSat + +find_path(CryptoMiniSat_INCLUDE_DIR + NAMES cryptominisat5/cryptominisat.h + PATHS "${PROJECT_SOURCE_DIR}/cryptominisat5/install/include") +find_library(CryptoMiniSat_LIBRARIES + NAMES cryptominisat5 + PATHS "${PROJECT_SOURCE_DIR}/cryptominisat5/install/lib") + +include(FindPackageHandleStandardArgs) +find_package_handle_standard_args(CryptoMiniSat + DEFAULT_MSG + CryptoMiniSat_INCLUDE_DIR CryptoMiniSat_LIBRARIES) + +mark_as_advanced(CryptoMiniSat_INCLUDE_DIR CryptoMiniSat_LIBRARIES) |