From c6778b4eaa4e7b3018c0bdb0d643f710ad8da0eb Mon Sep 17 00:00:00 2001
From: Sadovoi Grisha <gsad1030@gmail.com>
Date: Fri, 3 Jul 2026 14:47:11 +0300
Subject: [PATCH] Add CMake uninstall target

---
 BUILD.md                       | 13 ++++++
 CMakeLists.txt                 | 14 ++++++
 cmake/cmake_uninstall.cmake.in | 81 ++++++++++++++++++++++++++++++++++
 3 files changed, 108 insertions(+)
 create mode 100644 cmake/cmake_uninstall.cmake.in

diff --git a/BUILD.md b/BUILD.md
index 01928b8382..abeb6fac61 100644
--- a/BUILD.md
+++ b/BUILD.md
@@ -54,6 +54,13 @@ ninja -j $(nproc) # or use a different number of cores to compile it
 sudo ninja install # only if you wish to install PhASAR system wide
 ```
 
+To uninstall PhASAR from the same install location, invoke the `uninstall` target
+from the build directory:
+
+```bash
+sudo ninja uninstall
+```
+
 When you have used the `bootstrap.sh` script to install PhASAR, the above steps are already done.
 Use them as a reference if you wish to modify PhASAR and recompile it.
 
@@ -132,3 +139,9 @@ If You have already built phasar, you can just invoke
 ```bash
 sudo ninja install
 ```
+
+To uninstall PhASAR again, invoke the uninstall target from the same build directory:
+
+```bash
+sudo ninja uninstall
+```
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 96da3a1a42..e0f081ae3f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -528,6 +528,20 @@ install(
   DESTINATION "${CMAKE_INSTALL_LIBDIR}/cmake/phasar"
 )
 
+if (CMAKE_SOURCE_DIR STREQUAL CMAKE_CURRENT_SOURCE_DIR AND NOT TARGET uninstall)
+  configure_file(
+    "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cmake_uninstall.cmake.in"
+    "${CMAKE_CURRENT_BINARY_DIR}/cmake_uninstall.cmake"
+    @ONLY
+  )
+
+  add_custom_target(uninstall
+    COMMAND "${CMAKE_COMMAND}" -P "${CMAKE_CURRENT_BINARY_DIR}/cmake_uninstall.cmake"
+    COMMENT "Uninstalling PhASAR"
+    VERBATIM
+  )
+endif()
+
 # If the Phasar shared object libraries are not installed into a system folder
 # the so libs must be added manually to the linker search path and the linker
 # config must be updated as follows:
diff --git a/cmake/cmake_uninstall.cmake.in b/cmake/cmake_uninstall.cmake.in
new file mode 100644
index 0000000000..941910d13b
--- /dev/null
+++ b/cmake/cmake_uninstall.cmake.in
@@ -0,0 +1,81 @@
+set(PHASAR_INSTALL_MANIFEST "@CMAKE_CURRENT_BINARY_DIR@/install_manifest.txt")
+
+if (NOT EXISTS "${PHASAR_INSTALL_MANIFEST}")
+  message(FATAL_ERROR
+    "Cannot find install manifest: ${PHASAR_INSTALL_MANIFEST}. "
+    "Run the install target before uninstalling."
+  )
+endif()
+
+file(READ "${PHASAR_INSTALL_MANIFEST}" PHASAR_INSTALLED_FILES)
+string(REGEX REPLACE "\n" ";" PHASAR_INSTALLED_FILES "${PHASAR_INSTALLED_FILES}")
+
+foreach (PHASAR_INSTALLED_FILE IN LISTS PHASAR_INSTALLED_FILES)
+  if ("${PHASAR_INSTALLED_FILE}" STREQUAL "")
+    continue()
+  endif()
+
+  set(PHASAR_UNINSTALL_FILE "$ENV{DESTDIR}${PHASAR_INSTALLED_FILE}")
+
+  if (EXISTS "${PHASAR_UNINSTALL_FILE}" OR IS_SYMLINK "${PHASAR_UNINSTALL_FILE}")
+    message(STATUS "Removing ${PHASAR_UNINSTALL_FILE}")
+    execute_process(
+      COMMAND "@CMAKE_COMMAND@" -E remove -f "${PHASAR_UNINSTALL_FILE}"
+      RESULT_VARIABLE PHASAR_REMOVE_RESULT
+    )
+
+    if (NOT "${PHASAR_REMOVE_RESULT}" STREQUAL "0")
+      message(FATAL_ERROR "Failed to remove ${PHASAR_UNINSTALL_FILE}")
+    endif()
+  else()
+    message(STATUS "File does not exist: ${PHASAR_UNINSTALL_FILE}")
+  endif()
+endforeach()
+
+function(phasar_remove_empty_directories PHASAR_DIRECTORY)
+  if (NOT IS_DIRECTORY "${PHASAR_DIRECTORY}" OR IS_SYMLINK "${PHASAR_DIRECTORY}")
+    return()
+  endif()
+
+  file(GLOB PHASAR_DIRECTORY_CHILDREN
+    LIST_DIRECTORIES true
+    "${PHASAR_DIRECTORY}/*"
+    "${PHASAR_DIRECTORY}/.[!.]*"
+    "${PHASAR_DIRECTORY}/..?*"
+  )
+
+  foreach (PHASAR_CHILD IN LISTS PHASAR_DIRECTORY_CHILDREN)
+    phasar_remove_empty_directories("${PHASAR_CHILD}")
+  endforeach()
+
+  file(GLOB PHASAR_REMAINING_CHILDREN
+    LIST_DIRECTORIES true
+    "${PHASAR_DIRECTORY}/*"
+    "${PHASAR_DIRECTORY}/.[!.]*"
+    "${PHASAR_DIRECTORY}/..?*"
+  )
+
+  if (NOT PHASAR_REMAINING_CHILDREN)
+    message(STATUS "Removing empty directory ${PHASAR_DIRECTORY}")
+    file(REMOVE_RECURSE "${PHASAR_DIRECTORY}")
+  else()
+    message(STATUS "Not removing non-empty directory ${PHASAR_DIRECTORY}")
+  endif()
+endfunction()
+
+set(PHASAR_OWNED_INSTALL_DIRECTORIES
+  "@CMAKE_INSTALL_FULL_INCLUDEDIR@/phasar"
+  "@CMAKE_INSTALL_FULL_LIBDIR@/cmake/phasar"
+  "@CMAKE_INSTALL_FULL_LIBDIR@/phasar"
+)
+
+set(PHASAR_CONFIG_INSTALL_DIR "@PHASAR_CONFIG_INSTALL_DIR@")
+if (IS_ABSOLUTE "${PHASAR_CONFIG_INSTALL_DIR}")
+  list(APPEND PHASAR_OWNED_INSTALL_DIRECTORIES "${PHASAR_CONFIG_INSTALL_DIR}")
+else()
+  list(APPEND PHASAR_OWNED_INSTALL_DIRECTORIES "@CMAKE_INSTALL_PREFIX@/${PHASAR_CONFIG_INSTALL_DIR}")
+endif()
+
+foreach (PHASAR_OWNED_INSTALL_DIRECTORY IN LISTS PHASAR_OWNED_INSTALL_DIRECTORIES)
+  phasar_remove_empty_directories("$ENV{DESTDIR}${PHASAR_OWNED_INSTALL_DIRECTORY}")
+endforeach()