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 is_gui : bool Pervasives.ref
Is the Frama-C GUI running?
Since Beryllium-20090601-beta1
val ocamlc : string
Name of the bytecode compiler.
Since Boron-20100401
val ocamlopt : string
Name of the native compiler.
Since Boron-20100401
val datadir : string
Directory where architecture independent files are.
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.
val plugin_path : string
The coma-separated concatenation of plugin_dir.
Since Magnesium-20151001
val static_plugins : string list
Plug-ins statically linked within Frama-C.
val static_gui_plugins : string list
GUI of plug-ins statically linked within Frama-C.
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 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_keep_comments : 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.