9 |
val os: SMLofNJ.SysInfo.os_kind) = |
val os: SMLofNJ.SysInfo.os_kind) = |
10 |
struct |
struct |
11 |
local |
local |
12 |
val (arch, extra_arch, big, size) = |
val (arch, big, size) = |
13 |
case MachDepVC.architecture of |
case MachDepVC.architecture of |
14 |
"sparc" => ("SPARC", NONE, true, 32) |
"sparc" => ("SPARC", true, 32) |
15 |
| "alpha32" => ("ALPHA", NONE, false, 32) |
| "alpha32" => ("ALPHA", false, 32) |
16 |
| "alpha32x" => ("ALPHA", SOME "ALHPA_OLD", false, 32) |
| "mipsel" => ("MIPS", false, 32) |
17 |
| "mipsel" => ("MIPS", NONE, false, 32) |
| "mipseb" => ("MIPS", true, 32) |
18 |
| "mipseb" => ("MIPS", NONE, true, 32) |
| "x86" => ("X86", false, 32) |
19 |
| "x86" => ("X86", NONE, false, 32) |
| "hppa" => ("HPPA", false, 32) |
20 |
| "hppa" => ("HPPA", NONE, false, 32) |
| "rs6000" => ("RS6000", false, 32) |
21 |
| "rs6000" => ("RS6000", NONE, false, 32) |
| "ppc" => ("PPC", false, 32) |
|
| "ppc" => ("PPC", NONE, false, 32) |
|
22 |
| arch => GenericVC.ErrorMsg.impossible |
| arch => GenericVC.ErrorMsg.impossible |
23 |
("unknown architecture: " ^ arch) |
("unknown architecture: " ^ arch) |
24 |
in |
in |
25 |
val env = |
val env = |
26 |
SymVal.default { arch = arch, |
SymVal.default { arch = arch, |
|
extra_arch = extra_arch, |
|
27 |
big = big, |
big = big, |
28 |
size = size, |
size = size, |
29 |
os = os, |
os = os, |