equal
deleted
inserted
replaced
27 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version") |
27 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version") |
28 ML_OPTIONS="-H 200" |
28 ML_OPTIONS="-H 200" |
29 ML_SOURCES="$ML_HOME/../src" |
29 ML_SOURCES="$ML_HOME/../src" |
30 |
30 |
31 # Poly/ML 32 bit (manual settings) |
31 # Poly/ML 32 bit (manual settings) |
32 #ML_SYSTEM=polyml-5.4.0 |
32 #ML_SYSTEM=polyml-5.4.1 |
33 #ML_PLATFORM="$ISABELLE_PLATFORM" |
33 #ML_PLATFORM="$ISABELLE_PLATFORM" |
34 #ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM" |
34 #ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM" |
35 #ML_OPTIONS="-H 500" |
35 #ML_OPTIONS="-H 500" |
36 #ML_SOURCES="$ML_HOME/../src" |
36 #ML_SOURCES="$ML_HOME/../src" |
37 |
37 |
38 # Poly/ML 64 bit (manual settings) |
38 # Poly/ML 64 bit (manual settings) |
39 #ML_SYSTEM=polyml-5.4.0 |
39 #ML_SYSTEM=polyml-5.4.1 |
40 #ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}" |
40 #ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}" |
41 #ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM" |
41 #ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM" |
42 #ML_OPTIONS="-H 1000" |
42 #ML_OPTIONS="-H 1000" |
43 #ML_SOURCES="$ML_HOME/../src" |
43 #ML_SOURCES="$ML_HOME/../src" |
44 |
44 |