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 652, Tue Jun 6 02:14:56 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 36  Line 36 
36  EOF  EOF
37    
38  cat >$cmfile <<EOF  cat >$cmfile <<EOF
39  Group structure ${rare} is basis.cm ${root} ${smlfile}  Group structure ${rare} is \$/basis.cm ${root} ${smlfile}
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  # Provide $smlnj/cm.cm as a command-line argument just to be absolutely
59    # sure that structure CM is available. (Under normal circumstances it
60    # is already available -- even without any command line arguments.)
61    if $SML '$smlnj/cm.cm' <$mlscript ; then
62      $LINK @SMLboot=$listfile $      $LINK @SMLboot=$listfile $
63  else  else
64      echo Compilation failed.      echo Compilation failed.

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

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