1.1 --- a/etc/settings	Sat Mar 04 13:28:21 2000 +0100
     1.2 +++ b/etc/settings	Mon Mar 06 12:04:39 2000 +0100
     1.3 @@ -11,11 +11,18 @@
     1.4  ## Uncomment and adapt one of the sections below.  Note that ML_HOME
     1.5  ## specifies the location of the actual compiler binaries.
     1.6  
     1.7 +# Poly/ML 3.x
     1.8 +POLYML_HOME=$ISABELLE_HOME/../polyml
     1.9 +ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
    1.10 +ML_HOME=$POLYML_HOME/$ML_PLATFORM
    1.11 +ML_SYSTEM=polyml-3.x
    1.12 +ML_OPTIONS="-h 30000"
    1.13 +
    1.14  # Standard ML of New Jersey 110 or later
    1.15 -ML_SYSTEM=smlnj-110
    1.16 -ML_HOME=$ISABELLE_HOME/../smlnj/bin
    1.17 -ML_OPTIONS="@SMLdebug=/dev/null"
    1.18 -ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)
    1.19 +#ML_SYSTEM=smlnj-110
    1.20 +#ML_HOME=$ISABELLE_HOME/../smlnj/bin
    1.21 +#ML_OPTIONS="@SMLdebug=/dev/null"
    1.22 +#ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)
    1.23  
    1.24  # MLWorks 2.0 or later
    1.25  #ML_SYSTEM=mlworks
    1.26 @@ -29,13 +36,6 @@
    1.27  #ML_OPTIONS="-h 30000"
    1.28  #ML_PLATFORM=""
    1.29  
    1.30 -# Poly/ML 3.1
    1.31 -#ML_SYSTEM=polyml-3.1
    1.32 -#ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.33 -#ML_OPTIONS="-h 30000"
    1.34 -#ML_PLATFORM=""
    1.35 -#LM_LICENSE_FILE=$ML_HOME/license.dat
    1.36 -
    1.37  # Standard ML of New Jersey 0.93
    1.38  #ML_SYSTEM=smlnj-0.93
    1.39  #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src