blob: 483de0b5152b5e9dcf1265c9ad10ec0bd7fd82c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(* System configuration *)
val version: string
(* The current version number of the system *)
val standard_library: string
(* The directory containing the standard libraries *)
val c_compiler: string
(* The C compiler to use for custom runtime mode *)
val c_libraries: string
(* The C libraries to link with custom runtimes *)
val load_path: string list ref
(* Directories in the search path for .cmi and .cmo files *)
val exec_magic_number: string
(* Magic number for bytecode executable files *)
val cmi_magic_number: string
(* Magic number for compiled interface files *)
val cmo_magic_number: string
(* Magic number for object bytecode files *)
val cma_magic_number: string
(* Magic number for archive files *)
val max_tag: int
(* Biggest tag that can be stored in the header of a block. *)
|
