|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
Polyspace software is installed in three folders.
The principal folder contains the kernel of the installed Polyspace release. The default folder is C:\Polyspace\PolyspaceForlanguage, where language can be either CandCPP or Ada.
A common components folder contains the shared components available for any language, such as the Java run time library, the Polyspace Verification Environment, the Remote Launcher (RL), and any add-ins (such as the Polyspace C++ add-in for Visual Studio and the Polyspace In One Click Toolbar (POC)). The default folder is C:\Polyspace\Polyspace_Common.
A folder contains the Remote Launcher configuration file polyspace.conf. The folder is C:\Polyspace\Polyspace_RLDatas.
In this document, these folders are referred to as follows:
Polyspace_Install refers to C:\Polyspace\PolyspaceForLanguage (/usr/local/Polyspace/PolyspaceForLanguage for UNIX systems),
Polyspace_Common refers to C:\Polyspace\Polyspace_Common (/usr/local/Polyspace/Polyspace_Common for UNIX systems).
PolyspaceRLDatas refers to C:\Polyspace\Polyspace_RLDatas (/var/Polyspace for UNIX systems).
 | Polyspace Installation Options | Installing Polyspace Software |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |