How to set Compiler option in Polyspace code prover?

3 次查看(过去 30 天)
Hello All, I am using polyspace code prover 2013b. To avoid multiple inclusion of header file i want to set the compiler option -include-headers-once. How to set -include-headers-once option in polyspace code prover tool?
Thanks, Srinivasan K.

采纳的回答

Alexandre De Barros
Alexandre De Barros 2015-10-11
Hello,
Since this is an extra option, in the configuration pane, you have to go to 'Advanced Settings' and enter the option in the text field 'Other'.
Alex
  1 个评论
srinivasan kandaswamy
Hello Alex, Thanks for the support. I added the compiler option in Advanced settings->Other.It works and the compilation time is reduced.
Srinivasan K.

请先登录,再进行评论。

更多回答(0 个)

Community Treasure Hunt

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

Start Hunting!

Translated by