MATLAB: Am I unable to install missing Cygwin packages required for Polyspace R2007a products on Windows

Polyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover ServerPolyspace Model Link SLPolyspace Model Link TLPolyspace Server for AdaPolyspace UML Link RH

I am missing Cygwin packages and the Polyspace Shared Components installer is prompting me to install them.

Best Answer

When the Polyspace Shared Components Setup prompts you to install missing Cygwin packages, follow these steps:

For Windows:

------------------

1. Go to www.cygwin.com and install the Cygwin setup.exe installer file.

2. In the Polyspace Installer, click "Browse" to search for the Cygwin setup file.

3. Select the Cygwin setup.exe file.

4. In the Polyspace Installer, click "Upgrade cygwin now."

5. Proceed with the installation of cygwin.

6. When the cygwin installation finishes, click "Next->" in the Polyspace Installer.

If you cannot upgrade cygwin, follow these directions:

1. Click the Cancel button in the Polyspace Installer to cancel the installation.

2. Remove your existing Cygwin installation directory (default directory is C:\cygwin).

3. Run the Polyspace Installer again. Cygwin will be installed with the rest of the common files during the shared components installation.

Related Solutions

MATLAB: Is it possible to launch the Remote Launcher for PolySpace without storing a password for the user account

It is possible to access the PolySpace Server through the Remote Launcher without requiring a username and password. To do this, you can launch the remote launcher as an application rather than a service. To setup this configuration, follow the steps below:

1) First disable the PolySpace service. To do so, go to the Windows Start menu to Run and type in "services.msc".

2) Locate "PolySpace Server" in the list. Right click on PolySpace Server and select Properties.

3) If the service is running, click Stop to stop the service. Once it has been stopped, change the startup type option to "Disabled".

4) Once the service is disabled, make sure that the polyspace.conf file is setup correctly. To do so, open the file: C:\PolySpace\RemoteLauncher\polyspace.conf. This file should have the following information:

For PolySpace for ADA:

# Local configuration.
product=C:\PolySpace\PolySpaceForADA_R2008a
lang=ADA
lang=ADA95
#
# Remote Launcher configuration.
datadir=C:\PolySpace\PolySpace_RLDatas
username=<your username>
cpu=<your machine name>

For PolySpace for C/C++:

# Local configuration.
#
product=C:\PolySpace\PolySpaceForCandCPP_R2008a
lang=C
lang=CPP
# Remote Launcher configuration.
#
datadir=C:\PolySpace\PolySpace_RLDatas
username=<your username>
cpu=<your machine name>

This information should already be stored in the file, but if not, update it appropriately.

5) To start the Remote Launcher as an application, simply launch the following executable:

C:\PolySpace\PolySpace_Common\RemoteLauncher\wbin\polyspaced.exe

This will launch the Remote Launhcer as an application. If you would like this to start automatically at boot time, you can create a shortcut to that file and place it in your Windows startup folder: C:\Documents and Settings\<your username>\Start Menu\Programs\Startup. Once the shortcut is there, the Remote Launcher will start when you log in.

MATLAB: How to install and configure the network license manager for PolySpace products

PolySpace R2013b and later:

With PolySpace R2013b, PolySpace now shares many core elements with MATLAB, including the license server. To install a PolySpace license server, refer to the MATLAB Network License Administration Documentation:

https://www.mathworks.com/help/releases/R2018a/install/ug/install-license-manager-using-a-file-installation-key.html

PolySpace R2013a and prior:

The PolySpace network license manager is not installed when you install your PolySpace products. To setup the license manager, you must do so manually. Please refer to Section 3 of the PolySpace License Installation Guide located on the PolySpace installation disk. This guide is contained in the following PDF document:

$CD\Docs\Install\PolySpace_License_Installation_Guide.pdf

(where $CD is the path the installation CD)

If you have questions or concerns about setting up the license manager for PolySpace, you can contact the Installation and Licensing team by creating a Service Request here:

http://www.mathworks.com/support/contact_us/index.html

Best Answer

Related Solutions

MATLAB: Is it possible to launch the Remote Launcher for PolySpace without storing a password for the user account

MATLAB: How to install and configure the network license manager for PolySpace products

Related Question