このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
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 で導入