Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/config/_ml-build
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 537, Fri Feb 18 17:20:16 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

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

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