# HG changeset patch # User wenzelm # Date 1554633877 -7200 # Node ID 3b3089863edafc49a615f224fb329c9d1249194e # Parent ee0b8e06b01cf527118c82660e076892b37a21c1 uniform JVM heap options for Isabelle/Scala tools and scalac (again); diff -r ee0b8e06b01c -r 3b3089863eda etc/settings --- a/etc/settings Sun Apr 07 12:41:52 2019 +0200 +++ b/etc/settings Sun Apr 07 12:44:37 2019 +0200 @@ -12,12 +12,12 @@ ### Isabelle/Scala ### -ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m" - ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2" ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss16m" +ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms512m -J-Xmx2560m -J-Xss16m" + classpath "$ISABELLE_HOME/lib/classes/Pure.jar" isabelle_scala_tools 'isabelle.Tools'