--- 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