bin/isabelle_java
changeset 64035 90017a182892
parent 64022 3c0193f82d20
child 66906 03a96b8c7c06
equal deleted inserted replaced
64034:51bf28aa18a5 64035:90017a182892
    12 export ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    12 export ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    13 
    13 
    14 (
    14 (
    15   source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    15   source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    16 
    16 
    17   declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
    17   case "$ISABELLE_JAVA_PLATFORM" in
       
    18     x86-*)
       
    19       ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32"
       
    20       ;;
       
    21     x86_64-*)
       
    22       ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64"
       
    23       ;;
       
    24   esac
       
    25 
       
    26   declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
    18 
    27 
    19   if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
    28   if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
    20     classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
    29     classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
    21   fi
    30   fi
    22 
    31