Модуль Config_boot

module Config_boot: 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_boot.ocamlc_cflags следует использовать вместо этого. Флаги, которые ocamlopt должен передать C-компилятору

val ocamlopt_cppflags : string

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

val bytecomp_c_libraries : string

C-библиотеки для связи с пользовательскими запусками

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

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

val function_sections : bool

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

val windows_unicode : bool

Включена ли среда выполнения Windows Unicode

val naked_pointers : bool

Поддерживает ли среда выполнения голые указатели

С 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

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