Configure Polyspace Access License

The Polyspace^® Access license is a Network Named User (NNU) license that requires a license manager to manage license checkouts and an options file to specify the Named Users to whom you grant right-to-use privileges.

Prerequisites

• Install the license manager. See Install License Manager.

Follow these steps to configure the Polyspace Access license. To add or remove users, see Manage Named Users for Polyspace Access.

Note

Enterprise license customers. Contact your license administrator to configure the Polyspace Access Enterprise license.

1. Copy this template file to a text editor and save it as MLM.opt on the machine where you installed the license manager.

    Template

   # Options file used by MATLAB vendor daemon (MLM).
   # This file contains the INCLUDE lines necessary
   # for a User Based license.
   # If you change the user names listed here,
   # you must restart the license manager
   # for the changes to take effect.
   # The frequency of user name changes may be limited
   # by your software license agreement.
   # If you have combined multiple license files into a
   # single license file, you will need to change
   # the INCLUDE lines to specify a particular INCREMENT
   # line. You can do this using the "featurename Key=value"
   # syntax in the INCLUDE line.
   # See the FLEXnet Licensing End Users Guide for
   # details on how to use options files.
   
   # Make user names and host names case insensitive when
   # listed in a GROUP or HOST_GROUP.  This is not
   # required but it is here to prevent some common errors. 
   GROUPCASEINSENSITIVE ON
   
   # Define a group of users
   GROUP ACCESS_CP_users user1 user2 user3
   
   
   # Grant right-to-use privileges to individual users
   INCLUDE Polyspace_BF_Access USER user1
   INCLUDE Polyspace_BF_Access USER user2
   INCLUDE Polyspace_CP_Access USER admin
   # Grant right-to-use privileges to group of users
   INCLUDE Polyspace_CP_Access GROUP ACCESS_CP_users

   • Use this file to identify the users to whom you grant right-to-use privileges for Polyspace Bug Finder™ Access™ (Polyspace_BF_Access) and Polyspace Code Prover™ Access (Polyspace_CP_Access).

     A user with right-to-use privileges for Polyspace Bug Finder Access has right-to-use privileges for Polyspace as You Code.

   • For each user, enter the user name that the user specifies to log into Polyspace Access. The user names correspond to the user name entries in your company LDAP server or the User Manager internal directory. See Configure User Manager.

   • For Polyspace as You Code users, the user name must also match the user name used to log into the machine where the user installs and runs Polyspace as You Code.

2. Copy your Polyspace Access license to the machine where you installed the license manager and save it as license.dat. Then, open the file in a text editor and insert these lines at the top of the file.

   SERVER lmHostname HostID 27000 
   DAEMON MLM pathTo_MLM_bin options=pathTo_MLM.opt

   • lmHostname is the fully qualified domain name (FQDN) of the machine where you installed the license manager. To get the FQDN, open a command-prompt window and enter:

     Windows®	net config workstation | findstr /C:"Full Computer name"
     Linux®	hostname --fqdn

   • HostID is the MAC address that you provided to activate the Polyspace Access license. This MAC address must match the host ID listed for Polyspace Access in the license file. HostID must also match a MAC address on the machine where you run the license manager.

   • pathTo_MLM_bin is the path to the MLM binary. You can find this binary in LM_Folder\etc\win64 (Windows) or LM_Folder/etc/glnx64 (Linux), where LM_Folder is the folder where you installed the license manager.

   • pathTo_MLM.opt is the path to the options file that you created in step 1.

   • By default, the license manager starts on port 27000. To use a different port, specify a different port number at the end of the SERVER line.

   If you used the MATLAB^® installer to install the license manager, the file license.dat already exists in the folder matlabroot/etc and the file already includes the SERVER and DAEMON lines. You may have to add the options=pathTo_MLM.opt instruction on the DAEMON line of license.dat. matlabroot is your MATLAB installation folder. Append the content of your Polyspace Access license to the license.dat file and go to step 3.

