Module Config


module Config: sig .. end
Information about version of Frama-C.

The body of this module is generated from Makefile.in.
Consult the Plugin Development Guide for additional details.


val version : string
Version identifier.
val date : string
Compilation date.
val is_gui : bool Pervasives.ref
Is the Frama-C GUI running?
Since Beryllium-20090601-beta1
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
Directory where the Frama-C dynamic plug-ins are.
Since Beryllium-20090601-beta1
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.