Admin/polyml/settings
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 72131 284d6c06cbfb
permissions -rw-r--r--
more antiquotations (reverting 4df341249348);

# -*- 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/x86_64/x86_64_32}"
  ML_OPTIONS="--minheap 500"
fi

ML_SYSTEM=polyml-5.8.2
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_SOURCES="$POLYML_HOME/src"

ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$ML_SOURCES/ROOT.ML"