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

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

Answer 1

[Anirban]

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).

[Christian Bard]

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