Polyspace でビルドスクリプトがサポートされるかどうかの確認

このトピックは、ビルドスクリプトから Windows^® の Polyspace^® プロジェクトを作成している場合にのみ関係します。

Polyspace が Windows コンソールアプリケーション (cmd.exe 以外) でビルドスクリプトをトレースすると、コマンドは失敗します。ただし、ビルドコマンド自体の実行は完了します。

たとえば、Cygwin™ シェルではビルドスクリプトの実行が完了するとします。しかし、Polyspace がビルドをトレースすると、ビルドスクリプトでエラーが発生します。

Windows コンソールアプリケーション起動時には、環境変数は正しく設定されています。cmd.exe とは異なる環境が、別のコンソールアプリ (Cygwin シェルなど) で設定されることがあります。

Polyspace は、ビルドスクリプトの実行が cmd.exe で完了していると仮定して、スクリプトをトレースしようとします。したがって、スクリプトの実行が別のコンソールアプリケーションで完了した場合でも、Polyspace でビルドがトレースされると、スクリプトは失敗する可能性があります。

ビルドスクリプトの実行が cmd.exe インターフェイスで完了されるようにします。ビルドが正常に実行されたら、そのスクリプトを囲むラッパーとなる .bat ファイルを作成し、このファイルをトレースします。

たとえば、Cygwin シェルで実行が完了したビルドコマンドをトレースする前に、cmd.exe で Cygwin シェルを起動し、ビルドスクリプトを実行します。一例として、スクリプト build.sh を使用してコードをビルドするには、DOS コマンドラインで次のコマンドを入力します。

cmd.exe /C "C:\cygwin64\bin\bash.exe" --login -c build.sh

この手順で実行が完了しない場合、Polyspace ではビルドをトレースできません。

この手順で正しく完了したら、cmd.exe からビルドコマンドを起動した後にトレースします。たとえば、コマンドラインでは、次の手順で Polyspace のオプションファイルを作成します。

.bat ファイルにビルドコマンドを入力します。
```
rem @echo off
cmd.exe /C "C:\cygwin64\bin\bash.exe" --login -c build.sh
```
ファイルに launching.bat などの名前を付けます。
.bat ファイルでビルドコマンドをトレースして、Polyspace のオプションファイルを作成します。
```
"C:\Program Files\MATLAB\R2025a\polyspace\bin\polyspace-configure.exe" -output-options-file myOptions.txt launching.bat
```

これで、オプションファイルで polyspace-bug-finder または polyspace-bug-finder-server を実行できるようになります。

Polyspace でビルド スクリプトがサポートされるかどうかの確認