diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-13 17:21:13 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | d45041a10431c39162b3e990eb88705e4c2ab179 (patch) | |
| tree | 6b52f1e569eff5e3d16019fc08925bf9c99fe645 /cmake/FindCryptoMiniSat.cmake | |
| parent | 1d8989a959c2a555f106022fd9a017f5b640eda9 (diff) | |
cmake: Add module finder for CryptoMiniSat.
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) |