How do I install Polyspace Products for Ada?

Where can I obtain instructions for installing Polyspace Products for Ada?

Answer 1

[MathWorks Support Team]

Instructions for installing Polyspace Products for Ada can be found in the following documentation:

Install Polyspace Products for Ada

Polyspace for Ada can also be installed non-interactively with admin permissions. A silent installation would require the use of the following arguments:

 -silent -install-dir /path/to/installation/root

For example:

On Windows

setup.exe -silent -install-dir "C:\Program Files\PolyspaceForAda\R2025a"

On Linux

./install  -silent -install-dir  /usr/local/PolyspaceForADA/R2025a