Polyspace 2017b Compilation problem: Unable to find Header files despite including Project Include Folders leading to Header Files

조회 수: 12 (최근 30일)
When attempting to run Code Prover, Compilation fails because #define symbols are listed as undefined in the Output Summary. These symbols are defined in header files that are #include'd within the source files. Polyspace seems unable to locate these header files.
The header files are #include'd only by file name, with quotation marks: e.g.
#include "header.h"
I have tried several things, in combination with each other, with only one successful technique:
  1. Check/Uncheck "Code form DOS or Windows file System" in my Configuration settings under Environment Settings - DIDN'T WORK
  2. Changing the #include line to use <> instead of quotations. e.g. #include <header.h> - DIDN'T WORK
  3. Adding every folder level that leads to/contains both the source file and the header file(s). - DIDN'T WORK
  4. Changed the #include line to reference the entire relative/absolue path from the source file to the Header file. e.g. - WORKED
#include <..\..\..\folder1\folder2\folder3\header.h>
How can I get Polyspace to locate the Header files and fix these compilation errors, so I can actually run Code Prover?

답변 (0개)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by