Isabelle
author wenzelm
Thu Jun 09 22:13:21 2011 +0200 (2011-06-09)
changeset 43331 01f051619eee
parent 40571 fbac01813bff
child 43521 d477b92109b8
permissions -rwxr-xr-x
clarified raw_blast, which is not really a tactic since it operates directly on subgoal 1 without bounds check (cf. c46107e6714b);
uniform handling of exceptions in depth_tac and blast_tac, discontinued separate blast_depth_tac;
tuned blast_tac: atomize prems only once, outside DEEPEN;
wenzelm@31919
     1
#!/usr/bin/env bash
wenzelm@31919
     2
#
wenzelm@31919
     3
# Author: Makarius
wenzelm@31919
     4
#
wenzelm@31919
     5
# Generic Isabelle application wrapper.
wenzelm@31919
     6
wenzelm@31919
     7
if [ -L "$0" ]; then
wenzelm@31919
     8
  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
wenzelm@31919
     9
  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
wenzelm@31919
    10
fi
wenzelm@31919
    11
wenzelm@31919
    12
wenzelm@31919
    13
## settings
wenzelm@31919
    14
wenzelm@31919
    15
ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
wenzelm@31919
    16
source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
wenzelm@31919
    17
wenzelm@31922
    18
unset ISABELLE_SETTINGS_PRESENT
wenzelm@34282
    19
unset ISABELLE_SITE_SETTINGS_PRESENT
wenzelm@31922
    20
wenzelm@31919
    21
wenzelm@31919
    22
## main
wenzelm@31919
    23
wenzelm@34282
    24
[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
wenzelm@34282
    25
wenzelm@31919
    26
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@40571
    27
exec "$ISABELLE_TOOL" java \
wenzelm@31920
    28
  "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \
wenzelm@31919
    29
  -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"