bin/isabelle_java
changeset 64035 90017a182892
parent 64022 3c0193f82d20
child 66906 03a96b8c7c06
     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"