diff options
Diffstat (limited to 'cryptominisat5/build/CMakeFiles/CMakeDirectoryInformation.cmake')
-rw-r--r-- | cryptominisat5/build/CMakeFiles/CMakeDirectoryInformation.cmake | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/cryptominisat5/build/CMakeFiles/CMakeDirectoryInformation.cmake b/cryptominisat5/build/CMakeFiles/CMakeDirectoryInformation.cmake new file mode 100644 index 000000000..ad7fd9767 --- /dev/null +++ b/cryptominisat5/build/CMakeFiles/CMakeDirectoryInformation.cmake @@ -0,0 +1,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/skeleton/CVC4/cryptominisat5/cryptominisat-5.6.3") +set(CMAKE_RELATIVE_PATH_TOP_BINARY "/home/haozewu/Projects/skeleton/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}) |