bin/isabelle
changeset 66906 03a96b8c7c06
parent 62840 d9744f41a4ec
equal deleted inserted replaced
66904:d9783ea1160c 66906:03a96b8c7c06
    43 
    43 
    44 ## internal tool or usage (Scala)
    44 ## internal tool or usage (Scala)
    45 
    45 
    46 isabelle_admin_build jars || exit $?
    46 isabelle_admin_build jars || exit $?
    47 
    47 
    48 case "$ISABELLE_JAVA_PLATFORM" in
    48 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
    49   x86-*)
       
    50     eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)"
       
    51     ;;
       
    52   x86_64-*)
       
    53     eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)"
       
    54     ;;
       
    55 esac
       
    56 
       
    57 exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@"
    49 exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@"