MATLAB: How to set Compiler option in Polyspace code prover

compiler optionPolyspace Code ProverPolyspace Code Prover Server

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.

Best Answer

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
Related Question