Configuración del entorno
Para resolver errores de compilación específicos, utilice las opciones de configuración del entorno. Antes de utilizar estas opciones, especifique las opciones de Objetivo y compilador. Después, para resolver los errores de compilación que sigan apareciendo, utilice las opciones de Macros para eliminar o simplemente reemplazar los tokens no reconocidos. Para obtener soluciones más complejas a los errores de compilación y enlace, utilice estas opciones. Por ejemplo, puede especificar un script Perl que reemplace las apariciones de una construcción de código no compatible por expresiones regulares.
Opciones de Polyspace
Codificación del código fuente (-sources-encoding) | Specify the encoding of source files |
Código del sistema de archivos DOS o Windows (-dos) | Consider that file paths are in MS-DOS style |
Detener el análisis si un archivo no compila (-stop-if-compile-error) | Specify that a compilation error must stop the analysis |
Comando/script para aplicarlo a los archivos preprocesados (-post-preprocessing-command) | Specify command or script to run on source files after preprocessing phase of analysis |
Inclusión (-include) | Specify files to be #include -ed by
each C file in analysis |
Temas
- 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.