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

回答(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.

请先登录,再进行评论。

标签

产品


版本

R2021b

Community Treasure Hunt

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

Start Hunting!

Translated by