Frama_c_kernel.Fc_config
Information about version of Frama-C. The body of this module is generated from Makefile.
val datadirs : Filepath.Normalized.t list
Directories where architecture independent files are in order of priority.
val datadir : Filepath.Normalized.t
Last directory of datadirs (the directory of frama-c installation)
val framac_libc : Filepath.Normalized.t
Directory where Frama-C libc headers are.
val libdirs : Filepath.Normalized.t list
Directories where library and executable files are, in order of priority.
val libdir : Filepath.Normalized.t
Last directory of libdirs (the directory of frama-c installation)
val plugin_dir : Filepath.Normalized.t list
Directory where the Frama-C dynamic plug-ins are.
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."
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.
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.
architecture-related options (e.g. -m32) known to be supported by the default preprocessor. Used to match preprocessor commands to selected machdeps.