#!/bin/bash

# $ rlwrap larceny -r6rs < xxx.scm -- aa bb
# > (exit)

cd /ext/env
tar zxvf /ext/cmp/larceny-*-native-*-linux86.tar.gz
mv larceny-*-native-*-linux86 larceny

cd /ext/ini
cat << EOF > larceny.sh
if ! echo \$PATH | grep -q larceny; then
	PATH=/ext/env/larceny:\$PATH
fi
EOF

. /etc/profile