Imported Debian patch 110.74-1

[hcoop/zz_old/debian/smlnj.git] / debian / pkg-deregister

diff --git a/debian/pkg-deregister b/debian/pkg-deregister
new file mode 100644 (file)
index 0000000..67f5b76
--- /dev/null
+++ b/debian/pkg-deregister
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+set -e
+
+SMLNJ_HOME=/usr/lib/smlnj
+
+list=/var/lib/dpkg/info/$1.list
+
+for l in $(grep "$SMLNJ_HOME/lib/[^.][^/]*$" $list) ; do
+    base=$(basename $l)
+    $SMLNJ_HOME/bin/deregister $base
+done
+
+for b in $(grep "$SMLNJ_HOME/bin/[^.][^/]*$" $list) ; do
+    base=$(basename $b)
+    $SMLNJ_HOME/bin/deregister $base
+done