Impostazioni ambiente
Per aggirare errori di compilazione specifici, utilizzare le opzioni delle impostazioni ambiente. Prima di utilizzare queste opzioni, specificare le opzioni Target e compiler. Successivamente, per aggirare gli errori di compilazione residui, utilizzare le opzioni Macro per la rimozione o la semplice sostituzione dei token non riconosciuti. Per soluzioni più complesse agli errori di compilazione e collegamento, utilizzare queste opzioni. Ad esempio, è possibile specificare uno script Perl che sostituisce le occorrenze di un costrutto di codice non supportato con espressioni regolari.
Opzioni Polyspace
Codifica codice sorgente (-sources-encoding) | Specify the encoding of source files |
Codice dal file system DOS o Windows (-dos) | Consider that file paths are in MS-DOS style |
Arresto dell'analisi se un file non viene compilato (-stop-if-compile-error) | Specify that a compilation error must stop the analysis |
Comando/script da applicare ai file pre-elaborati (-post-preprocessing-command) | Specify command or script to run on source files after preprocessing phase of analysis |
Include (-include) | Specify files to be #include-ed by
each C file in analysis |
Argomenti
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Remove or Replace Keywords Before Compilation
Replace or remove keywords from preprocessed code to avoid compilation errors.
- Gather Compilation Options Efficiently
Put workarounds for compilation errors into a single file and include that file in analysis.
