Module Config_main

System configuration

Warning: this module is unstable and part of compiler-libs.

val version : string

The current version number of the system

val release_number : int

The release number for the compiler

  • since 5.5
val is_official_release : bool

True if the compiler is an unmodified official OCaml release

  • since 5.5
val bindir : string

The directory containing the binary programs. If the compiler was configured with --with-relative-libdir then this will be the directory containing the currently executing runtime.

val standard_library_relative : string option

The explicit relative path from the compiler binaries to the standard libraries directory if the compiler was configured with --with-relative-libdir, or None otherwise.

  • since 5.5
val target_bindir : string

The directory containing the runtime binaries on the target system

  • since 5.5
val standard_library_default : string

The effective value for the default directory containing the standard libraries. This is always an absolute path, computed using standard_library_relative if necessary.

  • since 5.5
val standard_library : string

The effective directory containing the standard libraries, taking CAMLLIB and OCAMLLIB into account.

val ccomp_type : string

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)

val c_compiler : string

The compiler to use for compiling C files

val c_compiler_vendor : string

The vendor and version of the C compiler. Consists of hyphenated values where the first part indicates the C compiler's vendor and remaining parts indicate the version of the C compiler, as reported by that C compiler's preprocessor.

Possible values are:

  • msvc

  • Windows, using Microsoft Visual Studio. 

    _MSC_VER

    follows and optionally 

    clang-

    if 

    clang-cl

    , rather than Visual Studio itself, is in use.

  • icc
  • Intel C Compiler.
  • mingw

  • Windows, using the mingw-w64 project. The major and minor version of mingw-w64 itself follow and then either

    gcc-

    or 

    clang-

    indicating which C compiler is in use.

  • clang
  • Clang LLVM C Compiler.
  • gcc
  • GNU Compiler Collection C Compiler.
  • xlc
  • IBM XL C Compiler.
  • sunc
  • Oracle Solaris Studio.
  • unknown
  • unknown compiler vendor. No additional version info.
  • since 5.5
val c_output_obj : string

Name of the option of the C compiler for specifying the output file

val c_has_debug_prefix_map : bool

Whether the C compiler supports -fdebug-prefix-map

val as_has_debug_prefix_map : bool

Whether the assembler supports --debug-prefix-map

val as_is_cc : bool

Whether the assembler is actually an assembler, or whether we are really assembling files via the C compiler

  • since 5.5
val bytecode_cflags : string

The flags ocamlc should pass to the C compiler

val bytecode_cppflags : string

The flags ocamlc should pass to the C preprocessor

val native_cflags : string

The flags ocamlopt should pass to the C compiler

val native_cppflags : string

The flags ocamlopt should pass to the C preprocessor

val bytecomp_c_libraries : string

The C libraries to link with custom runtimes

val native_c_libraries : string

The C libraries to link with native-code programs

val compression_c_libraries : string

The C libraries needed with -lcomprmarsh (should appear before native_c_libraries in a call to the C compiler)

  • since 5.4
val native_ldflags : string
val with_nonexecstack_note : bool

Whether an explicit ".note.GNU-stack" section is to be added to indicate the stack should not be executable

  • since 5.4
val native_pack_linker : string

The linker to use for packaging (ocamlopt -pack) and for partial links (ocamlopt -output-obj).

val mkdll : string

The linker command line to build dynamic libraries.

val mkexe : string

The linker command line to build executables.

val mkmaindll : string

The linker command line to build main programs as dlls.

val default_rpath : string

Option to add a directory to be searched for libraries at runtime (used by ocamlmklib)

val mksharedlibrpath : string

Option to add a directory to be searched for shared libraries at runtime (used by ocamlmklib)

val ar : string

Name of the ar command, or "" if not needed (MSVC)

val interface_suffix : string ref

Suffix for interface file names

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 cmx_magic_number : string

Magic number for compilation unit descriptions

val cmxa_magic_number : string

Magic number for libraries of compilation unit descriptions

val ast_intf_magic_number : string

Magic number for file holding an interface syntax tree

val ast_impl_magic_number : string

Magic number for file holding an implementation syntax tree

val cmxs_magic_number : string

Magic number for dynamically-loadable plugins

val cmt_magic_number : string

Magic number for compiled interface files

val linear_magic_number : string

Magic number for Linear internal representation files

val max_tag : int

Biggest tag that can be stored in the header of a regular block.

val lazy_tag : int

Normally the same as Obj.lazy_tag. Separate definition because of technical reasons for bootstrapping.

val max_young_wosize : int

Maximal size of arrays that are directly allocated in the minor heap

val stack_threshold : int

Size in words of safe area at bottom of VM stack, see runtime/caml/config.h

val stack_safety_margin : int

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.

val native_compiler : bool

Whether the native compiler is available or not

  • since 5.1
val architecture : string

