How do I download Polyspace product directly from Linux desktop

What is the link and command line should I use? Thank you!

Answer 1

[Anirban]

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').

[Qiong Lan]

I know how to download the installation package from Windows. I am asking how to download the installation package from Linux.

[Anirban]

There is a 'Linux' option in the link I pointed to: https://www.mathworks.com/downloads/web_downloads/download_release?release=R2020a . You have to download the installer from the web even for Linux.

[Qiong Lan]

I understand it. But could you please show me how to download the installer under Linux and use command Line as the below ticket? Thank you!

https://www.mathworks.com/matlabcentral/answers/258345-downloading-matlab-from-command-line

[Anirban]

The installer is the same as the regular MathWorks installer. So if you can figure out a way to get the regular installer on the command line, it will work to install Polyspace too.

Otherwise, your best bet is to first download the installer zip file from the website and then start the command line actions. If you want to install on a machine with command line only, first download on the machine where you have access to the website and then transfer the zip file to the other machine where you want the installation to happen.

[Walter Roberson]

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]

Could you please help to provide some link as below for R2020a version:

wget http://esd.mathworks.com/R2015b/Linux_x86_64/INST_091492/matlab_R2015b_glnxa64.zip from https://www.mathworks.com/matlabcentral/answers/258345-downloading-matlab-from-command-line

I know how to install polypsace server under Linux. I want to know how to download the installer under Linux