How to set Compiler option in Polyspace code prover?

2015 10 9
1 个回答
回答已采纳
更新时间：2015 10 12
3 次查看（30 天）

0 个投票

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

1 个投票

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 个评论
显示 -1更早的评论 隐藏 -1更早的评论

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 个）

类别

在 帮助中心 和 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