Name of processor type for the native-code compiler

val model : string

Name of processor submodel for the native-code compiler

val system : string

Name of operating system for the native-code compiler

val target_os_type : string

Operating system targeted by the native-code compiler. One of

  • "Unix" (for all Unix versions, including Linux and macOS),
  • "Win32" (for MS-Windows, OCaml compiled with MSVC++ or MinGW-w64),
  • "Cygwin" (for MS-Windows, OCaml compiled with Cygwin).
  • since 5.4
val target_unix : bool

True if target_os_type = "Unix"

  • since 5.5
val target_win32 : bool

True if target_os_type = "Win32"

  • since 5.5
val target_cygwin : bool

True if target_os_type = "Cygwin"

  • since 5.5
val asm : string

The assembler (and flags) to use for assembling ocamlopt-generated code.

val asm_cfi_supported : bool

Whether assembler understands CFI directives

val asm_size_type_directives : bool

Whether the .size and .type assembler directives can be used

  • since 5.4
val asm_dwarf_version : int option

The DWARF Version emitted by the asm command. At present this is only implemented for the clang internal assembler, all other assemblers have None.

  • since 5.5
val with_frame_pointers : bool

Whether assembler should maintain frame pointers

val ext_obj : string

Extension for object files, e.g. .o under Unix.

val ext_asm : string

Extension for assembler files, e.g. .s under Unix.

val ext_lib : string

Extension for library files, e.g. .a under Unix.

val ext_dll : string

Extension for dynamically-loaded libraries, e.g. .so under Unix.

val ext_exe : string

Extension for executable programs, e.g. .exe under Windows.

  • since 4.12
val default_executable_name : string

Name of executable produced by linking if none is given with -o, e.g. a.out under Unix.

val systhread_supported : bool

Whether the system thread library is implemented

val flexdll_dirs : string list

Directories needed for the FlexDLL objects

val host : string

Whether the compiler is a cross-compiler

val target : string

Whether the compiler is a cross-compiler

val flambda : bool

Whether the compiler was configured for flambda

val with_flambda_invariants : bool

Whether the invariants checks for flambda are enabled

val with_cmm_invariants : bool

Whether the invariants checks for Cmm are enabled

val with_codegen_invariants : bool

Whether the invariant checks for native code generation are enabled.

val reserved_header_bits : int

How many bits of a block's header are reserved

val flat_float_array : bool

Whether the compiler and runtime automagically flatten float arrays

val align_double : bool

Whether the compiler and runtime need to align double values. If false, a floatarray value can be cast to a C array of doubles.

val align_int64 : bool

Whether the compiler and runtime need to align int64 values

val function_sections : bool

Whether the compiler was configured to generate each function in a separate section

val windows_unicode : bool

Whether Windows Unicode runtime is enabled

val naked_pointers : bool

Whether the runtime supports naked pointers

  • since 4.14
val supports_shared_libraries : bool

Whether shared libraries are supported

  • since 4.08

Whether native shared libraries are supported

  • since 5.1
val afl_instrument : bool

Whether afl-fuzz instrumentation is generated by default

val ar_supports_response_files : bool

Whether ar supports @FILE arguments.

val tsan : bool

Whether ThreadSanitizer instrumentation is enabled

type launch_method =
  1. | Executable
    (*

    Use the executable launcher stub

    *)
  2. | Shebang of string option
    (*

    Use a shebang-style launcher. Whenever possible, the interpreter will be the runtime itself, but if the path to the runtime is not valid for a shebang line, then a shell script is generated. When this is necessary, the parameter in Shebang (Some sh) is the full path to sh; if the parameter is None, then the linker searches PATH for sh.

    *)

Launch mechanisms for bytecode executables

  • since 5.5
val launch_method : launch_method

Default launch mechanism for bytecode executables

  • since 5.5
type search_method =
  1. | Disable
    (*

    Interpreter searching disabled - check fixed absolute location only

    *)
  2. | Fallback
    (*

    Check fixed absolute location first, but fall back to a search if that fails

    *)
  3. | Enable
    (*

    Always search for the interpreter

    *)

Mechanisms used by tendered bytecode executables to locate the interpreter

  • since 5.5
val search_method : search_method

Default search mechanism for bytecode executables

  • since 5.5
val shebangscripts : bool

Whether the target supports shebang scripts

  • since 5.5
val suffixing : bool

Whether the runtime executable and shared library filenames and C stub library filenames are being mangled with Runtime IDs and the target.

  • since 5.5
val bytecode_runtime_id : string

The Runtime ID for this build of the bytecode runtime system

  • since 5.5
val native_runtime_id : string

The Runtime ID for this build of the native runtime system

  • since 5.5
val print_config : out_channel -> unit

Access to configuration values

val config_var : string -> string option

the configuration value of a variable, if it exists