[hcoop/zz_old/debian/smlnj.git] / debian / smlnj-runtime.postinst

#!/bin/sh

set -e

SMLNJ_HOME=/usr/lib/smlnj

touch $SMLNJ_HOME/lib/pathconfig
chmod 664 $SMLNJ_HOME/lib/pathconfig

$SMLNJ_HOME/bin/register bindir ../bin

#DEBHELPER#
Commit	Line	Data
4dd335d4 JM	1	#!/bin/sh
	2
	3	set -e
	4
	5	SMLNJ_HOME=/usr/lib/smlnj
	6
	7	touch $SMLNJ_HOME/lib/pathconfig
	8	chmod 664 $SMLNJ_HOME/lib/pathconfig
	9
	10	$SMLNJ_HOME/bin/register bindir ../bin
	11
	12	#DEBHELPER#