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.
