- Before relaunching polyspace-configure, be sure that the build command will compile C and/or C++ files again by doing a clean build (i.e. the object files have been deleted). For example, if you are using make, please do a 'make clean' before executing the command below.
- Then execute: polyspace-configure -build-trace build_trace.log -keep-all-files -debug <your build command> > out.log 2>&1
How to debug a polyspace-configure issue?
20 ビュー (過去 30 日間)
古いコメントを表示
MathWorks Support Team
2023 年 11 月 2 日
編集済み: MathWorks Support Team
約10時間 前
I'm using polyspace-configure to create a Polyspace project or options file, but either polyspace-configure fails during its process or provide a configuration/options file that eventually leads to compilation problems during the Polyspace analysis.
What can I do to know what is happening and get debug information?
採用された回答
MathWorks Support Team
約23時間 前
編集済み: MathWorks Support Team
約10時間 前
Here is how to get debug log files with polyspace-configure issues, before contacting the MathWorks support:
Before R2020a
Relaunch polyspace-configure with some extra options. More precisely, here is the procedure:
then send the two log files build_trace.log and out.log generated this way. The two files don't contain IP information.
If polyspace-configure generated a configuration file, send also the Polyspace log file that was utilized with it.
Since R2020a
There is a new option that can be used with polyspace-configure:
-easy-debug.
Before using it when calling polyspace-configure, first remove old build artifacts to do a clean rebuild of your code (to ensure that all the source files are compiled during the build), and then launch:
polyspace-configure ... -no-compiler-cache -easy-debug <folder> <your build command>
The folder <folder> will contain a zip file that you should send to the support. The files in the zip don't contain IP information.
If polyspace-configure generated a configuration file, send also the Polyspace log file that was utilized with it.
0 件のコメント
その他の回答 (0 件)
参考
カテゴリ
Help Center および File Exchange で Options at Command Line Only についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!