How do I download Polyspace product directly from Linux desktop

14 views (last 30 days)
What is the link and command line should I use? Thank you!

Answers (1)

Anirban
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 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
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?
Qiong Lan
Qiong Lan on 3 Jun 2020
Could you please help to provide some link as below for R2020a version:
I know how to install polypsace server under Linux. I want to know how to download the installer under Linux

Sign in to comment.

Categories

Find more on Introduction to Installation and Licensing in Help Center and File Exchange

Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!