Configure License Borrowing for Polyspace Products

If your Polyspace^® product uses a license that requires a license manager, for example a Commercial Concurrent license, you can enable license borrowing and borrow a license.

Borrow a license for up to 720 hours (30 days) to continue using your Polyspace product even after you disconnect your machine from the license manager server.

Licenses that support borrowing include the keyword BORROW on the INCREMENT lines for products, for example:

INCREMENT Polyspace_BF MLM 40 01-jan-0000 5 BORROW=720 \
	AB1CD234567EF6A3C24A

You must be an administrator to enable license borrowing. See Enable License Borrowing.

Borrow a Polyspace License

Note

This workflow applies to R2019a and later releases. For R2018b and earlier releases, see Borrow Licenses.

To borrow a license, use the lmutil binary that is available with the license manager installation.

The binary is in the same folder as the lmgrd and MLM binaries, for instance installFolder\win64\etc, where installFolder is the license manager installation folder. If you do not know the location of this folder contact your Polyspace license administrator.

Alternatively, download the license manager, including the lmutil binary from the License Manager Download page.

To borrow a license:

Copy the lmutil binary to the machine from which you want to borrow a license.
Use this format to run the command that specifies the borrow period end date, and optionally, the end time:
```
lmutil lmborrow MLM dd-Mmm-YYYY hh:mm
```
For instance, to borrow a license until January 20, 2021 a 1pm, enter:
```
 lmutil lmborrow MLM 20-Jan-2021 13:00
```
If you do not specify an end time, the licenses expires at midnight on the day that you specify.
Run the product whose license you want to borrow. For instance, to borrow a license for the Polyspace as You Code product, use that product to analyze a small source file.
To check the borrow status of your license, run this command:
```
lmutil lmborrow -status
lmutil - Copyright (c) 1989-2021 Flexera. All Rights Reserved.
Vendor     Feature                             Version    Expiration
______     ________                            __________ __________

MLM        Polyspace_BF_Access                            20-Jan-21 13:00
```
The command returns the name of the feature and the expiration date and time of the borrowed license.
Disconnect your machine from the network and continue using your Polyspace product.

So that you do not borrow licenses for other products, after step 3, run this command:

lmutil lmborrow -clear

Return Polyspace License

To return your borrowed license before the end of the borrow period:

Connect your machine to the network of the license manager.

Run the command that specifies the name of the feature whose license you are returning, and either the path of the license file licenseFilePath or the port and hostname associated with the license server serverPort@serverHostname.

lmutil lmborrow -return -c licenseFilePath | serverPort@serverHostname featureName

This table shows how to obtain the values of the different command parameters.

Parameter Description

Parameter	Description
`licenseFilePath`	Path of the license file. Typically, this license is stored under the `polyspaceroot``/licenses` folder, where `polyspaceroot` is the Polyspace product installation folder on the machine where you borrowed the license. For example, `C:\Program Files\Polyspace\R2024b`.
`serverPort@serverHostname`	The port number and hostname of the machine where the license server that manages the borrowed license. You can find the port number and hostname by inspecting the `SERVER` line of the license file with path `licenseFilePath`. For example, if the license file contains this line: SERVER serverHostname A1234BCDE56F 56789 Specify `56789@serverHostname`. If the line does not include a port number, use the default port value, `27000`.
`featureName`	The name of the feature listed on the `INCREMENT` line of the server side license file. For example: `Polyspace_BF` — Polyspace Bug Finder™ `Polyspace_CP` — Polyspace Code Prover™ `Polyspace_BF_Access` — Polyspace as You Code `Polyspace_Test` — Polyspace Test™

licenseFilePath

Path of the license file. Typically, this license is stored under the polyspaceroot/licenses folder, where polyspaceroot is the Polyspace product installation folder on the machine where you borrowed the license. For example, C:\Program Files\Polyspace\R2024b.

serverPort@serverHostname

The port number and hostname of the machine where the license server that manages the borrowed license. You can find the port number and hostname by inspecting the SERVER line of the license file with path licenseFilePath.

For example, if the license file contains this line:

SERVER serverHostname A1234BCDE56F 56789

Specify 56789@serverHostname. If the line does not include a port number, use the default port value, 27000.

featureName

The name of the feature listed on the INCREMENT line of the server side license file. For example:

Polyspace_BF — Polyspace Bug Finder™
Polyspace_CP — Polyspace Code Prover™
Polyspace_BF_Access — Polyspace as You Code
Polyspace_Test — Polyspace Test™

For instance, to return a Polyspace Bug Finder desktop license (Polyspace_BF), enter:

lmutil lmborrow -return -c C:\Program Files\Polyspace\R2024b\licenses\license.lic Polyspace_BF