Umgebungseinstellungen
Verwenden Sie die Optionen der Umgebungseinstellungen, um bestimmte Kompilierungsfehler zu umgehen. Bevor Sie diese Optionen verwenden, geben Sie die Ziel und Compiler-Optionen an. Verbleibende Kompilierungsfehler können Sie mit den Makros-Optionen zum Entfernen oder einfachen Ersetzen nicht erkannter Token umgehen. Komplexere Lösungen für Kompilierungs- und Link-Fehler bieten die folgenden Optionen. Sie können zum Beispiel ein Perl-Skript angeben, das jedes Auftreten eines nicht unterstützten Codekonstrukts durch reguläre Ausdrücke ersetzt.
Polyspace-Optionen
Quellcode-Codierung (-sources-encoding) | Specify the encoding of source files |
Code von DOS- or Windows-Dateisystem (-dos) | Consider that file paths are in MS-DOS style |
Analyse abbrechen, wenn eine Datei nicht kompiliert wird (-stop-if-compile-error) | Specify that a compilation error must stop the analysis |
Befehl/Skript auf vorbereitete Dateien anwenden (-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 |
Themen
- 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.
