Can the Polyspace project configuration file use relative instead of absolute path names?

I want to specify relatives paths in my project, since it is more convenient in my situation.

For example, because the project configuration file is stored in a version control system, whenever it gets checked out to a different location, the project configuration changes because the path names are rewritten.

Consequently, the version control system considers the project configuration file to have been modified, even though none of the settings have been changed.

For this reason, it would be better if the project configuration file stored relative path names so that changes to its location didn’t affect its contents, while the project can be opened in any location, where files used in the Polyspace analysis are relative the project.

Answer 1

[MathWorks Support Team]

The project configuration file stores paths as absolute rather than relative.

See more information for the source files in the documentation: https://www.mathworks.com/help/codeprover/ug/add-source-files-for-polyspace-analysis.html

This means that the specific locations of files and folders (source, include folders, configuration files...) are directly linked to a fixed point in the system.

However, Polyspace includes a mechanism to adapt to changes in the project's location. When a project is moved, Polyspace's user interface automatically reconstructs the paths upon reopening the project.

Polyspace achieves this by checking whether the various folders can be located relative to the new project location. If they can, Polyspace converts the original absolute paths to correspond with the new project location. This ensures that the project maintains its integrity and functionality even when moved to a different location.