diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-21 10:08:10 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-21 10:08:10 -0700 |
| commit | 5cfc2d1c7a3bd6acaa26a0a8e7dda12b6bbf17b4 (patch) | |
| tree | 78ad136c8d152b881fc96bf268c8cfa1e006e00c /cryptominisat5/build/CMakeFiles/3.10.2/CMakeSystem.cmake | |
| parent | 397f4d53dd99aec8e7333cb19987cc1445e3988a (diff) | |
change solve to simp, and fix format
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) |