equal
deleted
inserted
replaced
12 ### Isabelle/Scala |
12 ### Isabelle/Scala |
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 -XX:+UseG1GC -XX:+UseStringDeduplication -Dfile.encoding=UTF-8 -Disabelle.threads=0" |
18 |
18 |
19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
19 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
20 |
20 |
21 #paranoia settings -- avoid intrusion of alien options |
21 #paranoia settings -- avoid intrusion of alien options |
22 unset "_JAVA_OPTIONS" |
22 unset "_JAVA_OPTIONS" |