etc/settings
changeset 49000 0cebcbeac4c7
parent 48840 7e19dc018db9
child 50197 b385d134926d
     1.1 --- a/etc/settings	Wed Aug 29 17:19:48 2012 +0200
     1.2 +++ b/etc/settings	Wed Aug 29 20:16:22 2012 +0200
     1.3 @@ -8,49 +8,6 @@
     1.4  #   * DO NOT COPY this file into your ~/.isabelle directory!
     1.5  
     1.6  ###
     1.7 -### ML compiler settings (ESSENTIAL!)
     1.8 -###
     1.9 -
    1.10 -# ML_HOME specifies the location of the actual compiler binaries.  Do
    1.11 -# not invent new ML system names unless you know what you are doing.
    1.12 -# Only one of the sections below should be activated.
    1.13 -
    1.14 -# Poly/ML default (automated settings)
    1.15 -ML_PLATFORM="$ISABELLE_PLATFORM"
    1.16 -ML_HOME="$(choosefrom \
    1.17 -  "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
    1.18 -  "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \
    1.19 -  "/usr/local/polyml/$ML_PLATFORM" \
    1.20 -  "/usr/share/polyml/$ML_PLATFORM" \
    1.21 -  "/opt/polyml/$ML_PLATFORM" \
    1.22 -  "")"
    1.23 -ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
    1.24 -ML_OPTIONS="-H 200"
    1.25 -ML_SOURCES="$ML_HOME/../src"
    1.26 -
    1.27 -# Poly/ML 32 bit (manual settings)
    1.28 -#ML_SYSTEM=polyml-5.4.1
    1.29 -#ML_PLATFORM="$ISABELLE_PLATFORM"
    1.30 -#ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM"
    1.31 -#ML_OPTIONS="-H 500"
    1.32 -#ML_SOURCES="$ML_HOME/../src"
    1.33 -
    1.34 -# Poly/ML 64 bit (manual settings)
    1.35 -#ML_SYSTEM=polyml-5.4.1
    1.36 -#ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
    1.37 -#ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM"
    1.38 -#ML_OPTIONS="-H 1000"
    1.39 -#ML_SOURCES="$ML_HOME/../src"
    1.40 -
    1.41 -# Standard ML of New Jersey (slow!)
    1.42 -#ML_SYSTEM=smlnj-110
    1.43 -#ML_HOME="/usr/local/smlnj/bin"
    1.44 -#ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
    1.45 -#ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    1.46 -#SMLNJ_CYGWIN_RUNTIME=1
    1.47 -
    1.48 -
    1.49 -###
    1.50  ### JVM components (Scala or Java)
    1.51  ###
    1.52  
    1.53 @@ -175,9 +132,16 @@
    1.54  
    1.55  
    1.56  ###
    1.57 -### Old-style settings for some external tools
    1.58 +### Misc old-style settings
    1.59  ###
    1.60  
    1.61 +# Standard ML of New Jersey (slow!)
    1.62 +#ML_SYSTEM=smlnj-110
    1.63 +#ML_HOME="/usr/local/smlnj/bin"
    1.64 +#ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
    1.65 +#ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
    1.66 +#SMLNJ_CYGWIN_RUNTIME=1
    1.67 +
    1.68  ## Set HOME only for tools you have installed!
    1.69  
    1.70  # SVC (Stanford Validity Checker)