How to add a list of file .txt into polyspace-configure?

3 次查看（过去 30 天）
Sudheer Gundanna
Sudheer Gundanna 2022-3-11
评论： Christian Bard 2022-3-24
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

请先登录，再回答此问题。

回答（1 个）

Anirban
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
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

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品


版本

R2021b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by