MATLAB: Polyspace configure fatal error cannot find arm-none-eabi-gcc

Polyspace Code Prover

I am running into problems during call of Polyspace Configure:
polyspace-configure: 214s: ERROR: Fatal error (exception): mwboost::filesystem::last_write_time: The system cannot find the file specified: "C:/NXP/S32DS_ARM_v2.2/S32DS/build_tools/gcc_v6.3/gcc-6.3-arm32-eabi/bin/arm-none-eabi-gcc"
the initial call was:
[Pipeline] sh
+ 'C:/Program Files/Polyspace Server/R2020b/polyspace/bin/polyspace-configure.exe' -allow-overwrite -prog polyspace_test -author jenkins -output-options-file polyspace_options.opts C:/NXP/S32DS_ARM_v2.2/eclipse/eclipsec.exe --launcher.suppressErrors -nosplash -application org.eclipse.cdt.managedbuilder.core.headlessbuild -import Application -data 'C:\Jenkins\workspace\Polyspace_Test_2_polyspace_test' -build Application/Debug_FLASH
I need help in fixing this fatal error. Build is called through Eclipse and the build runs completely fine.

Best Answer

The issue you are facing seems to be related to polyspace-configure not being able to detect the compiler. Please try specifying the compiler configurations using the option : https://www.mathworks.com/help/releases/R2020b/codeprover/ref/polyspaceconfigurecommand.html#:~:text=compiler-config  
For more information, see the link : https://www.mathworks.com/help/releases/R2020b/codeprover/ug/your-compiler-is-unknown.html
Important point here is that for any gcc-compiler, including the arm-none-eabi-gcc compiler, it is mandatory to use the 'gcc.xml' configuration file shipped with Polyspace. When using the 'arm-none-eabi-gcc' compiler with the provided 'gcc.xml' configuration file and it is detected properly. You can locate the existing compiler configuration files using : https://www.mathworks.com/help/releases/R2020b/codeprover/ug/your-compiler-is-unknown.html#mw_25ff9150-28d6-4643-b067-9d2ef9423cb7
See the following link, for more information about automatic project creation from build systems: https://www.mathworks.com/help/releases/R2020b/codeprover/ug/requirements-for-polyspaceconfigure.html
One alternate workaround that you can try is looking for 'arm-none-eabi-gcc.exe' and renaming it to 'arm-none-eabi-gcc'. 
Related Question