# -*- shell-script -*- :mode=shellscript:

POLYML_HOME="$COMPONENT"

ML_SYSTEM=polyml-5.9.2
ML_OPTIONS32="--minheap 500"
ML_OPTIONS64="--minheap 1000"
ML_OPTIONS=""
ML_PLATFORM=""

ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$POLYML_HOME/\$ML_SOURCES_ROOT"
