Module Config

module Config: sig .. end

Information about version of Frama-C. The body of this module is generated from Makefile.


val version : string

Frama-C Version identifier.

val codename : string

Frama-C version codename.

val version_and_codename : string

Frama-C version and codename.

val major_version : int

Frama-C major version number.

val minor_version : int

Frama-C minor version number.

val is_gui : bool Stdlib.ref

Is the Frama-C GUI running?

val ocamlc : string

Name of the bytecode compiler.

val ocamlopt : string

Name of the native compiler.

val ocaml_wflags : string

Warning flags used when compiling Frama-C.

val datadir : string

Directory where architecture independent files are. Main directory, use Config.datadirs for the others

val datadirs : string list

Directories where architecture independent files are in order of priority.

val framac_libc : string

Directory where Frama-C libc headers are.

val libdir : string

Directory where the Frama-C kernel library is.

val plugin_dir : string list

Directory where the Frama-C dynamic plug-ins are.

val plugin_path : string

The coma-separated concatenation of plugin_dir.

val compilation_unit_names : string list

List of names of all kernel compilation units.

val library_names : string list

List of linked libraries.

val preprocessor : string

Name of the default command to call the preprocessor. If the CPP environment variable is set, use it else use the built-in default from autoconf. Usually this is "gcc -C -E -I."

val using_default_cpp : bool

whether the preprocessor command is the one defined at configure time or the result of taking a CPP environment variable, in case it differs from the configure-time command.

val preprocessor_is_gnu_like : bool

whether the default preprocessor accepts the same options as gcc (i.e. is either gcc or clang), when this is the case, the default command line for pre-processing contains more options.

val preprocessor_supported_arch_options : string list

architecture-related options (e.g. -m32) known to be supported by the default preprocessor. Used to match preprocessor commands to selected machdeps.

val preprocessor_keep_comments : bool

true if the default preprocessor selected during compilation is able to keep comments (hence ACSL annotations) in its output.

val dot : string option

Dot command name.