|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
| On this page… |
|---|
Should I Uninstall Previous Releases Before Installing? |
If you are upgrading your existing Polyspace software to the latest release, you may need to uninstall the existing software before installing the new release.
If you are currently running release R2008a or later, do not uninstall the previous release before installing the current release. The new server software can run verifications launched from both releases. Before installing the new release, however, you need to stop the Polyspace service. You can run the command: %POLYSPACE_COMMON%\RemoteLauncher\PSTRLManager.exe to check if the service is running and stop it if necessary. After installing, you can restart the service using the same command.
If you are currently running release R2007a+ or earlier, you must uninstall the previous release before installing the current release. R2007a+ and earlier releases used the Cygwin API, which is incompatible with the current release.
You can uninstall the Polyspace software through the standard interface available on a Windows PC.
To uninstall the Polyspace software:
From the Windows desktop, select Start > Settings > Control Panel > Add or Remove Programs.
Select the Polyspace product you want to uninstall.
Select Change/Remove.
The uninstallation procedure goes through steps. Please follow the instructions and refer to paragraphs below for specifics components, if necessary.
Note Some files and folders added after installation can remain after the uninstall process is complete. After reboot, check the Polyspace_Install and Polyspace_Common folders for remaining files and subfolders. You can remove these files by hand. |
You can also uninstall specific shared components.
To uninstall Polyspace shared components:
From the Windows desktop, select Start > Settings > Control Panel > Add or Remove Programs.
Select Polyspace Shared Components.
Select Change/Remove.
The shared components are removed.
 | Uninstalling Polyspace Products | Uninstalling on Linux or UNIX Platforms |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |