Paramètres de l’environnement
Pour contourner des erreurs de compilation spécifiques, utilisez les options de paramètres de l'environnement. Avant d’utiliser ces options, spécifiez les options Cible et compilateur. Pour ensuite contourner les erreurs de compilation qui subsistent, utilisez les options Macros afin de supprimer ou de remplacer simplement les jetons non reconnus. Pour obtenir des solutions plus complexes aux erreurs de compilation et de liaison, utilisez ces options. Par exemple, vous pouvez spécifier un script Perl qui remplace les occurrences d'une construction de code non supportée par des expressions régulières.
Options Polyspace
Source code encoding (-sources-encoding) | Specify the encoding of source files |
Code from DOS or Windows file system (-dos) | Consider that file paths are in MS-DOS style |
Stop analysis if a file does not compile (-stop-if-compile-error) | Specify that a compilation error must stop the analysis |
Command/script to apply to preprocessed files (-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 |
Rubriques
- 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.
