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

Имя исполняемого файла компилятора. Этот исполняемый файл преобразует вашу .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.

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

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

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

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