Admin/Linux/Isabelle
author wenzelm
Mon, 09 Sep 2013 13:48:06 +0200
changeset 53483 74a4685a96c8
child 53573 3cffcc303fc0
permissions -rw-r--r--
generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);

#!/usr/bin/env bash
#
# Author: Makarius
#
# Main Isabelle application wrapper.

if [ -L "$0" ]; then
  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
fi


## settings

PRG="$(basename "$0")"

ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2


## main

declare -a JAVA_ARGS
JAVA_ARGS=({JAVA_ARGS})

exec "$ISABELLE_HOME/bin/isabelle" java "${JAVA_ARGS[@]}" \
  -classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" isabelle.Main "$@"