Frama-C API - 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 preprocessing 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.