1.1 --- a/etc/settings Fri Oct 21 16:22:59 2005 +0200
1.2 +++ b/etc/settings Fri Oct 21 16:34:22 2005 +0200
1.3 @@ -16,7 +16,7 @@
1.4 # not invent new ML system names unless you know what you are doing.
1.5 # Only one of the sections below should be activated.
1.6
1.7 -# Poly/ML 4.x
1.8 +# Poly/ML 4.x (automated settings)
1.9 POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")"
1.10 ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
1.11 ML_HOME=$(choosefrom \
1.12 @@ -30,6 +30,12 @@
1.13 ML_OPTIONS="-H 80"
1.14 ML_DBASE=""
1.15
1.16 +# Poly/ML 4.x
1.17 +#ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
1.18 +#ML_HOME="$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM/$ML_PLATFORM"
1.19 +#ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
1.20 +#ML_OPTIONS="-H 80"
1.21 +
1.22 # Standard ML of New Jersey 110 or later
1.23 #SMLNJ_CYGWIN_RUNTIME=1
1.24 #ML_SYSTEM=smlnj-110