improved 'not found' messages;
authorwenzelm
Wed Dec 04 13:06:30 1996 +0100 (1996-12-04)
changeset 2308641be5ad47af
parent 2307 508d2a233dbc
child 2309 390c1b6baaa5
improved 'not found' messages;
bin/isabelle
     1.1 --- a/bin/isabelle	Wed Dec 04 13:05:47 1996 +0100
     1.2 +++ b/bin/isabelle	Wed Dec 04 13:06:30 1996 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4  #!/bin/bash
     1.5  #
     1.6 +# $Id$
     1.7 +#
     1.8  # Basic Isabelle startup script.
     1.9 -#
    1.10 -# $Id$
    1.11  
    1.12  
    1.13  ## settings
    1.14 @@ -110,7 +110,7 @@
    1.15  
    1.16  ## check ML system
    1.17  
    1.18 -[ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Sorry, no Isabelle."
    1.19 +[ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Unable to run Isabelle."
    1.20  
    1.21  
    1.22  ## input heap file
    1.23 @@ -126,12 +126,21 @@
    1.24      [ ! -f "$INFILE" ] && fail "Bad heap file file: \"$INFILE\""
    1.25      ;;
    1.26    *)
    1.27 +    ISA_PATH=""
    1.28      INFILE=""
    1.29      for DIR in $(echo $ISABELLE_PATH | tr : " ")
    1.30      do
    1.31 +      ISA_PATH="$ISA_PATH $DIR/$ML_SYSTEM-$PLATFORM"
    1.32        [ -z "$INFILE" -a -f $DIR/$ML_SYSTEM-$PLATFORM/$INPUT ] && INFILE=$DIR/$ML_SYSTEM-$PLATFORM/$INPUT
    1.33      done
    1.34 -    [ -z "$INFILE" ] && fail "Unknown logic: \"$INPUT\""
    1.35 +    if [ -z "$INFILE" ]; then
    1.36 +      echo "Unknown logic \"$INPUT\" -- no heap file found in:"
    1.37 +      for DIR in $ISA_PATH
    1.38 +      do
    1.39 +        echo "  $DIR"
    1.40 +      done
    1.41 +      exit 2
    1.42 +    fi
    1.43      ;;
    1.44  esac
    1.45