author | wenzelm |
Sun, 12 Dec 2021 20:38:47 +0100 | |
changeset 74917 | 89318c9131e8 |
parent 74728 | 58ae06d382ee |
child 74995 | 68ffcf5cc94b |
permissions | -rw-r--r-- |
# -*- shell-script -*- :mode=shellscript: POLYML_HOME="$COMPONENT" ML_PLATFORM="${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"