| 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 do not need to uninstall the existing software before installing the new release. The new server software can run verifications launched from both releases.
Before installing the new release, you must stop the polyspaced daemon. Using an administrator login, you can run the command /etc/init.d/polyspaced stop to stop the daemon. After installing, you can restart the service using the command /etc/init.d/polyspaced start.
To uninstall components under Linux or UNIX system:
Enter Polyspace_Install/Uninstall/Uninstall .
This script launches the graphical uninstall wizard.
You can also uninstall specific shared components.
To uninstall Polyspace shared components:
Enter Polyspace_Common/Uninstall/Uninstall
The shared components are uninstalled.
![]() | Uninstalling on Windows Platforms | Polyspace License Installation | ![]() |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |