Polyspace - Create Options File from Build System - Preprocess

I am trying to run polyspace-configure on a make file.

This is my command line:

• polyspace-configure -compiler-config "C:/Program Files/Polyspace/R2020a/polyspace/configure/compiler_configuration/arm-none-eabi-gcc.xml" make

I changed the gcc.xml file name to the correct compiler. I also changed the name inside to the correct compiler in the .xml file

• <compiler_configuration>
• <compiler_names>
• <name>arm-none-eabi-gcc</name>

(I am not sure if I have to specify the full path to the build tool or even tack on the .exe?)

ccache is disabled.

This is the result I am getting.

• polyspace-configure: 28s: WARNING: Compiler C:/Program Files (x86)/GNU Tools ARM Embedded/7 2018-q2-update/bin/arm-none-eabi-gcc.exe ( --pedantic-errors --specs=nosys.specs -Os -g -list -mcpu=cortex-m4 -mfloat-abi=hard -mfpu=fpv4-sp-d16 -mthumb -std=c11 with extension '.c') returned -1073740791 during preprocessing
• polyspace-configure: 28s: ERROR: Could not read preprocessed file 14154108581230848586_preprocess.txt
• polyspace-configure: 30s: ERROR: Could not read preprocessed file 14154108581230848586_preprocess_dollar.txt
• polyspace-configure: 30s: WARNING: GCC version not supported. Defaulting to gnu7.x
• polyspace-configure: 33s: WARNING: A compilation error occurred with compiler C:/Program Files (x86)/GNU Tools ARM Embedded/7 2018-q2-update/bin/arm-none-eabi-gcc.exe ( --pedantic-errors --specs=nosys.specs -Os -g -list -mcpu=cortex-m4 -mfloat-abi=hard -mfpu=fpv4-sp-d16 -mthumb -std=c11 with extension '.c')
• This may indicate an issue in your compiler configuration file.
• polyspace-configure: 33s: WARNING: No compilation units detected during your build in module Module_1.
• polyspace-configure: 33s: WARNING: C:/Users/cholland/Documents/fca-vrm_ws_wl_vip_app-fw/external/microsar/vector/thirdparty/Adc_TS_T40D2M10I4R0/Adc.c has no target characteristics
• polyspace-configure: 33s: ERROR: Illegal project language found

The code is writen in C.

There are no preprocess files that I can find.

[Anirban]

Based on this question, I assume you were able to get past the error?

The file gcc.xml uses a regular expression to catch all gcc-based cross compilers, so you should not have to create a compiler configuration file yourself.

[Chris Holland]

That did not want to work for me, so I followed the answer here

Polyspace unable to generate project with compiler arm-none-eabi-gcc - MATLAB Answers - MATLAB Central (mathworks.com)

I was a bit confused, but it works now. The error messages are just a bit hard to decipher.

Thank you,