5 # mk - build Pure Isabelle.
7 # Assumes to be called via Isabelle make utility (cf. IsaMakefile).
21 ML_SYSTEM_BASE=$(echo $ML_SYSTEM | cut -f1 -d-)
22 [ -z "$ML_SYSTEM" ] && \
23 fail "Missing ML system settings! Probably not run via 'isatool make'?."
26 [ -f "ML-Systems/$ML_SYSTEM_BASE.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM_BASE.ML"
27 [ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML"
28 [ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"
31 -e "val ml_system = \"$ML_SYSTEM\";" \
32 -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
35 chmod -w $ISABELLE_OUTPUT_DIR/Pure