# HG changeset patch
# User wenzelm
# Date 849701190 -3600
# Node ID 641be5ad47af73846cabf6f77636da25601facfe
# Parent  508d2a233dbc0e137683e98760ed571630fb6c8b
improved 'not found' messages;

diff -r 508d2a233dbc -r 641be5ad47af bin/isabelle
--- a/bin/isabelle	Wed Dec 04 13:05:47 1996 +0100
+++ b/bin/isabelle	Wed Dec 04 13:06:30 1996 +0100
@@ -1,8 +1,8 @@
 #!/bin/bash
 #
+# $Id$
+#
 # Basic Isabelle startup script.
-#
-# $Id$
 
 
 ## settings
@@ -110,7 +110,7 @@
 
 ## check ML system
 
-[ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Sorry, no Isabelle."
+[ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Unable to run Isabelle."
 
 
 ## input heap file
@@ -126,12 +126,21 @@
     [ ! -f "$INFILE" ] && fail "Bad heap file file: \"$INFILE\""
     ;;
   *)
+    ISA_PATH=""
     INFILE=""
     for DIR in $(echo $ISABELLE_PATH | tr : " ")
     do
+      ISA_PATH="$ISA_PATH $DIR/$ML_SYSTEM-$PLATFORM"
       [ -z "$INFILE" -a -f $DIR/$ML_SYSTEM-$PLATFORM/$INPUT ] && INFILE=$DIR/$ML_SYSTEM-$PLATFORM/$INPUT
     done
-    [ -z "$INFILE" ] && fail "Unknown logic: \"$INPUT\""
+    if [ -z "$INFILE" ]; then
+      echo "Unknown logic \"$INPUT\" -- no heap file found in:"
+      for DIR in $ISA_PATH
+      do
+        echo "  $DIR"
+      done
+      exit 2
+    fi
     ;;
 esac