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

#!/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
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