module Fc_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.
Since 18.0-Argon
val version_and_codename : string
Frama-C version and codename.
Since 18.0-Argon
val major_version : int
Frama-C major version number.
Since 19.0-Potassium
val minor_version : int
Frama-C minor version number.
Since 19.0-Potassium
val is_gui : bool Pervasives.ref
Is the Frama-C GUI running?
Since Beryllium-20090601-beta1
val lablgtk : string
Name of the lablgtk version against which Frama-C has been compiled.
blank if only command-line mode is available.
val ocamlc : string
Name of the bytecode compiler.
Since Boron-20100401
val ocamlopt : string
Name of the native compiler.
Since Boron-20100401
val ocaml_wflags : string
Warning flags used when compiling Frama-C.
Since Chlorine-20180501
val datadir : string
Directory where architecture independent files are.
Main directory, use
Fc_config.datadirs
for the others
val datadirs : string list
Directories where architecture independent files are in order of
priority.
Since 19.0-Potassium
val framac_libc : string
Directory where Frama-C libc headers are.
Since 19.0-Potassium
val libdir : string
Directory where the Frama-C kernel library is.
Since Beryllium-20090601-beta1
val plugin_dir : string list
Directory where the Frama-C dynamic plug-ins are.
Change in Magnesium-20151001
val plugin_path : string
The coma-separated concatenation of plugin_dir
.
Since Magnesium-20151001
val compilation_unit_names : string list
List of names of all kernel compilation units.
Since Boron-20100401
val library_names : string list
List of linked libraries.
Since Magnesium-20151001
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."
Since Oxygen-20120901
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.
Since Phosphorus-20170501-beta1
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.
Since Sodium-20150201
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.
Since Phosphorus-20170501-beta1
: bool
true
if the default preprocessor selected during compilation is
able to keep comments (hence ACSL annotations) in its output.
Since Neon-rc3
val dot : string option
Dot command name.
Since Carbon-20101201
Returns None
if `dot' is not installed.