Polyspace doesn't create project from "create from build command" (IAR compiler)

Hi,

I've tried to create a new project for Polyspace 2024a using "create from build command" to use IAR to compile the project.

I upload a script.bat in the "specify command used for builing your source files" as follow:

@echo off

rem set Code directory path

@SET CODE_DIRECTORY_PATH="D:\DemoSW"

rem set IAR executable directory path

@SET IAR_DIRECTORY_PATH="D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\common\bin\iarbuild.exe"

rem Create Virtual Directory

subst L: %CODE_DIRECTORY_PATH%

rem launch IAR compilation to get compiled files

%IAR_DIRECTORY_PATH% L:\EWProject\Demo.ewp -build Demo_RELEASE

rem Delete Virtual Directory

Subst L: /d

And click on Run

In the Command output I can see IAR compilation suceeded and then the following message:

*******************

polyspace-configure: 0s: WARNING: Build command ignored (build deactivated)

polyspace-configure: 14s: WARNING: Source file L:/Appl/Com/SafeCom.c not found. Missing files might result in an incomplete project.

....

....

polyspace-configure: 21s: WARNING: Executed compilers are:

polyspace-configure: 21s: WARNING: "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\arm\bin\iccarm.exe"

polyspace-configure: 21s: WARNING: Executed programs are:

polyspace-configure: 21s: WARNING: iarbuild "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\common\bin\iarbuild.exe"

polyspace-configure: 21s: WARNING: iasmarm "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\arm\bin\iasmarm.exe"

polyspace-configure: 21s: WARNING: iccarm "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\arm\bin\iccarm.exe"

polyspace-configure: 21s: WARNING: ielftool "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\arm\bin\ielftool.exe"

polyspace-configure: 21s: WARNING: ilinkarm "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\arm\bin\ilinkarm.exe"

polyspace-configure: 21s: WARNING: ninja "D:\sw\IAR Systems\Embedded Workbench 9.2 EWARM FS 9.50.3\common\bin\ninja.exe"

polyspace-configure: 21s: WARNING: subst "C:\Windows\system32\subst.exe"

polyspace-configure: 21s: WARNING: No compilation unit detected in your build.

polyspace-configure: 21s: WARNING: Possible reasons for this error are:

polyspace-configure: 21s: WARNING: - Polyspace might not support your compiler.

polyspace-configure: 21s: WARNING: For more information, see https://www.mathworks.com/help/bugfinder/ug/your-compiler-is-unknown.html

polyspace-configure: 21s: WARNING: - The detected compilers did not build any C or C++ files.

polyspace-configure: 21s: WARNING: - Detected security software CrowdStrike Falcon Sensor might interfere with polyspace-configure.

polyspace-configure: 21s: WARNING: Try adding Polyspace to the CrowdStrike Falcon Sensor list of allowed software, or disable CrowdStrike Falcon Sensor.

polyspace-configure: 21s: ERROR: Fatal error

******************************************************************

IAR Embedded Workbench is a supported compiler, so it can't be the reason.

I uninstalled the CrowdStrike (even if it didn't have eny message regarding software blocked) and a similar error occured, this time with Window Defender Antivirus. I think the real problem has nothing to do with security softwares.

What can be the problem?

[Alexandre De Barros]

In your build command you are deleting the volume L:

rem Delete Virtual Directory
Subst L: /d

polyspace-configure is then unable to find it afterwards, and the source files are not accessible, as shown in the message:

polyspace-configure: 14s: WARNING: Source file L:/Appl/Com/SafeCom.c not found. Missing files might result in an incomplete project.

So when calling iarbuild.exe try with a build command using directly the real drive and folder, i.e. D:\DemoSW instead of L: