lib/scripts/run-smlnj-0.93
changeset 5063 d45ec8d00ab0
parent 4513 6de428eac512
child 9789 7e5e6c47c0b5
--- a/lib/scripts/run-smlnj-0.93	Mon Jun 22 15:18:02 1998 +0200
+++ b/lib/scripts/run-smlnj-0.93	Mon Jun 22 15:25:06 1998 +0200
@@ -16,11 +16,21 @@
   exit 2
 }
 
+function check_mlhome_file()
+{
+  if [ ! -f "$1" ]; then
+    echo "Unable to locate $1" >&2
+    echo "Please check your ML_HOME setting!" >&2
+    exit 2
+  fi
+}
+
 
 ## prepare databases
 
 if [ -z "$INFILE" ]; then
   INFILE="$ML_HOME/sml"
+  check_mlhome_file "$INFILE"
   EXIT="val exit: int -> unit = System.Unsafe.CInterface.exit;"
 else
   EXIT=""