-c

製品で使用するライセンス ファイルのパスの指定

構文

-c licensePath

説明

-c licensePath は、製品で使用するライセンス ファイルのパスを指定します。このオプションを指定すると、Polyspace® はライセンスとして使用するファイルとして、このファイルのみを探します。他に考えられる場所 (環境変数 MLM_LICENSE_FILE および LM_LICENSE_FILE や、Polyspace インストール フォルダー内の licenses フォルダーなど) は無視されます。

既定では、Polyspace は、環境変数、レジストリ キー、ユーザー プロファイル、licenses フォルダーの順にライセンスを探します。詳細は、What is the license file search path を参照してください。

このオプションを使用するのは、たとえば 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...

参考

トピック