Diff of /sml/trunk/config/_ml-build

Parent Directory | Revision Log | Patch

	revision 568, Tue Mar 7 03:59:09 2000 UTC	revision 569, Tue Mar 7 04:01:07 2000 UTC
#	Line 13	Line 13
13	listfile=$xx-BOOTLIST	listfile=$xx-BOOTLIST
14	mlscript=$xx-script	mlscript=$xx-script
15
16	trap 'rm -rf $smlfile $cmfile $listfile $mlscript' 0 1 2 3 15	trap 'rm -rf `find . -name $smlfile` $cmfile $listfile $mlscript' 0 1 2 3 15
17
18	usage() {	usage() {
19	echo ${thisscript}: $*	echo ${thisscript}: $*
#	Line 40	Line 40
40	EOF	EOF
41
42	cat >$mlscript <<EOF	cat >$mlscript <<EOF
43	OS.Process.exit ((case CM.mk_standalone NONE "${cmfile}" of	ignore (OS.Process.exit ((case CM.mk_standalone NONE "${cmfile}" of
44	NONE => OS.Process.failure	NONE => OS.Process.failure
45	| SOME l => let val s = TextIO.openOut "${listfile}"	| SOME l => let val s = TextIO.openOut "${listfile}"
46	in app (fn str => TextIO.output (s, str ^ "\n")) l;	fun wr str = TextIO.output (s, str ^ "\n")
47		val n = length l
48		fun maxsz (s, n) = Int.max (size s, n)
49		val m = foldl maxsz 0 l
50		in wr (concat ["%", Int.toString n, " ", Int.toString m]);
51		app wr l;
52	TextIO.closeOut s;	TextIO.closeOut s;
53	OS.Process.success	OS.Process.success
54	end)	end)
55	handle _ => OS.Process.failure)	handle _ => OS.Process.failure))
56	EOF	EOF
57
58	if $SML full-cm.cm <$mlscript ; then	if $SML full-cm.cm <$mlscript ; then

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.568   changed lines   Added in v.569

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0