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/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in | |
parent | 397f4d53dd99aec8e7333cb19987cc1445e3988a (diff) |
change solve to simp, and fix format
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in b/cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in new file mode 100644 index 000000000..13cedcc55 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/cmake/cmake_uninstall.cmake.in @@ -0,0 +1,24 @@ +cmake_policy(SET CMP0007 NEW) # Suppress warnings see `cmake --help-policy CMP0007` + +if (NOT EXISTS "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt") + message(FATAL_ERROR "Cannot find install manifest: \"@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt\"") +endif(NOT EXISTS "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt") + +file(READ "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt" files) +string(REGEX REPLACE "\n" ";" files "${files}") +list(REVERSE files) +foreach (file ${files}) + message(STATUS "Uninstalling \"$ENV{DESTDIR}${file}\"") + if (EXISTS "$ENV{DESTDIR}${file}") + execute_process( + COMMAND @CMAKE_COMMAND@ -E remove "$ENV{DESTDIR}${file}" + OUTPUT_VARIABLE rm_out + RESULT_VARIABLE rm_retval + ) + if(NOT ${rm_retval} EQUAL 0) + message(FATAL_ERROR "Problem when removing \"$ENV{DESTDIR}${file}\"") + endif (NOT ${rm_retval} EQUAL 0) + else (EXISTS "$ENV{DESTDIR}${file}") + message(STATUS "File \"$ENV{DESTDIR}${file}\" does not exist.") + endif (EXISTS "$ENV{DESTDIR}${file}") +endforeach(file) |