This article only applies to Polyspace R2013a and earlier. As of R2013b, Polyspace licensing part of MATLAB licensing. See the MATLAB documentation for instructions on installing and licensing MATLAB:
Installing Polyspace R2013a and earlier:
PolySpace products support two main types of license:
- Designated Computer (DC) license. These licenses are used only for PolySpace client software.
- Concurrent license. These licenses can be used for both PolySpace client and PolySpace server features.
Once you specify your MAC Address or serial disk number, you will receive one or more license files depending on the type of license you have.
This solution describes where to put the license files, and how to configure your license, depending on the license type and features you are using.
Configuring FLEXnet Licenses for PolySpace Products (R2007a+ and later)
- What Types of Licenses Do PolySpace Products Support?
- Configuring a Designated Computer License
- Configuring a Concurrent License on the server
- Configuring a Concurrent License on a client
- Identifying Designated Computer and Concurrent Licenses
- What If I have Other MathWorks Products Installed?
- What If I have an Old PolySpace FLEXnet License Server?
What Types of Licenses Do PolySpace Products Support?
PolySpace products support two main types of license:
- Designated Computer (DC) license - Also called an individual license. These licenses are used only for PolySpace client software.
- Concurrent license - Also called a floating license. These licenses can be used for both PolySpace client and PolySpace server features.
Once you specify your MAC Address or serial disk number, you will receive one or more license files depending on the type of license you have.
This document describes where to put the license files, and how to configure your license, depending on the license type and features you are using.
Configuring a Designated Computer License
A Designated Computer license is available only for PolySpace client software. The license file looks like the following:
# MATLAB license passcode file.
# License No: 111111
INCREMENT PolySpace_Client_C_CPP MLM 19 01-jan-0000 uncounted \
ABCDEF12345678A HOSTID=DISK_SERIAL_NUM=388ab914 SN=111111 TS_OK
Place this license file in the directory C:\PolySpace\PolySpace_Common\etc, and name it license.dat. With a Designated Computer license, you do not need to run any FLEXnet server.
Configuring a Concurrent License on the server
A Concurrent license requires a FLEXnet server. The FLEXnet Server is available on the PolySpace CD-ROM at CD-ROM\Data\[Windows or Linux]\FLEXLM, and must be installed manually. Refer to the PolySpace License Installation Guide for information about installing the FLEXnet Server.
To generate a concurrent license file, you must provide the MAC address of the machine where you will install the network license manager. This license file contains a line for a concurrent PolySpace Server for C/C++ license, and a line for a PolySpace Client for C/C++ license.
After copying the FLEXnet tools to a directory on the dedicated MyFlexServer host, you must update the license file by adding the following lines at the top of the license.dat file:
SERVER MyFlexServer 00123456abc1
VENDOR MLM
INCREMENT PolySpace_Server_C_CPP MLM 19 01-jan-0000 2 \
A1B2C3D4E891011AB HOSTID=ID=111111 SN=111111
INCREMENT PolySpace_Client_C_CPP MLM 19 01-jan-0000 1 \
A1BCD3EF12311078A HOSTID=ID=111111 SN=111111
The license file is now fully compatible with network license manager. For more information, refer to the FLEXnet End User's Guide. This procedure also applies if you want to add the features of the license file to an existing FLEXnet server. The FLEXnet server can be installed on a PolySpace Client machine, a PolySpace Server machine or any machine on the same network.
Configuring a Concurrent License on a client
Since the license mechanism is compatible with the environment variables LM_LICENSE_FILE and MLM_LICENSE_FILE on either a client or server system, you have two options:
- Set the environment variable LM_LICENSE_FILE using the command: "set LM_LICENSE_FILE=27000@MyFlexServer" where 27000 is the port on which to reach the FLEXnet server on the host MyFlexServer.
- Create a license.dat file containing the following two lines:\nSERVER MyFlexServer 00123456abc1 27000USE_SERVER
Then, place the file license.dat in C:\PolySpace\PolySpace_Common\etc.
Identifying Designated Computer and Concurrent Licenses
Individual license files have the word "uncounted" in the license line. This line is used directly in the license file. See the example in Configuring a Designated Computer License.
What If I have Other MathWorks Products Installed?
PolySpace products use the same license mechanism as other MathWorks products. If you receive a Designated Computer license for PolySpace products, refer to Configuring a Designated Computer License.
If you receive a Concurrent License and you already use a FLEXnet Server for other MathWorks products, you must add all concurrent INCREMENT lines in the PolySpace license to the FLEXnet Server, and reread it. Then, refer to Configuring a Concurrent license on a PolySpace Client or PolySpace Server System.
What If I have an Old PolySpace FLEXnet License Server?
To use PolySpace products release R2007a+ or later, you must upgrade the FLEXnet Server to the one available on the PolySpace product CD-ROM.
The upgrade process involves uninstalling your old FLEXnet server and installing the new one. For installation information, see Configuring a Concurrent License on the FLEXnet Server System. Then, refer to Configuring a Concurrent License for licensing information.
