diff options
Diffstat (limited to 'cryptominisat5/build/CMakeFiles/3.10.2/CMakeSystem.cmake')
| -rw-r--r-- | cryptominisat5/build/CMakeFiles/3.10.2/CMakeSystem.cmake | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/cryptominisat5/build/CMakeFiles/3.10.2/CMakeSystem.cmake b/cryptominisat5/build/CMakeFiles/3.10.2/CMakeSystem.cmake new file mode 100644 index 000000000..858b7f933 --- /dev/null +++ b/cryptominisat5/build/CMakeFiles/3.10.2/CMakeSystem.cmake @@ -0,0 +1,15 @@ +set(CMAKE_HOST_SYSTEM "Linux-4.15.0-20-generic") +set(CMAKE_HOST_SYSTEM_NAME "Linux") +set(CMAKE_HOST_SYSTEM_VERSION "4.15.0-20-generic") +set(CMAKE_HOST_SYSTEM_PROCESSOR "x86_64") + + + +set(CMAKE_SYSTEM "Linux-4.15.0-20-generic") +set(CMAKE_SYSTEM_NAME "Linux") +set(CMAKE_SYSTEM_VERSION "4.15.0-20-generic") +set(CMAKE_SYSTEM_PROCESSOR "x86_64") + +set(CMAKE_CROSSCOMPILING "FALSE") + +set(CMAKE_SYSTEM_LOADED 1) |