Skip to Main Content Skip to Search
Product Documentation

Uninstalling on Linux or UNIX Platforms

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.

Uninstalling the Polyspace Software

To uninstall components under Linux or UNIX system:

Uninstalling Shared Components

You can also uninstall specific shared components.

To uninstall Polyspace shared components:

  1. Enter Polyspace_Common/Uninstall/Uninstall

    The shared components are uninstalled.

  


 © 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS