author | wenzelm |
Thu, 08 Apr 2021 13:09:44 +0200 | |
changeset 60187 | 751b8a13c271 |
parent 59451 | 71b442e82416 |
permissions | -rwxr-xr-x |
wenzelm@10555 | 1 |
#!/usr/bin/env bash |
wenzelm@2292 | 2 |
# |
wenzelm@9786 | 3 |
# Author: Markus Wenzel, TU Muenchen |
wenzelm@2308 | 4 |
# |
wenzelm@28504 | 5 |
# Isabelle tool wrapper. |
wenzelm@2292 | 6 |
|
wenzelm@15843 | 7 |
if [ -L "$0" ]; then |
wenzelm@15843 | 8 |
TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" |
wenzelm@15967 | 9 |
exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" |
wenzelm@15843 | 10 |
fi |
wenzelm@15843 | 11 |
|
wenzelm@2292 | 12 |
|
wenzelm@28504 | 13 |
## settings |
wenzelm@2292 | 14 |
|
wenzelm@28504 | 15 |
PRG="$(basename "$0")" |
wenzelm@28504 | 16 |
|
wenzelm@28504 | 17 |
ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)" |
wenzelm@28504 | 18 |
source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
wenzelm@28504 | 19 |
|
wenzelm@28504 | 20 |
|
wneuper@59324 | 21 |
## external tool (shell script) |
wenzelm@28504 | 22 |
|
wneuper@59324 | 23 |
if [ "$#" -ge 1 -a "$1" != "-?" ] |
wneuper@59324 | 24 |
then |
wneuper@59324 | 25 |
TOOL_NAME="$1" |
wenzelm@28504 | 26 |
|
wneuper@59324 | 27 |
splitarray ":" "$ISABELLE_TOOLS"; TOOLS=("${SPLITARRAY[@]}") |
wneuper@59324 | 28 |
for DIR in "${TOOLS[@]}" |
wneuper@59324 | 29 |
do |
wneuper@59324 | 30 |
TOOL="$DIR/$TOOL_NAME" |
wneuper@59324 | 31 |
case "$TOOL" in |
wneuper@59324 | 32 |
*~ | *.orig) ;; |
wneuper@59324 | 33 |
*) |
wneuper@59324 | 34 |
if [ -f "$TOOL" -a -x "$TOOL" ]; then |
wneuper@59324 | 35 |
shift |
wneuper@59324 | 36 |
exec "$TOOL" "$@" |
wneuper@59324 | 37 |
fi |
wneuper@59324 | 38 |
;; |
wneuper@59324 | 39 |
esac |
wneuper@59324 | 40 |
done |
wneuper@59324 | 41 |
fi |
wenzelm@28504 | 42 |
|
wenzelm@28504 | 43 |
|
wneuper@59324 | 44 |
## internal tool or usage (Scala) |
wenzelm@28504 | 45 |
|
wneuper@59324 | 46 |
isabelle_admin_build jars || exit $? |
wenzelm@28504 | 47 |
|
wneuper@59451 | 48 |
eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)" |
wneuper@59324 | 49 |
exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@" |