Admin/isatest/settings/mac-poly-M4
changeset 37312 664d3110beb2
parent 36100 a8912920ef4f
child 41332 425da53b3196
equal deleted inserted replaced
37311:90323e435a7f 37312:664d3110beb2
     2 
     2 
     3   POLYML_HOME="/home/polyml/polyml-5.3.0"
     3   POLYML_HOME="/home/polyml/polyml-5.3.0"
     4   ML_SYSTEM="polyml-5.3.0"
     4   ML_SYSTEM="polyml-5.3.0"
     5   ML_PLATFORM="x86-darwin"
     5   ML_PLATFORM="x86-darwin"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     7   ML_OPTIONS="--mutable 800 --immutable 2000"
     7   ML_OPTIONS="--mutable 800 --immutable 800"
     8 
     8 
     9 
     9 
    10 ISABELLE_HOME_USER=~/isabelle-mac-poly-M4
    10 ISABELLE_HOME_USER=~/isabelle-mac-poly-M4
    11 
    11 
    12 # Where to look for isabelle tools (multiple dirs separated by ':').
    12 # Where to look for isabelle tools (multiple dirs separated by ':').