package / ocaml-base-compiler.4.10.0 / ocamltest / ocamltest_config.mli
1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Sebastien Hinderer, projet Gallium, INRIA Paris *)
6 (* *)
7 (* Copyright 2017 Institut National de Recherche en Informatique et *)
8 (* en Automatique. *)
9 (* *)
10 (* All rights reserved. This file is distributed under the terms of *)
11 (* the GNU Lesser General Public License version 2.1, with the *)
12 (* special exception on linking described in the file LICENSE. *)
13 (* *)
14 (**************************************************************************)
15
16 (* Interface for ocamltest's configuration module *)
17
18 val arch : string
19 (** Architecture for the native compiler, "none" if it is disabled *)
20
21 val afl_instrument : bool
22 (** Whether AFL support has been enabled in the compiler *)
23
24 val asm : string
25 (** Path to the assembler*)
26
27 val cc : string
28 (** Path to the C compiler*)
29
30 val cflags : string
31 (** Flags to pass to the C compiler *)
32
33 val ccomptype : string
34 (** Type of C compiler (msvc, cc, etc.) *)
35
36 val shared_libraries : bool
37 (** [true] if shared libraries are supported, [false] otherwise *)
38
39 val libunix : bool option
40 (** [Some true] for unix, [Some false] for win32unix, or [None] if neither is
41 built. *)
42
43 val systhreads : bool
44 (** Indicates whether systhreads is available. *)
45
46 val str : bool
47 (** Indicates whether str is available. *)
48
49 val objext : string
50 (** Extension of object files *)
51
52 val system : string
53 (** The content of the SYSTEM Make variable *)
54
55 val c_preprocessor : string
56 (** Command to use to invoke the C preprocessor *)
57
58 val ocamlc_default_flags : string
59 (** Flags passed by default to ocamlc.byte and ocamlc.opt *)
60
61 val ocamlopt_default_flags : string
62 (** Flags passed by default to ocamlopt.byte and ocamlopt.opt *)
63
64 val ocamlsrcdir : string
65 (** The absolute path of the directory containing the sources of OCaml *)
66
67 val flambda : bool
68 (** Whether flambda has been enabled at configure time *)
69
70 val spacetime : bool
71 (** Whether Spacetime profiling has been enabled at configure time *)
72
73 val safe_string : bool
74 (** Whether the compiler was configured with -safe-string *)
75
76 val flat_float_array : bool
77 (* Whether the compiler was configured with -flat-float-array *)
78
79 val ocamldoc : bool
80 (** Whether ocamldoc has been enabled at configure time *)
81
82 val ocamldebug : bool
83 (** Whether ocamldebug has been enabled at configure time *)
84
85 val native_dynlink : bool
86 (** Whether support for native dynlink is available or not *)
87
88 val shared_library_cflags : string
89 (** Flags to use when compiling a C object for a shared library *)
90
91 val sharedobjext : string
92 (** Extension of shared object files *)
93
94 val csc : string
95 (** Path of the CSharp compiler, empty if not available *)
96
97 val csc_flags : string
98 (** Flags for the CSharp compiler *)
99
100 val mkdll : string
101 val mkexe : string
102
103 val bytecc_libs : string
104
105 val nativecc_libs : string
106
107 val windows_unicode : bool
108
109 val function_sections : bool
110 (** Whether the compiler was configured to generate
111 each function in a separate section *)
112