1Config(3) OCaml library Config(3)
2
6 Config - System configuration
7
9 Module Config
10
12 Module Config
13 : sig end
14 System configuration
17 Warning: this module is unstable and part of Compiler_libs .
19 val version : string
26 The current version number of the system
28 val standard_library : string
32 The directory containing the standard libraries
34 val ccomp_type : string
38 The "kind" of the C compiler, assembler and linker used: one of "cc"
40 (for Unix-style C compilers) "msvc" (for Microsoft Visual C++ and MASM)
41 val c_compiler : string
45 The compiler to use for compiling C files
47 val c_output_obj : string
51 Name of the option of the C compiler for specifying the output file
53 val c_has_debug_prefix_map : bool
57 Whether the C compiler supports -fdebug-prefix-map
59 val as_has_debug_prefix_map : bool
63 Whether the assembler supports --debug-prefix-map
65 val ocamlc_cflags : string
69 The flags ocamlc should pass to the C compiler
71 val ocamlc_cppflags : string
75 The flags ocamlc should pass to the C preprocessor
77 val ocamlopt_cflags : string
81 Deprecated.
83 Config.ocamlc_cflags should be used instead. The flags ocamlopt should
85 pass to the C compiler
86 val ocamlopt_cppflags : string
90 Deprecated.
92 Config.ocamlc_cppflags should be used instead. The flags ocamlopt
94 should pass to the C preprocessor
95 val bytecomp_c_libraries : string
99 The C libraries to link with custom runtimes
101 val native_c_libraries : string
105 The C libraries to link with native-code programs
107 val native_pack_linker : string
111 The linker to use for packaging (ocamlopt -pack) and for partial links
113 (ocamlopt -output-obj).
114 val mkdll : string
118 The linker command line to build dynamic libraries.
120 val mkexe : string
124 The linker command line to build executables.
126 val mkmaindll : string
130 The linker command line to build main programs as dlls.
132 val ranlib : string
136 Command to randomize a library, or "" if not needed
138 val ar : string
142 Name of the ar command, or "" if not needed (MSVC)
144 val interface_suffix : string ref
148 Suffix for interface file names
150 val exec_magic_number : string
154 Magic number for bytecode executable files
156 val cmi_magic_number : string
160 Magic number for compiled interface files
162 val cmo_magic_number : string
166 Magic number for object bytecode files
168 val cma_magic_number : string
172 Magic number for archive files
174 val cmx_magic_number : string
178 Magic number for compilation unit descriptions
180 val cmxa_magic_number : string
184 Magic number for libraries of compilation unit descriptions
186 val ast_intf_magic_number : string
190 Magic number for file holding an interface syntax tree
192 val ast_impl_magic_number : string
196 Magic number for file holding an implementation syntax tree
198 val cmxs_magic_number : string
202 Magic number for dynamically-loadable plugins
204 val cmt_magic_number : string
208 Magic number for compiled interface files
210 val linear_magic_number : string
214 Magic number for Linear internal representation files
216 val max_tag : int
220 Biggest tag that can be stored in the header of a regular block.
222 val lazy_tag : int
226 Normally the same as Obj.lazy_tag. Separate definition because of
228 technical reasons for bootstrapping.
229 val max_young_wosize : int
233 Maximal size of arrays that are directly allocated in the minor heap
235 val stack_threshold : int
239 Size in words of safe area at bottom of VM stack, see runtime/caml/con‐
241 fig.h
242 val stack_safety_margin : int
246 Size in words of the safety margin between the bottom of the stack and
248 the stack pointer. This margin can be used by intermediate computations
249 of some instructions, or the event handler.
250 val architecture : string
254 Name of processor type for the native-code compiler
256 val model : string
260 Name of processor submodel for the native-code compiler
262 val system : string
266 Name of operating system for the native-code compiler
268 val asm : string
272 The assembler (and flags) to use for assembling ocamlopt-generated
274 code.
275 val asm_cfi_supported : bool
279 Whether assembler understands CFI directives
281 val with_frame_pointers : bool
285 Whether assembler should maintain frame pointers
287 val ext_obj : string
291 Extension for object files, e.g. .o under Unix.
293 val ext_asm : string
297 Extension for assembler files, e.g. .s under Unix.
299 val ext_lib : string
303 Extension for library files, e.g. .a under Unix.
305 val ext_dll : string
309 Extension for dynamically-loaded libraries, e.g. .so under Unix.
311 val ext_exe : string
315 Extension for executable programs, e.g. .exe under Windows.
317 Since 4.12.0
320 val default_executable_name : string
324 Name of executable produced by linking if none is given with -o, e.g.
326 a.out under Unix.
327 val systhread_supported : bool
331 Whether the system thread library is implemented
333 val flexdll_dirs : string list
337 Directories needed for the FlexDLL objects
339 val host : string
343 Whether the compiler is a cross-compiler
345 val target : string
349 Whether the compiler is a cross-compiler
351 val flambda : bool
355 Whether the compiler was configured for flambda
357 val with_flambda_invariants : bool
361 Whether the invariants checks for flambda are enabled
363 val profinfo : bool
367 Whether the compiler was configured for profiling
369 val profinfo_width : int
373 How many bits are to be used in values' headers for profiling informa‐
375 tion
376 val safe_string : bool
380 Whether the compiler was configured with -force-safe-string; in that
382 case, the -unsafe-string compile-time option is unavailable
383 Since 4.05.0
386 val default_safe_string : bool
390 Whether the compiler was configured to use the -safe-string or -un‐
392 safe-string compile-time option by default.
393 Since 4.06.0
396 val flat_float_array : bool
400 Whether the compiler and runtime automagically flatten float arrays
402 val function_sections : bool
406 Whether the compiler was configured to generate each function in a sep‐
408 arate section
409 val windows_unicode : bool
413 Whether Windows Unicode runtime is enabled
415 val supports_shared_libraries : bool
419 Whether shared libraries are supported
421 Since 4.08.0
424 val afl_instrument : bool
428 Whether afl-fuzz instrumentation is generated by default
430 val print_config : out_channel -> unit
434 Access to configuration values
436 val config_var : string -> string option
440 the configuration value of a variable, if it exists
442OCamldoc 2021-07-22 Config(3)