equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # SML/NJ startup script (for 1.06 or later). |
5 # SML/NJ startup script (for 1.09.27 or later). |
6 # |
6 # |
7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE, |
7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE, |
8 # and from settings |
8 # and from settings |
9 |
9 |
10 |
10 |
22 EXIT="" |
22 EXIT="" |
23 COMMIT="" |
23 COMMIT="" |
24 SUFFIX="" |
24 SUFFIX="" |
25 |
25 |
26 case "$ML_SYSTEM" in |
26 case "$ML_SYSTEM" in |
27 smlnj-1.0[678]*) |
|
28 EXIT="val exit = System.Unix.exit;" |
|
29 COMMIT="fun commit () = not (exportML\"$OUTFILE\");" |
|
30 COMMIT_RO='fun commit () = (output (std_err, "Error - Database is not opened for writing.\\n"); false);' |
|
31 ;; |
|
32 smlnj-1.09*) |
27 smlnj-1.09*) |
33 EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;" |
28 EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;" |
34 COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");" |
29 COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");" |
35 COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\\n"); false);' |
30 COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\\n"); false);' |
36 eval $($ML_HOME/.arch-n-opsys) |
31 eval $($ML_HOME/.arch-n-opsys) |