SCM Repository
[smlnj] Diff of /sml/trunk/src/cm/link.sml
Diff of /sml/trunk/src/cm/link.sml
Parent Directory
|
Revision Log
|
Patch
130 |
val primconf = Primitive.configuration { basis = basis } |
val primconf = Primitive.configuration { basis = basis } |
131 |
val pcmode = PathConfig.hardwire |
val pcmode = PathConfig.hardwire |
132 |
[("smlnj-lib.cm", "/home/blume/ML/current/lib")] |
[("smlnj-lib.cm", "/home/blume/ML/current/lib")] |
133 |
|
val fnpolicy = |
134 |
|
FilenamePolicy.colocate { os = SMLofNJ.SysInfo.getOSKind (), |
135 |
|
arch = HostMachDepVC.architecture } |
136 |
val param = { primconf = primconf, |
val param = { primconf = primconf, |
137 |
fnpolicy = FilenamePolicy.default, |
fnpolicy = fnpolicy, |
138 |
pcmode = pcmode, |
pcmode = pcmode, |
139 |
keep_going = true, |
keep_going = true, |
140 |
pervasive = perv, |
pervasive = perv, |
|
Legend:
Removed from v.321 |
|
changed lines |
|
Added in v.322 |
|
|