etc/settings
changeset 61355 31829cf53f5d
parent 61148 b3efd7552d83
child 61500 56a167b31a7f
equal deleted inserted replaced
61354:1727d7d14d76 61355:31829cf53f5d
    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 -XX:+UseG1GC -XX:+UseStringDeduplication -Dfile.encoding=UTF-8 -Disabelle.threads=0"
    17 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -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"