2017-07-21 07:43:36 -07:00
|
|
|
(**************************************************************************)
|
|
|
|
(* *)
|
|
|
|
(* OCaml *)
|
|
|
|
(* *)
|
|
|
|
(* Sebastien Hinderer, projet Gallium, INRIA Paris *)
|
|
|
|
(* *)
|
|
|
|
(* Copyright 2017 Institut National de Recherche en Informatique et *)
|
|
|
|
(* en Automatique. *)
|
|
|
|
(* *)
|
|
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
|
|
(* *)
|
|
|
|
(**************************************************************************)
|
|
|
|
|
|
|
|
(* Interface for ocamltest's configuration module *)
|
|
|
|
|
2017-09-22 01:08:56 -07:00
|
|
|
val arch : string
|
|
|
|
(** Architecture for the native compiler, "none" if it is disabled *)
|
|
|
|
|
2018-02-14 01:48:59 -08:00
|
|
|
val afl_instrument : bool
|
2018-02-05 05:05:47 -08:00
|
|
|
(** Whether AFL support has been enabled in the compiler *)
|
|
|
|
|
2018-04-27 02:09:48 -07:00
|
|
|
val asm : string
|
|
|
|
(** Path to the assembler*)
|
|
|
|
|
|
|
|
val cc : string
|
|
|
|
(** Path to the C compiler*)
|
|
|
|
|
|
|
|
val cflags : string
|
|
|
|
(** Flags to pass to the C compiler *)
|
|
|
|
|
|
|
|
val ccomptype : string
|
|
|
|
(** Type of C compiler (msvc, cc, etc.) *)
|
|
|
|
|
2018-01-22 07:38:44 -08:00
|
|
|
val shared_libraries : bool
|
|
|
|
(** [true] if shared libraries are supported, [false] otherwise *)
|
|
|
|
|
2018-09-19 03:41:59 -07:00
|
|
|
val libunix : bool option
|
|
|
|
(** [Some true] for unix, [Some false] for win32unix, or [None] if neither is
|
|
|
|
built. *)
|
2017-10-09 04:51:25 -07:00
|
|
|
|
2018-09-19 03:44:17 -07:00
|
|
|
val systhreads : bool
|
|
|
|
(** Indicates whether systhreads is available. *)
|
|
|
|
|
|
|
|
val str : bool
|
|
|
|
(** Indicates whether str is available. *)
|
|
|
|
|
2018-04-10 09:24:07 -07:00
|
|
|
val objext : string
|
|
|
|
(** Extension of object files *)
|
|
|
|
|
2019-09-13 04:01:31 -07:00
|
|
|
val asmext : string
|
|
|
|
(** Extension of assembly files *)
|
|
|
|
|
2018-02-05 05:48:56 -08:00
|
|
|
val system : string
|
|
|
|
(** The content of the SYSTEM Make variable *)
|
|
|
|
|
2017-07-21 07:43:36 -07:00
|
|
|
val c_preprocessor : string
|
|
|
|
(** Command to use to invoke the C preprocessor *)
|
|
|
|
|
|
|
|
val ocamlc_default_flags : string
|
|
|
|
(** Flags passed by default to ocamlc.byte and ocamlc.opt *)
|
|
|
|
|
|
|
|
val ocamlopt_default_flags : string
|
|
|
|
(** Flags passed by default to ocamlopt.byte and ocamlopt.opt *)
|
|
|
|
|
|
|
|
val ocamlsrcdir : string
|
|
|
|
(** The absolute path of the directory containing the sources of OCaml *)
|
|
|
|
|
|
|
|
val flambda : bool
|
|
|
|
(** Whether flambda has been enabled at configure time *)
|
|
|
|
|
|
|
|
val safe_string : bool
|
|
|
|
(** Whether the compiler was configured with -safe-string *)
|
2017-12-08 08:47:50 -08:00
|
|
|
|
|
|
|
val flat_float_array : bool
|
|
|
|
(* Whether the compiler was configured with -flat-float-array *)
|
2018-03-05 02:09:57 -08:00
|
|
|
|
2018-03-16 00:25:17 -07:00
|
|
|
val ocamldoc : bool
|
2018-03-05 02:09:57 -08:00
|
|
|
(** Whether ocamldoc has been enabled at configure time *)
|
2018-03-16 00:25:17 -07:00
|
|
|
|
|
|
|
val ocamldebug : bool
|
|
|
|
(** Whether ocamldebug has been enabled at configure time *)
|
2018-04-12 00:58:19 -07:00
|
|
|
|
|
|
|
val native_dynlink : bool
|
|
|
|
(** Whether support for native dynlink is available or not *)
|
2018-04-16 01:55:31 -07:00
|
|
|
|
|
|
|
val shared_library_cflags : string
|
|
|
|
(** Flags to use when compiling a C object for a shared library *)
|
2018-04-16 07:42:12 -07:00
|
|
|
|
|
|
|
val sharedobjext : string
|
|
|
|
(** Extension of shared object files *)
|
2018-04-17 09:57:05 -07:00
|
|
|
|
|
|
|
val csc : string
|
|
|
|
(** Path of the CSharp compiler, empty if not available *)
|
|
|
|
|
|
|
|
val csc_flags : string
|
|
|
|
(** Flags for the CSharp compiler *)
|
2018-04-18 09:25:03 -07:00
|
|
|
|
2020-06-17 00:08:18 -07:00
|
|
|
val exe : string
|
|
|
|
(** Extension of executable files *)
|
|
|
|
|
2018-04-18 09:25:03 -07:00
|
|
|
val mkdll : string
|
2018-04-20 05:49:35 -07:00
|
|
|
val mkexe : string
|
2018-04-18 09:25:03 -07:00
|
|
|
|
|
|
|
val bytecc_libs : string
|
|
|
|
|
|
|
|
val nativecc_libs : string
|
2018-04-19 01:12:22 -07:00
|
|
|
|
|
|
|
val windows_unicode : bool
|
2019-06-26 03:28:58 -07:00
|
|
|
|
|
|
|
val function_sections : bool
|
|
|
|
(** Whether the compiler was configured to generate
|
|
|
|
each function in a separate section *)
|
2019-11-15 04:52:35 -08:00
|
|
|
|
|
|
|
val has_instrumented_runtime : bool
|
|
|
|
(** Whether the instrumented runtime is available *)
|
2020-06-14 02:24:53 -07:00
|
|
|
|
|
|
|
val naked_pointers : bool
|
|
|
|
(** Whether the runtime system supports naked pointers outside the heap *)
|