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' _ = () |