#!/bin/ksh93

if [[ -z ${HOLLIGHT_DIR} ]]; then
	BASEDIR="${.sh.file%/*/*}/share/hol-light"
	export HOLLIGHT_DIR="${BASEDIR}"
else
	BASEDIR="${HOLLIGHT_DIR}"
fi
RE=${ whence readline-editor ; }
[[ -z ${CAMLP5LIB} ]] && CAMLP5LIB=${ camlp5 -where ; }

exec ${RE} ocaml -I "${CAMLP5LIB:-/usr/lib/ocaml/camlp5}" \
	-init "${BASEDIR}/hol.ml" "$@"