How to set Compiler option in Polyspace code prover?

2 visualizaciones (últimos 30 días)
srinivasan kandaswamy
srinivasan kandaswamy el 9 de Oct. de 2015
Comentada: srinivasan kandaswamy el 12 de Oct. de 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.

Iniciar sesión para responder a esta pregunta.

Respuesta aceptada

Alexandre De Barros
Alexandre De Barros el 11 de Oct. de 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 comentario
srinivasan kandaswamy
srinivasan kandaswamy el 12 de Oct. de 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.

Iniciar sesión para comentar.

Más respuestas (0)

Categorías

Más información sobre Options at Command Line Only en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by