Укажите папку включения для компиляции
-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, введите эту опцию в файл опций анализа. См. файл опций.