Choose the Polyspace Access server to be used in this project, as defined in the Configure System page.
You can then use these variables in scripts in the Build section of this project. For instance, in a Shell script, use these variables with the syntax $VAR
. In a Windows batch file, use the syntax %VAR%
.
POLYSPACE_ACCESS_HOST
is the hostname of the Polyspace Access server.POLYSPACE_ACCESS_PROTOCOL
is the protocol (http or https) of the Polyspace Access server.POLYSPACE_ACCESS_PORT
is the port number of the Polyspace Access server.POLYSPACE_ACCESS_URL
is the URL of the Polyspace Access server.ps_helper_access
is a helper utlity to interact with the specified Polyspace Access server.
Syntax (shell scripts):
$ps_helper_access -upload ResultsDirwhere
ResultsDir
is a folder containing Polyspace results. The helper utility expands to:
polyspace-access -host hostname -port portnumber -login username -encrpyted-password pwdwhere the specified server settings and login credentials are used.