Commit | Line | Data |
---|---|---|
4dd335d4 JM |
1 | #!/bin/sh |
2 | ||
3 | set -e | |
4 | ||
5 | SMLNJ_HOME=/usr/lib/smlnj | |
6 | ||
7 | list=/var/lib/dpkg/info/$1.list | |
8 | ||
9 | for l in $(grep "$SMLNJ_HOME/lib/[^.][^/]*$" $list) ; do | |
10 | base=$(basename $l) | |
11 | $SMLNJ_HOME/bin/deregister $base | |
12 | done | |
13 | ||
14 | for b in $(grep "$SMLNJ_HOME/bin/[^.][^/]*$" $list) ; do | |
15 | base=$(basename $b) | |
16 | $SMLNJ_HOME/bin/deregister $base | |
17 | done |