Exponenta Banner

-I

Задайте включают папку для компиляции

Синтаксис

-I folder

Описание

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

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

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

Анализ автоматически включает ./sources папка (если это существует) после включать папок, которые вы задаете.

Примеры

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

  • Средство поиска ошибки:

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

  • Программа автоматического доказательства кода:

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

  • Сервер средства поиска ошибки:

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

  • Сервер программы автоматического доказательства кода:

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

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

Смотрите также

Темы

Документация Polyspace Code Prover
Поддержка