etc/settings
changeset 62043 f57dbc3d2a26
parent 61974 5b067c681989
child 62233 dbc39c04a34a
equal deleted inserted replaced
62042:6c6ccf573479 62043:f57dbc3d2a26
    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:MinHeapFreeRatio=30 -XX:MaxHeapFreeRatio=60 -XX:+UseConcMarkSweepGC -XX:+CMSParallelRemarkEnabled -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"