How to add a list of file .txt into polyspace-configure?
2 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
filelist.txt format:
folder/a.cpp
folder/a.h
folder/b.cpp
folder/folder2/b.h
c.cpp
c.h
"${matdir}/polyspace/bin/polyspace-configure" \
-output-options-file "${outdir}/polyspace.options" \
-lang cpp11 \
-exclude-sources "*.pb.cc" \
-include-sources "filelist.txt" \
make -j "${makejobs}" -B -C "${builddir}"
Is there anyway I can make polyspace-configure to read a list of file .txt into -include-source?
alternatively, is there a way to make -include-sources to include for multiple specific files like folder/a.cpp, folder/a.h, folder/b.cpp, folder/folder2/b.h, c.cpp, c.h
0 commentaires
Réponses (1)
Anirban
le 17 Mar 2022
You can enter -include-sources several times to include multiple files, or use pattern matching if the file names follow a specific pattern (for instance, if all files to be included are part of the same folder).
1 commentaire
Christian Bard
le 24 Mar 2022
As written in the doc here: (see https://www.mathworks.com/help/bugfinder/ref/polyspaceconfigurecommand.html) polyspace-configure only takes a global pattern for -include-sources.
Note thah header files will not be considered as Polyspace configure creates options file only for C and C++ files during build.
See example here: https://www.mathworks.com/help/bugfinder/ug/polyspace-configure-source-files-selection-syntax.html about possible syntax of the global pattern
Voir également
Catégories
En savoir plus sur Run Settings dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!