MATLAB: Polyspace unable to generate project with compiler arm-none-eabi-gcc

compilergccpolyspacePolyspace Code Prover

We are setting up a Polyspace project for our code. The compiler we are using is the 'arm-none-eabi-gcc'. I am running into problems during the call to '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

How can I fix this?

Best Answer

The issue you facing seems to be related to 'polyspace-configure' not detecting 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

An 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. We have tried 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

Related Solutions

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

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'.

MATLAB: Doesn’t polyspace-configure recognize the compiler in the custom configuration

This issue may have several different causes. As described in the error message, first ensure that there is no compiler cache in use, that the build is a clean build (first delete all build artifacts), etc. If those solutions do not work, try the following:

Manually enter the C and header files in Bug Finder, as shown here:

https://www.mathworks.com/help/releases/R2020a/codeprover/ug/polyspace-configure-source-files-selection-syntax.html

Because Bug Finder does not invoke the compiler itself, there will be no issue with recognizing a potentially unsupported compiler or toolchain. You can find all files with a Unix command like the following:

$ find . -name "*.h" -or -name "*.c"

Best Answer

Related Solutions

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

MATLAB: Doesn’t polyspace-configure recognize the compiler in the custom configuration

Related Question