blob: 1706efb9ce8a05d1d516468b9f86009f736bdb1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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)
|
