How to set Compiler option in Polyspace code prover?

3 次查看（过去 30 天）
srinivasan kandaswamy
评论： srinivasan kandaswamy 2015-10-12
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
srinivasan kandaswamy 2015-10-12
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 个）

类别

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by