3. Copy the SERVER line from the license.dat file and paste it in a new file in a text editor. Add USE_SERVER below the SERVER line.

   SERVER lmHostname HostID 27000
   USE_SERVER

   Save this file as network.lic in a location that is accessible from the machine where you installed Polyspace Access or Polyspace as You Code. This location can be on a different machine from the one where you installed the license manager.

   • For the Polyspace Access web server, specify the path to this file for the License file: field of the Polyspace Access Web Server settings in the Cluster Admin web interface. See Configure Polyspace Access App Services.

     Make sure that the docker engine can resolve the host name lmHostname. In a command-prompt window, enter:

     docker run --rm -it alpine ping lmHostname

     If the docker engine cannot resolve this host name, in network.lic, replace lmHostname with the IP address of the machine where you installed the license manager.

   • For Polyspace as You Code, specify the path to network.lic when the installer prompts you to provide a license file path. See Install Polyspace as You Code Using Installer.

4. In a command-prompt window, navigate to the folder where you installed the license manager, and then start the license manager.

   Windows	cd LM_Folder\etc\win64 lmgrd.exe -c pathToLicense -l lm_log.log On Windows, you can also use lmtool.exe and go to the Start/Stop/Reread tab to start the license manager.
   Linux	cd LM_Folder/etc/glnx64 ./lmgrd -c pathToLicense -l lm_log.log

   LM_Folder is the folder where you installed the license manager.

   pathToLicense is the path to the license.dat file that you saved on the machine where you installed the license manager. The command starts the license manager and outputs a log file lm_log.log. Refer to this log file for debugging purposes.

   Note

   The license file path listed in the log and error messages of the license manager might not correspond to pathToLicense. The Polyspace Access Web Server service remaps pathToLicense to an internal path inside the docker container.

5. After you start the license manager, ensure that the license manager is configured to automatically start at boot time.

   Windows	Use lmtool.exe and go to the Config Services tab, then check that Start Server at Power Up and Use Services are selected.
   Linux	Refer to the documentation for your Linux distribution to configure the license manager to start automatically at boot time, for instance by adding a script to the /etc/inti.d folder. Configure the license manager to start at the end of the boot sequence.

Each licensed Polyspace Access user can log in to up to five concurrent sessions.

Polyspace Access ignores any license timeout value you set in the license options file (MLM.opt) by using the syntax TIMEOUT feature seconds. To set the licensing timeout, use the Authentication token expiration setting of the User Manager. See Configure User Manager.

To review or generate reports for results that were generated with Polyspace Code Prover or Polyspace Ada products and that are stored on Polyspace Access, you need a Polyspace Code Prover Access license.

Install License Manager

The license manager is shipped with the Polyspace Access software. The license manager binaries and utilities are located in accessRoot/lm. accessROOT is the folder where you extracted your Polyspace Access installation image.

To run the license manager on a separate server from the server where you run Polyspace Access, copy the folder that corresponds to your platform from accessRoot/lm, for instance accessRoot/lm/glnxa64, to that server. The license manager folder includes these binaries:

• lmgrd: Core license manager binary. Use this binary to start the license manager from the command line. For a list of useful commands, enter lmgrd -h.

• mlm: The MATLAB vendor daemon.

• lmutil: a suite of tools for administering the license manager at the command line. For a list of useful commands, enter lmutil -h.

• lmtools.exe (Windows only): Graphical user interface for administering the license manager.

• For Linux systems, the license manager folder also includes command-line utilities. See Using Command-Line Utilities.

To avoid any potential issues with license file operation, make sure that you run the latest license manager software version. To view the latest license manager software version available, see the FlexNet^® Version on this page.

To check your current license manager software version, at the command line, depending on your operating system, enter the commands listed in this table.

Windows	cd LM_Folder\etc\win64 lmgrd.exe -v
Linux	cd LM_Folder/etc/glnx64 ./lmgrd -v

LM_Folder is the folder where you installed the license manager. See also Update Network License Manager Software.

Related Topics

• Install Polyspace as You Code Using Installer
• Configure Polyspace Access App Services