bin/isabelle
changeset 42077 96c50a4210a2
parent 33915 44a10fe6bd10
child 42124 7519c7c33017
     1.1 --- a/bin/isabelle	Wed Mar 23 16:42:09 2011 +0100
     1.2 +++ b/bin/isabelle	Wed Mar 23 20:51:36 2011 +0100
     1.3 @@ -17,8 +17,6 @@
     1.4  ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
     1.5  source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
     1.6  
     1.7 -splitarray ":" "$ISABELLE_TOOLS"; TOOLS=("${SPLITARRAY[@]}")
     1.8 -
     1.9  
    1.10  ## diagnostics
    1.11  
    1.12 @@ -30,19 +28,7 @@
    1.13    echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
    1.14    echo
    1.15    echo "  Available tools are:"
    1.16 -  for DIR in "${TOOLS[@]}"
    1.17 -  do
    1.18 -    if [ -d "$DIR" ]; then
    1.19 -      for TOOL in "$DIR"/*
    1.20 -      do
    1.21 -        if [ -f "$TOOL" -a -x "$TOOL" ]; then
    1.22 -          NAME="$(basename "$TOOL")"
    1.23 -          DESCRLINE="$(fgrep DESCRIPTION: "$TOOL" | sed -e 's/^.*DESCRIPTION: *//')"
    1.24 -          echo "    $NAME - $DESCRLINE"
    1.25 -        fi
    1.26 -      done
    1.27 -    fi
    1.28 -  done
    1.29 +  perl -w "$ISABELLE_HOME/lib/scripts/tools.pl"
    1.30    exit 1
    1.31  }
    1.32  
    1.33 @@ -63,10 +49,15 @@
    1.34  
    1.35  ## main
    1.36  
    1.37 +splitarray ":" "$ISABELLE_TOOLS"; TOOLS=("${SPLITARRAY[@]}")
    1.38 +
    1.39  for DIR in "${TOOLS[@]}"
    1.40  do
    1.41    TOOL="$DIR/$TOOLNAME"
    1.42 -  [ -f "$TOOL" -a -x "$TOOL" ] && exec "$TOOL" "$@"
    1.43 +  case "$TOOL" in
    1.44 +    *~) ;;
    1.45 +    *) [ -f "$TOOL" -a -x "$TOOL" ] && exec "$TOOL" "$@" ;;
    1.46 +  esac
    1.47  done
    1.48  
    1.49  fail "Unknown Isabelle tool: $TOOLNAME"