blob: e03fd1b9483e4793e786be9a813ba2b11b79f347 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Config file for the Build-tree cryptominisat Package
# It defines the following variables
# CRYPTOMINISAT5_INCLUDE_DIRS - include directories for cryptominisat5
# CRYPTOMINISAT5_LIBRARIES - libraries to link against
# CRYPTOMINISAT5_EXECUTABLE - the cryptominisat executable
# Compute paths
get_filename_component(CRYPTOMINISAT5_CMAKE_DIR "${CMAKE_CURRENT_LIST_FILE}" PATH)
set(CRYPTOMINISAT5_INCLUDE_DIRS "/home/haozewu/Projects/skeleton/CVC4/cryptominisat5/build/include")
# Our library dependencies (contains definitions for IMPORTED targets)
include("${CRYPTOMINISAT5_CMAKE_DIR}/cryptominisat5Targets.cmake")
# These are IMPORTED targets created by cryptominisat5Targets.cmake
set(CRYPTOMINISAT5_LIBRARIES libcryptominisat5)
set(CRYPTOMINISAT5_STATIC_LIBRARIES libcryptominisat5)
set(CRYPTOMINISAT5_STATIC_LIBRARIES_DEPS )
set(CRYPTOMINISAT5_VERSION_MAJOR 5)
set(CRYPTOMINISAT5_VERSION_MINOR 6)
set(CRYPTOMINISAT5_EXECUTABLE cryptominisat5)
|