removed smlnj-1.07;
authorwenzelm
Wed Aug 06 14:35:52 1997 +0200 (1997-08-06)
changeset 3630aee7effe0816
parent 3629 8e95bd329fff
child 3631 88a279998f90
removed smlnj-1.07;
README.html
lib/scripts/run-smlnj
     1.1 --- a/README.html	Wed Aug 06 14:15:05 1997 +0200
     1.2 +++ b/README.html	Wed Aug 06 14:35:52 1997 +0200
     1.3 @@ -47,8 +47,7 @@
     1.4  <li> Poly/ML versions 2.x and 3.1 on Suns.
     1.5  <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
     1.6  problems with Linux and HP-UX.
     1.7 -<li> SML/NJ 1.07 on Suns, Linux, etc.
     1.8 -<li> SML/NJ 1.09.27 and 1.09.28 on Suns, Linux, etc.
     1.9 +<li> SML/NJ 1.09.27 or later on Suns, Linux, etc.
    1.10  </ul>
    1.11  
    1.12  <p>
     2.1 --- a/lib/scripts/run-smlnj	Wed Aug 06 14:15:05 1997 +0200
     2.2 +++ b/lib/scripts/run-smlnj	Wed Aug 06 14:35:52 1997 +0200
     2.3 @@ -2,7 +2,7 @@
     2.4  #
     2.5  # $Id$
     2.6  #
     2.7 -# SML/NJ startup script (for 1.06 or later).
     2.8 +# SML/NJ startup script (for 1.09.27 or later).
     2.9  #
    2.10  # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
    2.11  # and from settings
    2.12 @@ -24,11 +24,6 @@
    2.13  SUFFIX=""
    2.14  
    2.15  case "$ML_SYSTEM" in
    2.16 -  smlnj-1.0[678]*)
    2.17 -    EXIT="val exit = System.Unix.exit;"
    2.18 -    COMMIT="fun commit () = not (exportML\"$OUTFILE\");"
    2.19 -    COMMIT_RO='fun commit () = (output (std_err, "Error - Database is not opened for writing.\\n"); false);'
    2.20 -    ;;
    2.21    smlnj-1.09*)
    2.22      EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
    2.23      COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"