5 # Isabelle/Java cold start -- without settings environment
8 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
9 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
12 export ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
15 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
17 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
19 if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
20 classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
23 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
28 echo "$(platform_path "$ISABELLE_CLASSPATH")"
29 for ARG in "${JAVA_ARGS[@]}"; do echo "$ARG"; done
32 export ISABELLE_ROOT=""
35 unset ISABELLE_CLASSPATH
36 unset JAVA_ARGS; declare -a JAVA_ARGS
38 while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
43 ISABELLE_ROOT="$REPLY"
55 ISABELLE_CLASSPATH="$REPLY"
58 JAVA_ARGS["${#JAVA_ARGS[@]}"]="$REPLY"
63 if [ -z "$JAVA_HOME" ]; then
64 echo "Unknown JAVA_HOME -- Java unavailable" >&2
69 exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" \
70 "-Djava.ext.dirs=$JAVA_HOME/lib/ext" \
71 -classpath "$ISABELLE_CLASSPATH" "$@"