author | wenzelm |
Tue, 08 Sep 2015 11:44:15 +0200 | |
changeset 61131 | 83459eb76fe3 |
parent 61027 | 06ceb6dcdccd |
child 61135 | 8f7d802b7a71 |
permissions | -rw-r--r-- |
24211 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2294 | 2 |
# |
54937 | 3 |
# Isabelle system settings. |
16875 | 4 |
# |
5 |
# Important notes: |
|
47173 | 6 |
# * See the "system" manual for explanations on Isabelle settings |
54937 | 7 |
# * User settings go into $ISABELLE_HOME_USER/etc/settings |
16875 | 8 |
# * DO NOT EDIT the repository copy of this file! |
54937 | 9 |
# * DO NOT COPY this file into the $ISABELLE_HOME_USER directory! |
2309 | 10 |
|
2426 | 11 |
### |
52790 | 12 |
### Isabelle/Scala |
27906 | 13 |
### |
14 |
||
56665 | 15 |
ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" |
47009 | 16 |
|
61027 | 17 |
ISABELLE_JAVA_SYSTEM_OPTIONS="-server -XX:+UseG1GC -XX:+UseStringDeduplication -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
53346
26c795734b3c
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents:
52790
diff
changeset
|
18 |
|
53577 | 19 |
classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
53576
793a429c63e7
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
wenzelm
parents:
53346
diff
changeset
|
20 |
|
60200
02fd729f2883
more paranoia settings, e.g. relevant for Ubuntu 15.04;
wenzelm
parents:
59565
diff
changeset
|
21 |
#paranoia settings -- avoid intrusion of alien options |
02fd729f2883
more paranoia settings, e.g. relevant for Ubuntu 15.04;
wenzelm
parents:
59565
diff
changeset
|
22 |
unset "_JAVA_OPTIONS" |
02fd729f2883
more paranoia settings, e.g. relevant for Ubuntu 15.04;
wenzelm
parents:
59565
diff
changeset
|
23 |
unset "JAVA_TOOL_OPTIONS" |
02fd729f2883
more paranoia settings, e.g. relevant for Ubuntu 15.04;
wenzelm
parents:
59565
diff
changeset
|
24 |
|
02fd729f2883
more paranoia settings, e.g. relevant for Ubuntu 15.04;
wenzelm
parents:
59565
diff
changeset
|
25 |
#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc. |
54037
ab77ec347220
unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19;
wenzelm
parents:
53577
diff
changeset
|
26 |
unset XMODIFIERS |
ab77ec347220
unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19;
wenzelm
parents:
53577
diff
changeset
|
27 |
|
27906 | 28 |
|
29 |
### |
|
57441 | 30 |
### Interactive sessions (cf. isabelle console) |
25627 | 31 |
### |
32 |
||
57439
0e41f26a0250
"isabelle tty" is superseded by "isabelle console";
wenzelm
parents:
56665
diff
changeset
|
33 |
ISABELLE_LINE_EDITOR="rlwrap" |
25627 | 34 |
|
35 |
||
36 |
### |
|
52052
892061142ba6
discontinued obsolete isabelle usedir, mkdir, make;
wenzelm
parents:
51977
diff
changeset
|
37 |
### Batch sessions (cf. isabelle build) |
2435 | 38 |
### |
39 |
||
48466
3b2fb20df17d
further imitation of ISABELLE_USEDIR_OPTIONS via options;
wenzelm
parents:
48449
diff
changeset
|
40 |
ISABELLE_BUILD_OPTIONS="" |
61131 | 41 |
|
42 |
case "$ISABELLE_JAVA_PLATFORM" in |
|
43 |
x86_64-*) |
|
44 |
ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m" |
|
45 |
;; |
|
46 |
*) |
|
47 |
ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m" |
|
48 |
;; |
|
49 |
esac |
|
48466
3b2fb20df17d
further imitation of ISABELLE_USEDIR_OPTIONS via options;
wenzelm
parents:
48449
diff
changeset
|
50 |
|
2435 | 51 |
|
52 |
### |
|
28504
7ad7d7d6df47
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents:
28474
diff
changeset
|
53 |
### Document preparation (cf. isabelle latex/document) |
7773 | 54 |
### |
55 |
||
56 |
ISABELLE_LATEX="latex" |
|
57 |
ISABELLE_PDFLATEX="pdflatex" |
|
7813 | 58 |
ISABELLE_BIBTEX="bibtex" |
14344 | 59 |
ISABELLE_MAKEINDEX="makeindex" |
11800 | 60 |
ISABELLE_EPSTOPDF="epstopdf" |
7773 | 61 |
|
62 |
||
63 |
### |
|
2968 | 64 |
### Misc path settings |
2426 | 65 |
### |
2294 | 66 |
|
48840 | 67 |
ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components" |
68 |
||
2426 | 69 |
# The place for user configuration, heap files, etc. |
48553 | 70 |
if [ -z "$ISABELLE_IDENTIFIER" ]; then |
48449 | 71 |
ISABELLE_HOME_USER="$USER_HOME/.isabelle" |
72 |
else |
|
73 |
ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER" |
|
74 |
fi |
|
2294 | 75 |
|
3177 | 76 |
# Where to look for isabelle tools (multiple dirs separated by ':'). |
9787
fb8c5a66dbe8
more robust handling of spaces in args / file names;
wenzelm
parents:
9759
diff
changeset
|
77 |
ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" |
2786 | 78 |
|
4334 | 79 |
# Location for temporary files (should be on a local file system). |
58639
1df53737c59b
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
wenzelm
parents:
57451
diff
changeset
|
80 |
ISABELLE_TMP_PREFIX="${TMPDIR:-/tmp}/isabelle-$USER" |
4334 | 81 |
|
9787
fb8c5a66dbe8
more robust handling of spaces in args / file names;
wenzelm
parents:
9759
diff
changeset
|
82 |
# Heap input locations. ML system identifier is included in lookup. |
40387
e4c9e0dad473
moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
wenzelm
parents:
37174
diff
changeset
|
83 |
ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" |
2780 | 84 |
|
9787
fb8c5a66dbe8
more robust handling of spaces in args / file names;
wenzelm
parents:
9759
diff
changeset
|
85 |
# Heap output location. ML system identifier is appended automatically later on. |
40387
e4c9e0dad473
moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
wenzelm
parents:
37174
diff
changeset
|
86 |
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
26212 | 87 |
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
2780 | 88 |
|
16186 | 89 |
# Site settings check -- just to make it a little bit harder to copy this file verbatim! |
9225 | 90 |
[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \ |
91 |
{ echo >&2 "### Isabelle site settings already present! Maybe copied etc/settings in full?"; } |
|
32305
c5523ded51d9
basic support for components (which imitate the usual Isabelle directory layout);
wenzelm
parents:
32292
diff
changeset
|
92 |
ISABELLE_SITE_SETTINGS_PRESENT=true |
9225 | 93 |
|
13920 | 94 |
|
95 |
### |
|
28651 | 96 |
### Default logic |
13920 | 97 |
### |
16186 | 98 |
|
3184 | 99 |
ISABELLE_LOGIC=HOL |
2294 | 100 |
|
2786 | 101 |
|
13920 | 102 |
### |
103 |
### Docs |
|
104 |
### |
|
2294 | 105 |
|
16186 | 106 |
# Where to look for docs (multiple dirs separated by ':'). |
9787
fb8c5a66dbe8
more robust handling of spaces in args / file names;
wenzelm
parents:
9759
diff
changeset
|
107 |
ISABELLE_DOCS="$ISABELLE_HOME/doc" |
2345 | 108 |
|
57451 | 109 |
ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:src/Tools/jEdit/README:README_REPOSITORY" |
56424
7032378cc097
proper settings instead of hard-wired information;
wenzelm
parents:
54937
diff
changeset
|
110 |
ISABELLE_DOCS_EXAMPLES="src/HOL/ex/Seq.thy:src/HOL/ex/ML.thy:src/HOL/Unix/Unix.thy:src/HOL/Isar_Examples/Drinker.thy:src/Tools/SML/Examples.thy" |
7032378cc097
proper settings instead of hard-wired information;
wenzelm
parents:
54937
diff
changeset
|
111 |
|
54685 | 112 |
# "open" within desktop environment (potentially asynchronous) |
50197
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
113 |
case "$ISABELLE_PLATFORM_FAMILY" in |
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
114 |
linux) |
54685 | 115 |
ISABELLE_OPEN="xdg-open" |
50197
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
116 |
;; |
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
117 |
macos) |
54685 | 118 |
ISABELLE_OPEN="open" |
50197
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
119 |
;; |
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
120 |
windows) |
54685 | 121 |
ISABELLE_OPEN="cygstart" |
50197
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
122 |
;; |
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
123 |
esac |
b385d134926d
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
wenzelm
parents:
49000
diff
changeset
|
124 |
|
54685 | 125 |
PDF_VIEWER="$ISABELLE_OPEN" |
126 |
DVI_VIEWER="$ISABELLE_OPEN" |
|
2345 | 127 |
|
15218 | 128 |
|
2426 | 129 |
### |
37058
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
130 |
### Rendering information |
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
131 |
### |
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
132 |
|
43484 | 133 |
ISABELLE_FONTS="$ISABELLE_HOME/lib/fonts/IsabelleText.ttf:$ISABELLE_HOME/lib/fonts/IsabelleTextBold.ttf" |
37058
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
134 |
ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
135 |
|
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
136 |
|
c47653f3ec14
rendering information and style sheets via settings;
wenzelm
parents:
36212
diff
changeset
|
137 |
### |
49000 | 138 |
### Misc old-style settings |
7185 | 139 |
### |
140 |
||
49000 | 141 |
# Standard ML of New Jersey (slow!) |
142 |
#ML_SYSTEM=smlnj-110 |
|
143 |
#ML_HOME="/usr/local/smlnj/bin" |
|
144 |
#ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024" |
|
145 |
#ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
|
146 |
#SMLNJ_CYGWIN_RUNTIME=1 |
|
147 |
||
41968
7f5c9bd991be
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
wenzelm
parents:
41955
diff
changeset
|
148 |
# Misc programming languages |
48187
6615f7ce670b
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
wenzelm
parents:
47758
diff
changeset
|
149 |
#ISABELLE_GHC="/usr/bin/ghc" |
6615f7ce670b
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
wenzelm
parents:
47758
diff
changeset
|
150 |
#ISABELLE_OCAML="/usr/bin/ocaml" |
6615f7ce670b
slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
wenzelm
parents:
47758
diff
changeset
|
151 |
#ISABELLE_SWIPL="/usr/bin/swipl" |