How do I download Polyspace product directly from Linux desktop
7 views (last 30 days)
Show older comments
What is the link and command line should I use? Thank you!
0 Comments
Answers (1)
Anirban
on 3 Jun 2020
Edited: Anirban
on 3 Jun 2020
Hi,
You can install the Polyspace desktop products (Polyspace Bug Finder, Polyspace Code Prover) or Polyspace Server products (Polyspace Bug Finder Server, Polyspace Code Prover Server) using the usual MathWorks installer. Download the Linux version of the installer here: https://www.mathworks.com/downloads/web_downloads/download_release?release=R2020a
You can unzip the installer, cd into the unzipped folder and enter: ./install
This will open the installer. You can then follow the prompts. If you are installing on a server where you cannot open the installer user interface and have to perform the installation entirely at the command line, the steps are slightly more complicated. Let us know if this is your situation.
You can install the Polyspace Access products here: https://www.mathworks.com/downloads/web_downloads/download_polyspace_access/R2020a
(You can reach the download page for Polyspace Access from the main download page https://www.mathworks.com/downloads/ by first selecting 'Download R2020a' and scrolling down to the 'Additional Product Downloads Section').
6 Comments
Walter Roberson
on 3 Jun 2020
Is the question about how to do a "silent install", which is also what is needed to install when you do not have graphics access?
See Also
Categories
Find more on Introduction to Installation and Licensing in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!