#!/bin/bash

# $ rlwrap ocaml
# # #quit;;
# # #use "xxx.ml"

cd /ext/exp
tar zxvf /ext/cmp/ocaml-*.tar.gz
cd ocaml-*
./configure -prefix /ext/env/ocaml
make world.opt
make install

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

# rpm -ivh /ext/cmp/ledit-*.rpm