- 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?
29 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
MathWorks Support Team
il 2 Nov 2023
Modificato: MathWorks Support Team
il 22 Lug 2024
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?
Risposta accettata
MathWorks Support Team
il 22 Lug 2024
Modificato: MathWorks Support Team
il 22 Lug 2024
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 Commenti
Più risposte (0)
Vedere anche
Categorie
Scopri di più su Options at Command Line Only in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!