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:
- Check/Uncheck "Code form DOS or Windows file System" in my Configuration settings under Environment Settings - DIDN'T WORK
- Changing the #include line to use <> instead of quotations. e.g. #include <header.h> - DIDN'T WORK
- Adding every folder level that leads to/contains both the source file and the header file(s). - DIDN'T WORK
- 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
답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Troubleshoot Compilation Errors에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!