782 lines
9.1 KiB
HTML
782 lines
9.1 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of Config</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>Config</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
Config - System configuration
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module</H2>
|
|
|
|
Module Config
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module
|
|
<B>Config</B>
|
|
|
|
<BR> :
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
System configuration
|
|
<P>
|
|
Warning: this module is unstable and part of
|
|
<B>Compiler_libs</B>
|
|
|
|
.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val version </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The current version number of the system
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val standard_library </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The directory containing the standard libraries
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ccomp_type </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The "kind" of the C compiler, assembler and linker used: one of
|
|
"cc" (for Unix-style C compilers)
|
|
"msvc" (for Microsoft Visual C++ and MASM)
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val c_compiler </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The compiler to use for compiling C files
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val c_output_obj </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Name of the option of the C compiler for specifying the output
|
|
file
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val c_has_debug_prefix_map </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the C compiler supports -fdebug-prefix-map
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val as_has_debug_prefix_map </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the assembler supports --debug-prefix-map
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ocamlc_cflags </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The flags ocamlc should pass to the C compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ocamlc_cppflags </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The flags ocamlc should pass to the C preprocessor
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ocamlopt_cflags </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The flags ocamlopt should pass to the C compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ocamlopt_cppflags </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The flags ocamlopt should pass to the C preprocessor
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val bytecomp_c_libraries </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The C libraries to link with custom runtimes
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val native_c_libraries </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The C libraries to link with native-code programs
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val native_pack_linker </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The linker to use for packaging (ocamlopt -pack) and for partial
|
|
links (ocamlopt -output-obj).
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mkdll </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The linker command line to build dynamic libraries.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mkexe </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The linker command line to build executables.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mkmaindll </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The linker command line to build main programs as dlls.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ranlib </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Command to randomize a library, or "" if not needed
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ar </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Name of the ar command, or "" if not needed (MSVC)
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cc_profile </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The command line option to the C compiler to enable profiling.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val interface_suffix </I>
|
|
|
|
:
|
|
<B>string ref</B>
|
|
|
|
<P>
|
|
Suffix for interface file names
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val exec_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for bytecode executable files
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cmi_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for compiled interface files
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cmo_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for object bytecode files
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cma_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for archive files
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cmx_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for compilation unit descriptions
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cmxa_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for libraries of compilation unit descriptions
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ast_intf_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for file holding an interface syntax tree
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ast_impl_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for file holding an implementation syntax tree
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cmxs_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for dynamically-loadable plugins
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val cmt_magic_number </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Magic number for compiled interface files
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max_tag </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
Biggest tag that can be stored in the header of a regular block.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val lazy_tag </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
Normally the same as Obj.lazy_tag. Separate definition because
|
|
of technical reasons for bootstrapping.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val max_young_wosize </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
Maximal size of arrays that are directly allocated in the
|
|
minor heap
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val stack_threshold </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
Size in words of safe area at bottom of VM stack,
|
|
see runtime/caml/config.h
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val stack_safety_margin </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
Size in words of the safety margin between the bottom of
|
|
the stack and the stack pointer. This margin can be used by
|
|
intermediate computations of some instructions, or the event
|
|
handler.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val architecture </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Name of processor type for the native-code compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val model </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Name of processor submodel for the native-code compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val system </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Name of operating system for the native-code compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val asm </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
The assembler (and flags) to use for assembling
|
|
ocamlopt-generated code.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val asm_cfi_supported </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether assembler understands CFI directives
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val with_frame_pointers </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether assembler should maintain frame pointers
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ext_obj </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Extension for object files, e.g.
|
|
<B>.o</B>
|
|
|
|
under Unix.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ext_asm </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Extension for assembler files, e.g.
|
|
<B>.s</B>
|
|
|
|
under Unix.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ext_lib </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Extension for library files, e.g.
|
|
<B>.a</B>
|
|
|
|
under Unix.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val ext_dll </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Extension for dynamically-loaded libraries, e.g.
|
|
<B>.so</B>
|
|
|
|
under Unix.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val default_executable_name </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Name of executable produced by linking if none is given with -o,
|
|
e.g.
|
|
<B>a.out</B>
|
|
|
|
under Unix.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val systhread_supported </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the system thread library is implemented
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val flexdll_dirs </I>
|
|
|
|
:
|
|
<B>string list</B>
|
|
|
|
<P>
|
|
Directories needed for the FlexDLL objects
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val host </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Whether the compiler is a cross-compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val target </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Whether the compiler is a cross-compiler
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val profiling </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether profiling with gprof is supported on this platform
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val flambda </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the compiler was configured for flambda
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val with_flambda_invariants </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the invariants checks for flambda are enabled
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val spacetime </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the compiler was configured for Spacetime profiling
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val enable_call_counts </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether call counts are to be available when Spacetime profiling
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val profinfo </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the compiler was configured for profiling
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val profinfo_width </I>
|
|
|
|
:
|
|
<B>int</B>
|
|
|
|
<P>
|
|
How many bits are to be used in values' headers for profiling
|
|
information
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val libunwind_available </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the libunwind library is available on the target
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val libunwind_link_flags </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
Linker flags to use libunwind
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val safe_string </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the compiler was configured with -force-safe-string;
|
|
in that case, the -unsafe-string compile-time option is unavailable
|
|
<P>
|
|
<P>
|
|
<B>Since</B>
|
|
|
|
4.05.0
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val default_safe_string </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the compiler was configured to use the -safe-string
|
|
or -unsafe-string compile-time option by default.
|
|
<P>
|
|
<P>
|
|
<B>Since</B>
|
|
|
|
4.06.0
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val flat_float_array </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether the compiler and runtime automagically flatten float
|
|
arrays
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val windows_unicode </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether Windows Unicode runtime is enabled
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val supports_shared_libraries </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether shared libraries are supported
|
|
<P>
|
|
<P>
|
|
<B>Since</B>
|
|
|
|
4.08.0
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val afl_instrument </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
Whether afl-fuzz instrumentation is generated by default
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val print_config </I>
|
|
|
|
:
|
|
<B>out_channel -> unit</B>
|
|
|
|
<P>
|
|
Access to configuration values
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val config_var </I>
|
|
|
|
:
|
|
<B>string -> string option</B>
|
|
|
|
<P>
|
|
the configuration value of a variable, if it exists
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:38 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|