How to set Compiler option in Polyspace code prover?

6 vues (au cours des 30 derniers jours)
srinivasan kandaswamy
srinivasan kandaswamy le 9 Oct 2015
Commenté : srinivasan kandaswamy le 12 Oct 2015
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.

Connectez-vous pour répondre à cette question.

Réponse acceptée

Alexandre De Barros
Alexandre De Barros le 11 Oct 2015
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 commentaire
srinivasan kandaswamy
srinivasan kandaswamy le 12 Oct 2015
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.

Connectez-vous pour commenter.

Plus de réponses (0)

Catégories

En savoir plus sur Options at Command Line Only dans Help Center et File Exchange

Tags

Produits

Community Treasure Hunt

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

Start Hunting!

Translated by