How to set Compiler option in Polyspace code prover?

2 ビュー (過去 30 日間)
srinivasan kandaswamy
srinivasan kandaswamy 2015 年 10 月 9 日
コメント済み: 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