equal
deleted
inserted
replaced
13 ### |
13 ### |
14 |
14 |
15 ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" |
15 ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130" |
16 |
16 |
17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
|
18 |
|
19 ISABELLE_TOOL_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m" |
|
20 ISABELLE_TOOL_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m" |
18 |
21 |
19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
22 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
20 |
23 |
21 #paranoia settings -- avoid intrusion of alien options |
24 #paranoia settings -- avoid intrusion of alien options |
22 unset "_JAVA_OPTIONS" |
25 unset "_JAVA_OPTIONS" |
36 ### |
39 ### |
37 ### Batch sessions (cf. isabelle build) |
40 ### Batch sessions (cf. isabelle build) |
38 ### |
41 ### |
39 |
42 |
40 ISABELLE_BUILD_OPTIONS="" |
43 ISABELLE_BUILD_OPTIONS="" |
41 |
|
42 ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m" |
|
43 ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m" |
|
44 |
44 |
45 |
45 |
46 ### |
46 ### |
47 ### Document preparation (cf. isabelle latex/document) |
47 ### Document preparation (cf. isabelle latex/document) |
48 ### |
48 ### |