provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
authorwenzelm
Sat Aug 31 13:34:39 2013 +0200 (2013-08-31 ago)
changeset 5334626c795734b3c
parent 53345 8c333d659e8f
child 53347 547610c26257
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
etc/settings
lib/Tools/java
     1.1 --- a/etc/settings	Sat Aug 31 13:20:18 2013 +0200
     1.2 +++ b/etc/settings	Sat Aug 31 13:34:39 2013 +0200
     1.3 @@ -13,6 +13,8 @@
     1.4  
     1.5  ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
     1.6  
     1.7 +ISABELLE_JAVA_SYSTEM_OPTIONS="-Dfile.encoding=UTF-8 -server"
     1.8 +
     1.9  
    1.10  ###
    1.11  ### Interactive sessions (cf. isabelle tty)
     2.1 --- a/lib/Tools/java	Sat Aug 31 13:20:18 2013 +0200
     2.2 +++ b/lib/Tools/java	Sat Aug 31 13:34:39 2013 +0200
     2.3 @@ -5,6 +5,8 @@
     2.4  # DESCRIPTION: invoke Java within the Isabelle environment
     2.5  
     2.6  CLASSPATH="$(jvmpath "$CLASSPATH")"
     2.7 -isabelle_jdk java -Dfile.encoding=UTF-8 -server \
     2.8 +
     2.9 +declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
    2.10 +isabelle_jdk java "${JAVA_ARGS[@]}" \
    2.11    "-Djava.ext.dirs=$(jvmpath "$ISABELLE_JAVA_EXT:$ISABELLE_HOME/lib/classes/ext")" "$@"
    2.12