17 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m" |
17 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m" |
18 |
18 |
19 ISABELLE_JAVAC_OPTIONS="-encoding UTF-8 -Xlint:-options -deprecation -source 11 -target 11" |
19 ISABELLE_JAVAC_OPTIONS="-encoding UTF-8 -Xlint:-options -deprecation -source 11 -target 11" |
20 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m" |
20 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m" |
21 |
21 |
22 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
22 ISABELLE_SCALA_JAR="$ISABELLE_HOME/lib/classes/isabelle.jar" |
23 |
|
24 isabelle_scala_service 'isabelle.Tools' |
|
25 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools' |
|
26 |
|
27 isabelle_scala_service 'isabelle.Scala_Functions' |
|
28 |
|
29 isabelle_scala_service 'isabelle.Sessions$File_Format' |
|
30 isabelle_scala_service 'isabelle.Bibtex$File_Format' |
|
31 |
|
32 isabelle_scala_service 'isabelle.ML_Statistics$Handler' |
|
33 isabelle_scala_service 'isabelle.Scala$Handler' |
|
34 isabelle_scala_service 'isabelle.Print_Operation$Handler' |
|
35 isabelle_scala_service 'isabelle.Simplifier_Trace$Handler' |
|
36 isabelle_scala_service 'isabelle.Server_Commands' |
|
37 |
|
38 isabelle_scala_service 'isabelle.Document_Build$LuaLaTeX_Engine' |
|
39 isabelle_scala_service 'isabelle.Document_Build$PDFLaTeX_Engine' |
|
40 isabelle_scala_service 'isabelle.Document_Build$Build_Engine' |
|
41 |
23 |
42 #paranoia settings -- avoid intrusion of alien options |
24 #paranoia settings -- avoid intrusion of alien options |
43 unset "_JAVA_OPTIONS" |
25 unset "_JAVA_OPTIONS" |
44 unset "JAVA_TOOL_OPTIONS" |
26 unset "JAVA_TOOL_OPTIONS" |
45 |
27 |