16 |
structure S = GenericVC.Symbol |
structure S = GenericVC.Symbol |
17 |
structure CoerceEnv = GenericVC.CoerceEnv |
structure CoerceEnv = GenericVC.CoerceEnv |
18 |
|
|
19 |
|
val os = SMLofNJ.SysInfo.getOSKind () |
20 |
|
|
21 |
|
structure SSV = SpecificSymValFn (structure MachDepVC = HostMachDepVC |
22 |
|
val os = os) |
23 |
|
|
24 |
(* For testing purposes, I need to have access to the old basis |
(* For testing purposes, I need to have access to the old basis |
25 |
* library. This is done via the "primitives" mechanism. Eventually, |
* library. This is done via the "primitives" mechanism. Eventually, |
26 |
* the basis will be accessed as a genuine library. The "primitives" |
* the basis will be accessed as a genuine library. The "primitives" |
145 |
val pcmode = PathConfig.hardwire |
val pcmode = PathConfig.hardwire |
146 |
[("smlnj-lib.cm", "/home/blume/ML/current/lib")] |
[("smlnj-lib.cm", "/home/blume/ML/current/lib")] |
147 |
val fnpolicy = |
val fnpolicy = |
148 |
FilenamePolicy.colocate { os = SMLofNJ.SysInfo.getOSKind (), |
FilenamePolicy.colocate { os = os, |
149 |
arch = HostMachDepVC.architecture } |
arch = HostMachDepVC.architecture } |
150 |
val keep_going = EnvConfig.getSet StdConfig.keep_going NONE |
val keep_going = EnvConfig.getSet StdConfig.keep_going NONE |
151 |
val param = { primconf = primconf, |
val param = { primconf = primconf, |
152 |
fnpolicy = fnpolicy, |
fnpolicy = fnpolicy, |
153 |
pcmode = pcmode, |
pcmode = pcmode, |
154 |
|
symenv = SSV.env, |
155 |
keep_going = keep_going, |
keep_going = keep_going, |
156 |
pervasive = perv, |
pervasive = perv, |
157 |
corenv = corenv, |
corenv = corenv, |
170 |
structure CMB = struct |
structure CMB = struct |
171 |
structure BootstrapCompile = |
structure BootstrapCompile = |
172 |
BootstrapCompileFn (structure MachDepVC = HostMachDepVC |
BootstrapCompileFn (structure MachDepVC = HostMachDepVC |
173 |
val os = SMLofNJ.SysInfo.getOSKind ()) |
val os = os) |
174 |
fun make () = let |
fun make () = let |
175 |
val res = BootstrapCompile.compile |
val res = BootstrapCompile.compile |
176 |
{ binroot = "xxx.bin.xxx", |
{ binroot = "xxx.bin.xxx", |