Модуль Config_main

module Config_main: sig .. end

Настройка системы

Предупреждение: этот модуль нестабилен и является частью compiler-libs.

val version : string

Текущий номер версии системы

val bindir : string

Директория, содержащая двоичные программы

val standard_library : string

Директория, содержащая стандартные библиотеки

val ccomp_type : string

«Тип» используемого компилятора C, ассемблера и линковщика: один из «cc» (для компиляторов C в стиле Unix), «msvc» (для Microsoft Visual C++ и MASM)

val c_compiler : string

Компилятор для компиляции файлов C

val c_output_obj : string

Имя опции компилятора C для указания выходного файла

val c_has_debug_prefix_map : bool

Поддерживает ли компилятор C -fdebug-prefix-map

val as_has_debug_prefix_map : bool

Поддерживает ли ассемблер --debug-prefix-map

val ocamlc_cflags : string

Флаги, которые ocamlc должен передать компилятору C

val ocamlc_cppflags : string

Флаги, которые ocamlc должен передать препроцессору C

val ocamlopt_cflags : string

Устарело. Config_main.ocamlc_cflags следует использовать вместо него. Флаги, которые ocamlopt должен передать компилятору C

val ocamlopt_cppflags : string

Устарело. Config_main.ocamlc_cppflags следует использовать вместо него. Флаги, которые ocamlopt должен передать препроцессору C

val bytecomp_c_libraries : string

Библиотеки C для связывания с пользовательскими runtimes

val native_c_libraries : string

Библиотеки C для связывания с программами нативного кода

val native_ldflags : string

val native_pack_linker : string

Линковщик для использования при пакетировании (ocamlopt -pack) и частичных ссылках (ocamlopt -output-obj).

val mkdll : string

Командная строка линковщика для построения динамических библиотек.

val mkexe : string

Командная строка линковщика для построения исполняемых файлов.

val mkmaindll : string

Командная строка линковщика для построения основных программ как DLL.

val default_rpath : string

Опция добавления директории для поиска библиотек во время выполнения (используется ocamlmklib)

val mksharedlibrpath : string

Опция добавления директории для поиска общих библиотек во время выполнения (используется ocamlmklib)

val ar : string

Имя команды ar или «» если не нужно (MSVC)

val interface_suffix : string ref

Суффикс для имён файлов интерфейса

val exec_magic_number : string

Магическое число для исполняемых файлов байткода

val cmi_magic_number : string

Магическое число для скомпилированных файлов интерфейса

val cmo_magic_number : string

Магическое число для файлов байткода объектов

val cma_magic_number : string

Магическое число для файлов архивов

val cmx_magic_number : string

Магическое число для описаний единиц компиляции

val cmxa_magic_number : string

Магическое число для библиотек описаний единиц компиляции

val ast_intf_magic_number : string

Магическое число для файла, содержащего синтаксическое дерево интерфейса

val ast_impl_magic_number : string

Магическое число для файла, содержащего синтаксическое дерево реализации

val cmxs_magic_number : string

Магическое число для динамически загружаемых плагинов

val cmt_magic_number : string

Магическое число для скомпилированных файлов интерфейса

val linear_magic_number : string

Магическое число для файлов линейной внутренней репрезентации

val max_tag : int

Наибольший тег, который может быть сохранён в заголовке обычного блока.

val lazy_tag : int

Обычно совпадает с Obj.lazy_tag. Отдельное определение из-за технических причин для загрузки.

val max_young_wosize : int

Максимальный размер массивов, которые непосредственно выделены в малой куче

val stack_threshold : int

Размер в словах безопасной зоны в нижней части стека ВМ, см. runtime/caml/config.h

val stack_safety_margin : int

Размер в словах защитного зазора между нижней частью стека и указателем стека. Этот зазор может использоваться промежуточными вычислениями некоторых инструкций или обработчиком событий.

val native_compiler : bool

Доступен ли нативный компилятор или нет

С 5.1

val architecture : string

Имя типа процессора для компилятора нативного кода

val model : string

Имя подмодели процессора для компилятора нативного кода

val system : string

Имя операционной системы для компилятора нативного кода

val asm : string

Ассемблер (и флаги) для сборки кода, сгенерированного ocamlopt.

val asm_cfi_supported : bool

Поддерживает ли ассемблер директивы CFI

val with_frame_pointers : bool

Должен ли ассемблер поддерживать указатели на кадры стека

val ext_obj : string

Расширение для файлов объектов, например .o в Unix.

val ext_asm : string

Расширение для файлов ассемблера, например .s в Unix.

val ext_lib : string

Расширение для файлов библиотек, например .a в Unix.

val ext_dll : string

Расширение для динамически загружаемых библиотек, например .so в Unix.

val ext_exe : string

Расширение для исполняемых файлов, например .exe в Windows.

С 4.12

val default_executable_name : string

Имя исполняемого файла, созданного при линковке, если не задано с помощью -o, например a.out в Unix.

val systhread_supported : bool

Реализована ли системная библиотека потоков

val flexdll_dirs : string list

Необходимые каталоги для объектов FlexDLL

val host : string

Является ли компилятор кросс-компилятором

val target : string

Является ли компилятор кросс-компилятором

val flambda : bool

Настроен ли компилятор для flambda

val with_flambda_invariants : bool

Включены ли проверки инвариантов для flambda

val with_cmm_invariants : bool

Включены ли проверки инвариантов для Cmm

val reserved_header_bits : int

Сколько бит заголовка блока зарезервировано

val flat_float_array : bool

Автоматически ли компилятор и runtime сглаживают массивы с плавающей точкой

val function_sections : bool

Настроен ли компилятор на генерацию каждой функции в отдельном разделе

val windows_unicode : bool

Включен ли Windows Unicode runtime

val naked_pointers : bool

Поддерживает ли runtime голые указатели

С 4.14

val supports_shared_libraries : bool

Поддерживаются ли общие библиотеки

С 4.08

val native_dynlink : bool

Поддерживаются ли нативные общие библиотеки

С 5.1

val afl_instrument : bool

По умолчанию генерируется ли инструментарий afl-fuzz

val ar_supports_response_files : bool

Поддерживает ли ar аргументы @FILE

val tsan : bool

Включена ли инструментация ThreadSanitizer

val print_config : out_channel -> unit

Доступ к значениям конфигурации

val config_var : string -> string option

Значение конфигурации переменной, если она существует