proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
authorwenzelm
Tue Oct 04 14:39:31 2016 +0200 (2016-10-04)
changeset 6403590017a182892
parent 64034 51bf28aa18a5
child 64036 a14fe26c0144
proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
bin/isabelle_java
     1.1 --- a/bin/isabelle_java	Tue Oct 04 14:32:44 2016 +0200
     1.2 +++ b/bin/isabelle_java	Tue Oct 04 14:39:31 2016 +0200
     1.3 @@ -14,7 +14,16 @@
     1.4  (
     1.5    source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
     1.6  
     1.7 -  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
     1.8 +  case "$ISABELLE_JAVA_PLATFORM" in
     1.9 +    x86-*)
    1.10 +      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32"
    1.11 +      ;;
    1.12 +    x86_64-*)
    1.13 +      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64"
    1.14 +      ;;
    1.15 +  esac
    1.16 +
    1.17 +  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
    1.18  
    1.19    if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
    1.20      classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"