equal
deleted
inserted
replaced
19 |
19 |
20 ## basic setup |
20 ## basic setup |
21 |
21 |
22 EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;" |
22 EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;" |
23 COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");" |
23 COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");" |
24 COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\n"); false);' |
24 COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\\n"); false);' |
25 eval $($ML_HOME/.arch-n-opsys) |
25 eval $($ML_HOME/.arch-n-opsys) |
26 SUFFIX=".$ARCH-$OPSYS" |
26 SUFFIX=".$ARCH-$OPSYS" |
27 |
27 |
28 |
28 |
29 ## prepare databases |
29 ## prepare databases |