blob: b89020890c929723e565a227caaaf93c6e991254 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# CMAKE generated file: DO NOT EDIT!
# Generated by "Unix Makefiles" Generator, CMake Version 3.10
# Relative path conversion top directories.
set(CMAKE_RELATIVE_PATH_TOP_SOURCE "/home/haozewu/Projects/CVC4/cryptominisat5/cryptominisat-5.6.3")
set(CMAKE_RELATIVE_PATH_TOP_BINARY "/home/haozewu/Projects/CVC4/cryptominisat5/build")
# Force unix paths in dependencies.
set(CMAKE_FORCE_UNIX_PATHS 1)
# The C and CXX include file regular expressions for this directory.
set(CMAKE_C_INCLUDE_REGEX_SCAN "^.*$")
set(CMAKE_C_INCLUDE_REGEX_COMPLAIN "^$")
set(CMAKE_CXX_INCLUDE_REGEX_SCAN ${CMAKE_C_INCLUDE_REGEX_SCAN})
set(CMAKE_CXX_INCLUDE_REGEX_COMPLAIN ${CMAKE_C_INCLUDE_REGEX_COMPLAIN})
|
