# -*- shell-script -*- :mode=shellscript:
POLYML_HOME="$COMPONENT"
ML_PLATFORM="${ISABELLE_APPLE_PLATFORM64:-${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}}"
if grep "ML_system_64.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
then
ML_OPTIONS="--minheap 1000"
else
ML_PLATFORM="${ML_PLATFORM/64/64_32}"
ML_OPTIONS="--minheap 500"
fi
ML_SYSTEM=polyml-5.9
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_SOURCES="$POLYML_HOME/src"
ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$ML_SOURCES/ROOT.ML"