Configuration files contain detailed compiler emulation information, including type sizes, enabled language extensions, additional intrinsic procedures, checker enablement and reported impact. The configuration files contain metadata which supports selection among them using these criteria:
- platform
- The target hardware/OS for the compiler.
- vendor
- The organization that created or maintains the compiler.
- version
- The compiler version.
- level
- The language level (standard) supported by the compiler.
A configuration is selected using the corresponding --platform,
--vendor, --version and --level
options. If multiple configurations match the specified criteria, the first one in the
list is used but a warning is issued. If no configurations match the specified criteria,
an error is issued and cov-run-fortran halts.
A table of available configurations can be printed using the
--list-configs option. The --configuration option
can be used instead of the above four options to select a configuration file by name.
The --config-path option can be used to specify an alternate directory
to search for configuration files. By default, they are located in the
forcheck/share/ directory relative to the root of your Coverity
Analysis installation.