Integrating Polyspace R2021b with Matlab R2021b

I have two versions of Polyspace installed on my machine; R2019a and R2021b. I also have mutliple versions of Matlab installed on my machine, but am currently using Matlab R2021b. I need to retain my earlier versions of Matlab in order to provide parallel development with customer versions. I currently have Polyspace R2019a integrated with Matlab R2018a and have no issues with this combination. My issue arises when I attempt to integrate my Polyspace R2021b with Matlab R2021b.

In the Matlab R2021b command line I am able to uninstall the R2019a Polyspace link and establish the link to Polyspace R2021b. I can verify this by issuing the “ver” command to see all the installed components. Polyspace R2021b is in the list. But when I restart Matlab R2021b it always reverts back to the R2019a Polyspace link.

I have followed the Help documentation but I can’t seem to get passed this problem. I’m starting to think we can only have one version of Polyspace installed on a machine. Any idea what could be going on? Is there something in a startup script somewhere that may be keeping the R2019a link?

Thanks for any help that may be provided.

Answer 1

[Anirban]

Did you try to do the installation by explicitly giving the path to the R2021b Polyspace installation when running polyspacesetup from MATLAB R2021b? Something like this:

polyspacesetup('install', 'polyspacefolder', 'C:\Program Files\Polyspace\R2021b')

See also polyspacesetup. Also, when you say, "when I restart Matlab R2021b it always reverts back to the R2019a Polyspace link", I am wondering how you are determining this. Are you running the "ver" command from R2021b and seeing Polyspace R2019a in the list?

[T K]

First of all, thank you for the reply. I have tried the installation by explicitly providing the path to the R2021b Polyspace installation from Matlab R2021b as you suggested. After exiting Matlab R2021b and then re-launching I still see the link to the R2019a Polyspace installation. I'm able to determine this by running the "ver" command from R2021b and seeing Polyspace R2019a in the list. Any suggestions on what my next step should be? Thanks again!

[Anirban]

Just to confirm that indeed R2019a is still installed, you can enter:

polyspacesetup('showpolyspacefolders')

This should show you paths to an R2019a installation like C:\Program Files\Polyspace\R2019a\toolbox\polyspace\bugfinder. If this is the case, we have to understand the root cause. It might be that some path setting is being done for you when MATLAB is started (maybe using a startup script).

You can either contact Technical Support to identify the root cause of the problem or try manually removing all the existing 'Polyspace' folders (folders containing polyspace in path name) from path using rmpath and savepath, and then running this step again as before:

polyspacesetup('install', 'polyspacefolder', 'C:\Program Files\Polyspace\R2021b')

After you run this step and restart MATLAB, now the command:

polyspacesetup('showpolyspacefolders')

should show you the R2021b polyspace folders.

[T K]

Thanks for the reply. I have discovered the issue resides in our startup configuration script. This script contains hard-coded paths to R2019a Polyspace and was not allowing Matlab to use the correct Polyspace path. Changing these paths in our startup configuration script to the new Polyspace R2021b path resolve the issue. Sorry for the confusion.

[Shuchang]

I would like to ask where to modify the startup configuration script in Matlab. Thank you.