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/src/cm/link.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/link.sml

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

revision 330, Sat Jun 12 07:45:52 1999 UTC revision 331, Sat Jun 12 15:04:53 1999 UTC
# Line 165  Line 165 
165          structure BootstrapCompile =          structure BootstrapCompile =
166              BootstrapCompileFn (structure MachDepVC = HostMachDepVC              BootstrapCompileFn (structure MachDepVC = HostMachDepVC
167                                  val os = SMLofNJ.SysInfo.getOSKind ())                                  val os = SMLofNJ.SysInfo.getOSKind ())
168          fun make () =          fun make () = let
169              BootstrapCompile.compile              val res = BootstrapCompile.compile
170                { binroot = "xxx.bin.xxx",                { binroot = "xxx.bin.xxx",
171                  pcmodespec = "pathconfig",                  pcmodespec = "pathconfig",
172                  initgspec = "Init/spec.cmi",                  initgspec = "Init/spec.cmi",
173                  maingspec = "Libs/main.cm" }                  maingspec = "Libs/main.cm" }
174                fun offset NONE = ["\n"]
175                  | offset (SOME i) = ["@", Int.toString i, "\n"]
176                fun showBootFile (p, off) =
177                    Say.say (AbsPath.name p :: offset off)
178            in
179                case res of
180                    NONE => false
181                  | SOME { rtspid, bootfiles } =>
182                        (Say.say ["Runtime System PID is: ", rtspid,
183                                  "\nBootfiles...\n"];
184                         app showBootFile bootfiles;
185                         true)
186            end
187          fun setRetargetPervStatEnv x = ()          fun setRetargetPervStatEnv x = ()
188          fun wipeOut () = ()          fun wipeOut () = ()
189          fun make' _ = ()          fun make' _ = ()

Legend:
Removed from v.330  
changed lines
  Added in v.331

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