#!/bin/bash

# $ rlwrap 
# > (exit)

cd /ext/exp
tar zxvf /ext/cmp/mz-*-src-unix.tgz
cd mz-*/src
mkdir build
cd build
../configure --prefix=/ext/env/pltscheme
make
make install

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