How to set Compiler option in Polyspace code prover?

2 visualizzazioni (ultimi 30 giorni)

srinivasan kandaswamy il 9 Ott 2015

0
Link

Link diretto a questa domanda

https://it.mathworks.com/matlabcentral/answers/247672-how-to-set-compiler-option-in-polyspace-code-prover

Commentato: srinivasan kandaswamy il 12 Ott 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.

0 Commenti
Mostra -2 commenti meno recentiNascondi -2 commenti meno recenti

Accedi per commentare.

Accedi per rispondere a questa domanda.

Risposta accettata

Alexandre De Barros il 11 Ott 2015

1
Link

Link diretto a questa risposta

https://it.mathworks.com/matlabcentral/answers/247672-how-to-set-compiler-option-in-polyspace-code-prover#answer_195494

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 Commento
Mostra -1 commenti meno recentiNascondi -1 commenti meno recenti

srinivasan kandaswamy il 12 Ott 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.

Accedi per commentare.

Più risposte (0)

Accedi per rispondere a questa domanda.

Categorie

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

Verification, Validation, and Test Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

Scopri di più su Options at Command Line Only in Help Center e File Exchange

Prodotti

Community Treasure Hunt

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

Start Hunting!

Translated by