Show installed files.

coq · Feb 26, 2025 · 116fb70 · 116fb70
1 parent d79c5bc
commit 116fb70
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/opam-coq-install-remove b/scripts/opam-coq-install-remove
@@ -67,6 +67,10 @@ while [ ! -z "$1" ]; do
             else
               SUCCESSES="$SUCCESSES $PKG_NAME_VERSION";
             fi
+            echo
+            echo Installed files:
+            opam show --list-files "$PKG_NAME" | cut "-b$(opam var prefix | wc -c)-"
+            echo
             echo Removing $PKG_NAME
             opam remove "$PKG_NAME" -y >> $LOG
             set -e