etc/settings
changeset 61735 a1b779ee035c
parent 61500 56a167b31a7f
child 61960 20c1321378db
equal deleted inserted replaced
61734:31633e503c17 61735:a1b779ee035c
    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:+UseConcMarkSweepGC -XX:+CMSParallelRemarkEnabled -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"