removed smlnj-1.07;
authorwenzelm
Wed, 06 Aug 1997 14:35:52 +0200
changeset 3630 aee7effe0816
parent 3629 8e95bd329fff
child 3631 88a279998f90
removed smlnj-1.07;
README.html
lib/scripts/run-smlnj
--- a/README.html	Wed Aug 06 14:15:05 1997 +0200
+++ b/README.html	Wed Aug 06 14:35:52 1997 +0200
@@ -47,8 +47,7 @@
 <li> Poly/ML versions 2.x and 3.1 on Suns.
 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
 problems with Linux and HP-UX.
-<li> SML/NJ 1.07 on Suns, Linux, etc.
-<li> SML/NJ 1.09.27 and 1.09.28 on Suns, Linux, etc.
+<li> SML/NJ 1.09.27 or later on Suns, Linux, etc.
 </ul>
 
 <p>
--- a/lib/scripts/run-smlnj	Wed Aug 06 14:15:05 1997 +0200
+++ b/lib/scripts/run-smlnj	Wed Aug 06 14:35:52 1997 +0200
@@ -2,7 +2,7 @@
 #
 # $Id$
 #
-# SML/NJ startup script (for 1.06 or later).
+# SML/NJ startup script (for 1.09.27 or later).
 #
 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
 # and from settings
@@ -24,11 +24,6 @@
 SUFFIX=""
 
 case "$ML_SYSTEM" in
-  smlnj-1.0[678]*)
-    EXIT="val exit = System.Unix.exit;"
-    COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
-    COMMIT_RO='fun commit () = (output (std_err, "Error - Database is not opened for writing.\\n"); false);'
-    ;;
   smlnj-1.09*)
     EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
     COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"