polyspacesetup
Polyspace インストールと Simulink の統合
構文
説明
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 フォルダーを列挙します。
例
入力引数
バージョン履歴
R2019a で導入