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

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

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

Если имя, которое вы задаете, присутствует в существующем конфигурационном файле компилятора, ошибка происходит. Чтобы избежать ошибки, используйте дополнительную опцию -compiler-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).