4 # |
4 # |
5 # Important notes: |
5 # Important notes: |
6 # * See the "system" manual for explanations on Isabelle settings |
6 # * See the "system" manual for explanations on Isabelle settings |
7 # * DO NOT EDIT the repository copy of this file! |
7 # * DO NOT EDIT the repository copy of this file! |
8 # * DO NOT COPY this file into your ~/.isabelle directory! |
8 # * DO NOT COPY this file into your ~/.isabelle directory! |
9 |
|
10 ### |
|
11 ### ML compiler settings (ESSENTIAL!) |
|
12 ### |
|
13 |
|
14 # ML_HOME specifies the location of the actual compiler binaries. Do |
|
15 # not invent new ML system names unless you know what you are doing. |
|
16 # Only one of the sections below should be activated. |
|
17 |
|
18 # Poly/ML default (automated settings) |
|
19 ML_PLATFORM="$ISABELLE_PLATFORM" |
|
20 ML_HOME="$(choosefrom \ |
|
21 "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \ |
|
22 "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \ |
|
23 "/usr/local/polyml/$ML_PLATFORM" \ |
|
24 "/usr/share/polyml/$ML_PLATFORM" \ |
|
25 "/opt/polyml/$ML_PLATFORM" \ |
|
26 "")" |
|
27 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version") |
|
28 ML_OPTIONS="-H 200" |
|
29 ML_SOURCES="$ML_HOME/../src" |
|
30 |
|
31 # Poly/ML 32 bit (manual settings) |
|
32 #ML_SYSTEM=polyml-5.4.1 |
|
33 #ML_PLATFORM="$ISABELLE_PLATFORM" |
|
34 #ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM" |
|
35 #ML_OPTIONS="-H 500" |
|
36 #ML_SOURCES="$ML_HOME/../src" |
|
37 |
|
38 # Poly/ML 64 bit (manual settings) |
|
39 #ML_SYSTEM=polyml-5.4.1 |
|
40 #ML_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}" |
|
41 #ML_HOME="$ISABELLE_HOME/contrib/$ML_SYSTEM/$ML_PLATFORM" |
|
42 #ML_OPTIONS="-H 1000" |
|
43 #ML_SOURCES="$ML_HOME/../src" |
|
44 |
|
45 # Standard ML of New Jersey (slow!) |
|
46 #ML_SYSTEM=smlnj-110 |
|
47 #ML_HOME="/usr/local/smlnj/bin" |
|
48 #ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024" |
|
49 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
|
50 #SMLNJ_CYGWIN_RUNTIME=1 |
|
51 |
|
52 |
9 |
53 ### |
10 ### |
54 ### JVM components (Scala or Java) |
11 ### JVM components (Scala or Java) |
55 ### |
12 ### |
56 |
13 |
173 ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf" |
130 ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf" |
174 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
131 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
175 |
132 |
176 |
133 |
177 ### |
134 ### |
178 ### Old-style settings for some external tools |
135 ### Misc old-style settings |
179 ### |
136 ### |
|
137 |
|
138 # Standard ML of New Jersey (slow!) |
|
139 #ML_SYSTEM=smlnj-110 |
|
140 #ML_HOME="/usr/local/smlnj/bin" |
|
141 #ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024" |
|
142 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
|
143 #SMLNJ_CYGWIN_RUNTIME=1 |
180 |
144 |
181 ## Set HOME only for tools you have installed! |
145 ## Set HOME only for tools you have installed! |
182 |
146 |
183 # SVC (Stanford Validity Checker) |
147 # SVC (Stanford Validity Checker) |
184 #SVC_HOME= |
148 #SVC_HOME= |