Документация

Имя исполняемого файла компилятора. Этот исполняемый файл преобразовывает ваш .c файлы в объектные файлы. Можно добавить несколько бинарных имен, каждого в отдельном <name>...</name> элемент. Программное обеспечение проверяет на каждое из обеспеченных имен и использует имя компилятора, для которого это находит соответствие.

Вы не должны задавать двоичный файл компоновщика в <name>...</name> элементы.

Если имя, которое вы задаете, присутствует в существующем конфигурационном файле компилятора, ошибка происходит. Чтобы избежать ошибки, используйте дополнительную опцию - config компилятора my_compiler.xml при трассировке сборки так, чтобы программное обеспечение явным образом использовало конфигурационный файл компилятора.

Опция, которую вы используете со своим компилятором, чтобы задать, включает папки.

Чтобы задать опции, где аргумент сразу следует опции, используйте isPrefix припишите для opt и набор это к true.

Опция, которую вы используете со своим компилятором, чтобы задать системные заголовки.

Чтобы задать опции, где аргумент сразу следует опции, используйте isPrefix припишите для opt и набор это к true.

Опция, которую вы используете со своим компилятором, чтобы обеспечить включение файла в скомпилированном объекте.

Чтобы задать опции, где аргумент сразу следует опции, используйте isPrefix припишите для opt и набор это к true.

Опция, которую вы используете со своим компилятором, чтобы предопределить макрос.

Чтобы задать опции, где аргумент сразу следует опции, используйте isPrefix припишите для opt и набор это к true.

Опция, которую вы используете со своим компилятором, чтобы отменить предыдущие определения макроса.

Чтобы задать опции, где аргумент сразу следует опции, используйте isPrefix припишите для opt и набор это к true.

Опции, которые вы используете, чтобы изменить поведение компилятора. Эти опции задают настройки языка, которым должен соответствовать код.

Можно использовать isPrefix припишите, чтобы задать несколько опций, которые имеют тот же префикс и numArgs припишите, чтобы задать опции с несколькими аргументами. Например:

Параметр компилятора Polyspace, который соответствует или тесно совпадает с вашим компилятором. Содержимое этого элемента непосредственно переводит в опцию Compiler в вашем проекте Polyspace или файле опций.

Для полного списка доступных компиляторов смотрите Compiler (-compiler).

Опции, которые задают, как ваш компилятор генерирует предварительно обработанный файл.

Можно использовать макро-$(OUTPUT_FILE) если ваш компилятор не позволяет отправлять предварительно обработанный файл в стандартный вывод. Вместо этого это задает предварительно обработанный файл внутренне.

-E

Для примера $(OUTPUT_FILE) макрос, смотрите существующий конфигурационный файл компилятора cl2000.xml.

Имя файла, где предварительно обработанный выход хранится.

Можно использовать следующие макросы, когда имя предварительно обработанного выходного файла адаптируется от исходного файла:

Например, используйте $(SOURCE_FILE_NO_EXT).pre когда имя файла препроцессора имеет то же имя как исходный файл, но с дополнительным .pre.

Для примера этого элемента смотрите существующий конфигурационный файл компилятора xc8.xml.

Дополнительные опции, которые используются в последующем анализе.

Например, чтобы избежать ошибок компиляции в последующем анализе из-за non-ANSI^® дополнительных ключевых слов, введите-D keyword=value, например:

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

Для получения дополнительной информации смотрите Preprocessor definitions (-D).