polyspacesetup

Polyspace インストールと Simulink の統合

ページ内をすべて折りたたむ

構文

polyspacesetup('install')
polyspacesetup('install', 'polyspacefolder', folder)
polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent)
polyspacesetup('uninstall')
polyspacesetup('showpolyspacefolders')

説明

polyspacesetup は、MATLAB® や Simulink® と Polyspace® を統合します。既定以外のフォルダーにインストールされた Polyspace を統合することや、サイレントで統合を実行することもできます。この関数は、Polyspace と MATLAB または Simulink との間の統合の削除も行います。

polyspacesetup('install') は、既定のインストール フォルダー内の Polyspace と MATLAB または Simulink を統合します。Polyspace を既定ではないフォルダーにインストールした場合、この関数によりインストール フォルダーを指定するよう求められます。インストール フォルダーを参照してください。

Polyspace 解析用の MATLAB スクリプトを実行するには、MATLAB と Polyspace を別々のフォルダーにインストールしてから、この関数を使用してそれらを統合します。MATLAB や Simulink との Polyspace の統合またはPolyspace Server 製品と MATLAB との統合を参照してください。

例

polyspacesetup('install', 'polyspacefolder', folder) は、フォルダー folder 内にインストールされている Polyspace と MATLAB または Simulink を統合します。

例

polyspacesetup('install', 'polyspacefolder', folder, 'silent', isSilent) は、フォルダー folder 内にインストールされた Polyspace と MATLAB または Simulink を、isSilent が true の場合はメッセージを表示せずに統合し、isSilent が false の場合はプロンプトを使用して統合します。オプション -batch を使用して MATLAB を起動すると、isSilent が既定で true に設定されます。既定ではないフォルダーを使用して Polyspace をインストールした場合、そのフォルダーを folder で指定していなければ、-batch を使用して MATLAB を起動したとしても、インストール フォルダーを指定するよう求められます。

例

polyspacesetup('uninstall') は、現在リンクされている Polyspace のインストールを MATLAB からリンク解除します。

polyspacesetup('showpolyspacefolders') は、MATLAB の現在のインストールにリンクされているすべての Polyspace フォルダーを列挙します。

例

すべて折りたたむ

Polyspace と MATLAB または Simulink を統合するには、関数 polyspacesetup を使用します。

MATLAB を管理者権限またはルート権限で開きます。

MATLAB コマンド プロンプトで、次のように入力します。

polyspacesetup('install');
Polyspace を既定のフォルダー C:\Program Files\Polyspace\R2025b にインストールしている場合、このコマンドにより Polyspace と MATLAB が統合されます。ワークスペースがクリアされて、開いているすべてのモデルが閉じられることを示すプロンプトが表示される場合があります。[はい] をクリックします。このプロセスは、完了するのに数分かかることがあります。オプション -batch を使用して MATLAB を起動すると、プロンプトなしでインストールが完了します。

Polyspace インストールが既定の場所に見つからない場合、インストール場所を指定するよう求められます。次のコマンドを実行します。

polyspacesetup('install', 'polyspaceFolder', Folder)
ここでの Folder は Polyspace インストール フォルダーです。

MATLAB を再起動します。

コマンド ラインで非対話形式で Polyspace と MATLAB を統合するには、起動オプション -batch を使用して MATLAB を起動します。よく使われる起動オプションを参照してください。

起動オプション -batch を使用して MATLAB を起動すると、既定では polyspacesetup でメッセージが表示されません。つまり、この関数は、入力エラーがない限りメッセージを出力しません。

  1. Windows コマンド ライン プロンプトを管理者権限またはルート権限で開きます。

  2. 統合が非対話形式で必ず行われるようにするには、Polyspace のインストール フォルダーを指定します。コマンド ライン プロンプトで、次のように入力します。

    matlab -batch "polyspacesetup('install','polyspaceFolder',folder)"
    ここで、folder は Polyspace のインストール場所です。

  3. 統合が正常に完了すると、次のメッセージが表示されます。

    Polyspace plug-in: installation complete.
Restart MATLAB before using Polyspace plug-in.

    スクリプト内でこのコマンドを実行することもできます。たとえば、MATLAB と Polyspace のインストールを実行するスクリプトを使用できます。上記のコマンドを、MATLAB と Polyspace を非対話形式で統合するスクリプトに追加します。

Polyspace と MATLAB または Simulink を、メッセージを表示せずに統合するには、関数 polyspacesetup を使用します。既定で、Polyspace はフォルダー C:\Program Files\Polyspace\R2025b にインストールされます。

MATLAB を管理者権限またはルート権限で開きます。

MATLAB コマンド プロンプトで、次のように入力します。

polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
ここでの Folder は Polyspace インストール フォルダーです。このプロセスは、完了するのに数分かかることがあります。

MATLAB を再起動します。

入力引数

すべて折りたたむ

Polyspace インストール フォルダーへのパス。文字ベクトルとして指定します。

例: 'C:\Program Files\Polyspace\R2025b'

データ型: char

メッセージを表示せずに (ユーザー入力を求めずに) 統合を実行するかどうか。true または false として指定します。オプション -batch を使用して MATLAB を起動すると、この引数は既定で true に設定されます。

データ型: logical

バージョン履歴

R2019a で導入

参考

トピック