46 |
|
|
47 |
val ctxt = AbsPath.cwdContext () |
val ctxt = AbsPath.cwdContext () |
48 |
|
|
|
val initgspec = AbsPath.native { context = ctxt, spec = initgspec } |
|
|
val maingspec = AbsPath.native { context = ctxt, spec = maingspec } |
|
49 |
val pcmodespec = AbsPath.native { context = ctxt, spec = pcmodespec } |
val pcmodespec = AbsPath.native { context = ctxt, spec = pcmodespec } |
50 |
val binroot = AbsPath.native { context = ctxt, spec = binroot } |
val binroot = AbsPath.native { context = ctxt, spec = binroot } |
51 |
val pidfile = AbsPath.joinDirFile { dir = binroot, file = "RTPID" } |
val pidfile = AbsPath.joinDirFile { dir = binroot, file = "RTPID" } |
73 |
cleanup = fn () => () } |
cleanup = fn () => () } |
74 |
end |
end |
75 |
|
|
76 |
|
fun stdpath s = AbsPath.standard pcmode { context = ctxt, spec = s } |
77 |
|
|
78 |
|
val initgspec = stdpath initgspec |
79 |
|
val maingspec = stdpath maingspec |
80 |
|
|
81 |
val fnpolicy = |
val fnpolicy = |
82 |
FilenamePolicy.separate { root = binroot, |
FilenamePolicy.separate binroot |
|
parentArc = "DOTDOT", |
|
|
absArc = "ABSOLUTE" } |
|
83 |
{ arch = MachDepVC.architecture, os = os } |
{ arch = MachDepVC.architecture, os = os } |
84 |
|
|
85 |
fun mkParam { primconf, pervasive, pervcorepids } { corenv } = |
fun mkParam { primconf, pervasive, pervcorepids } { corenv } = |