#!/bin/bash -norc
#
# $Id$
#
# mk - build Pure Isabelle.
#
# Notes:
# (1) make sure the Isabelle bin dir is in PATH (try 'which isabelle')
# (2) make sure etc/settings are appropriate
# (3) then cd here and run ./mk
## diagnostics
function fail()
{
echo "$1" >&2
exit 2
}
## main
ML_SYSTEM=$(isatool getenv ML_SYSTEM)
ML_SYSTEM_BASE=$(echo $ML_SYSTEM | cut -f1 -d-)
[ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Unable to build Isabelle."
COMPAT=""
[ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML"
[ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML"
[ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"
exec isabelle \
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
-cq SYSTEM Pure