How to add a list of file .txt into polyspace-configure?
3 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
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 comentarios
Respuestas (1)
Anirban
el 17 de Mzo. de 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 comentario
Christian Bard
el 24 de Mzo. de 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
Ver también
Categorías
Más información sobre Run Settings en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!