How to set Compiler option in Polyspace code prover?

조회 수: 3 (최근 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