Contenido principal

La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Configuración del entorno

Script de preprocesamiento, archivos de inclusión

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