Name of the compiler executable. This executable transforms your .c files into object files. You can add several binary names, each in a separate <name>...</name> element. The software checks for each of the provided names and uses the compiler name for which it finds a match.

You must not specify the linker binary inside the <name>...</name> elements.

If the name that you specify is present in an existing compiler configuration file, an error occurs. To avoid the error, use the additional option -compiler-config my_compiler.xml when tracing the build so that the software explicitly uses your compiler configuration file.

The option that you use with your compiler to specify include folders.

To specify options where the argument immediately follows the option, use an isPrefix attribute for opt and set it to true.

The option that you use with your compiler to specify system headers.

To specify options where the argument immediately follows the option, use an isPrefix attribute for opt and set it to true.

The option that you use with your compiler to force inclusion of a file in the compiled object.

To specify options where the argument immediately follows the option, use an isPrefix attribute for opt and set it to true.

The option that you use with your compiler to predefine a macro.

To specify options where the argument immediately follows the option, use an isPrefix attribute for opt and set it to true.

The option that you use with your compiler to undo previous definitions of a macro.

To specify options where the argument immediately follows the option, use an isPrefix attribute for opt and set it to true.

The options that you use to modify the compiler behavior. These options specify the language settings to which the code must conform.

You can use the isPrefix attribute to specify multiple options that have the same prefix and the numArgs attribute to specify options with multiple arguments. For instance:

The Polyspace compiler option that corresponds to or closely matches your compiler. The content of this element directly translates to the option Compiler in your Polyspace project or options file.

For the complete list of compilers available, see Compiler (-compiler).

The options that specify how your compiler generates a preprocessed file.

You can use the macro $(OUTPUT_FILE) if your compiler does not allow sending the preprocessed file to the standard output. Instead it defines the preprocessed file internally.

-E

For an example of the $(OUTPUT_FILE) macro, see the existing compiler configuration file ti_c6000.xml.

The name of file where the preprocessed output is stored.

You can use the following macros when the name of the preprocessed output file is adapted from the source file:

For instance, use $(SOURCE_FILE_NO_EXT).pre when the preprocessor file name has the same name as the source file, but with extension .pre.

For an example of this element, see the existing compiler configuration file cosmic.xml.

Additional options that are used for the subsequent analysis.

For instance, to avoid compilation errors in the subsequent analysis due to non-ANSI^® extension keywords, enter -D keyword=value, for example:

<polyspace_extra_options_list> 
    <opt>-D MACRO1</opt> 
    <opt>-D MACRO2=VALUE</opt> 
</polyspace_extra_options_list> 

For more information, see Preprocessor definitions (-D).