- 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 views (last 30 days)
Show older comments
MathWorks Support Team
on 2 Nov 2023
Edited: MathWorks Support Team
about 10 hours ago
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?
Accepted Answer
MathWorks Support Team
about 23 hours ago
Edited: MathWorks Support Team
about 9 hours ago
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 Comments
More Answers (0)
See Also
Categories
Find more on Options at Command Line Only in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!