Admin/isatest/settings/sun-poly
changeset 25581 f2b137c3e725
parent 25466 3f72994ec096
child 25590 1feb9c008d3a
equal deleted inserted replaced
25580:6623674df897 25581:f2b137c3e725
     2 
     2 
     3   POLYML_HOME="/usr/proj/polyml/polyml-5.1"
     3   POLYML_HOME="/usr/proj/polyml/polyml-5.1"
     4   ML_SYSTEM="polyml-5.1"
     4   ML_SYSTEM="polyml-5.1"
     5   ML_PLATFORM="sparc-solaris"
     5   ML_PLATFORM="sparc-solaris"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     7   ML_OPTIONS="-H 500"
     7   ML_OPTIONS="-H 1000"
     8 
     8 
     9 ISABELLE_HOME_USER=~/isabelle-sun-poly
     9 ISABELLE_HOME_USER=~/isabelle-sun-poly
    10 
    10 
    11 # Where to look for isabelle tools (multiple dirs separated by ':').
    11 # Where to look for isabelle tools (multiple dirs separated by ':').
    12 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    12 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"