-c

指定产品使用的许可证文件的路径

语法

-c licensePath

描述

-c licensePath 指定产品使用的许可证文件的路径。当您指定此选项时，Polyspace® 只会查找此文件来用作许可证。其他可能的位置（例如环境变量 MLM_LICENSE_FILE 和 LM_LICENSE_FILE，或者 Polyspace 安装文件夹下的 licenses 文件夹）将被忽略。

默认情况下，Polyspace 会按以下顺序查找许可证：环境变量、注册表键、用户配置文件，以及 licenses 文件夹。有关详细信息，请参阅许可证文件搜索路径是什么。

使用此选项来排查安装问题（例如，当 Polyspace 无法在默认位置找到许可证时），或者在当前已签出的许可证没有更多可用席位时使用其他许可证。

注意

当您使用此选项指定 Polyspace 许可证时，只能指定许可证路径。不支持使用许可证服务器的端口和主机名（例如 -c 27000@lisenseServerHostname）。

示例

当您启动桌面端界面或 Polyspace 分析时，请使用许可证 C:\ps_license\license.lic。

  • Polyspace 桌面端界面

    polyspace -c C:\ps_license\license.lic

  • Bug Finder 分析：

    polyspace-bug-finder -c C:\ps_license\license.lic -sources...

  • Code Prover 分析：

    polyspace-code-prover -c C:\ps_license\license.lic -sources...

  • Bug Finder Server 分析：

    polyspace-bug-finder-server -c C:\ps_license\license.lic -sources...

  • Code Prover Server 分析：

    polyspace-code-prover-server -c C:\ps_license\license.lic -sources...

另请参阅

主题