How to add a list of file .txt into polyspace-configure?
2 次查看(过去 30 天)
显示 更早的评论
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 个评论
回答(1 个)
Anirban
2022-3-17
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 个评论
Christian Bard
2022-3-24
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
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!