Exponenta Banner
exponenta event banner

-I

Укажите папку включения для компиляции

Синтаксис

-I folder

Описание

-I folder задает папку, содержащую файлы включения, необходимые для компиляции ваших источников. Для каждого образца -I можно задать только одну папку. Однако можно задать эту опцию несколько раз.

Анализ ищет файлы включения относительно заданных путей к папкам. Например, если ваш код содержит директиву препроцессора #include<../mylib.h> и вы включаете папку:

C:\My_Project\MySourceFiles\Includes
папка C:\My_Project\MySourceFiles должен содержать файл mylib.h.

Анализ автоматически включает в себя ./sources папка (если она существует) после заданных папок включения.

Примеры

Включите две папки с анализом:

  • Bug Finder:

    polyspace-bug-finder -I /com1/inc -I /com1/sys/inc

  • Code Prover:

    polyspace-code-prover -I /com1/inc -I /com1/sys/inc

  • Сервер Bug Finder:

    polyspace-bug-finder-server -I /com1/inc -I /com1/sys/inc

  • Код Code Prover:

    polyspace-code-prover-server -I /com1/inc -I /com1/sys/inc

Исходная папка включена неявно. Включить файлы в исходную папку можно автоматически без явного включения исходной папки в -I опция.

Совет

Если вы используете Polyspace® Когда Вы кодируете расширения в IDE, введите эту опцию в файл опций анализа. См. файл опций.

См. также

Темы

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

Поддержка