1.1 --- a/etc/settings	Thu Nov 08 14:51:31 2007 +0100
     1.2 +++ b/etc/settings	Thu Nov 08 20:07:57 2007 +0100
     1.3 @@ -30,35 +30,40 @@
     1.4  ML_OPTIONS="-H 500"
     1.5  ML_DBASE=""
     1.6  
     1.7 -# Poly/ML 5.1 on 64bit Linux
     1.8 +# Poly/ML 5.1
     1.9 +#ML_PLATFORM=x86-linux
    1.10 +#ML_HOME=/usr/local/polyml/x86-linux
    1.11 +#ML_SYSTEM=polyml-5.1
    1.12 +#ML_OPTIONS="-H 500"
    1.13 +
    1.14 +# Poly/ML 5.1 (64 bit)
    1.15  #ML_PLATFORM=x86_64-linux
    1.16  #ML_HOME=/usr/local/polyml/x86_64-linux
    1.17  #ML_SYSTEM=polyml-5.1
    1.18  #ML_OPTIONS="-H 1000"
    1.19  
    1.20 -# Poly/ML 5.1 on Cygwin
    1.21 -#ML_PLATFORM=x86-cygwin
    1.22 -#ML_HOME=/usr/local/polyml/x86-cygwin
    1.23 -#ML_SYSTEM=polyml-5.1
    1.24 -#ML_OPTIONS="-H 500"
    1.25 -#POLY_LINK_OPTIONS="-lstdc++"
    1.26 -
    1.27  # Poly/ML 4.2.0
    1.28  #ML_PLATFORM=x86-linux
    1.29  #ML_HOME=/usr/local/polyml/x86-linux
    1.30  #ML_SYSTEM=polyml-4.2.0
    1.31  #ML_OPTIONS="-H 80"
    1.32  
    1.33 -# Standard ML of New Jersey 110 or later
    1.34 -#SMLNJ_CYGWIN_RUNTIME=1
    1.35 +# Standard ML of New Jersey (slow!)
    1.36  #ML_SYSTEM=smlnj-110
    1.37 -#ML_HOME="$ISABELLE_HOME/contrib/smlnj/bin"
    1.38 +#ML_HOME="/usr/local/smlnj/bin"
    1.39  #ML_OPTIONS="@SMLdebug=/dev/null"
    1.40  #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    1.41 +#SMLNJ_CYGWIN_RUNTIME=1
    1.42  
    1.43 -# Moscow ML 2.00 or later (experimental!)
    1.44 +# Moscow ML 2.00 (experimental!)
    1.45  #ML_SYSTEM=mosml
    1.46 -#ML_HOME="$ISABELLE_HOME/contrib/mosml/bin"
    1.47 +#ML_HOME="/usr/local/mosml/bin"
    1.48 +#ML_OPTIONS=""
    1.49 +#ML_PLATFORM=""
    1.50 +
    1.51 +# Alice 1.4 (experimental!)
    1.52 +#ML_SYSTEM=alice
    1.53 +#ML_HOME="/usr/local/alice/bin"
    1.54  #ML_OPTIONS=""
    1.55  #ML_PLATFORM=""
    1.56  
    1.57 @@ -69,12 +74,6 @@
    1.58  #ML_SUFFIX=".psv"
    1.59  #ML_PLATFORM=""
    1.60  
    1.61 -# Alice 1.4 (experimental!)
    1.62 -#ML_SYSTEM=alice
    1.63 -#ML_HOME="/usr/local/alice/bin"
    1.64 -#ML_OPTIONS=""
    1.65 -#ML_PLATFORM=""
    1.66 -
    1.67  
    1.68  ###
    1.69  ### Compilation options (cf. isatool usedir)