Visual Studio ビルドからのプロジェクト作成時のトラブルシューティング

polyspace-configure を実行して、Visual Studio^® ビルドから Polyspace^® プロジェクトまたはオプション ファイルを作成できます。このコマンドは、ビルド中に実行されるプロセスを監視し、プロジェクトまたはオプション ファイルに必要な情報を抽出します。

次のいずれかの方法で Visual Studio ビルドをトレースできます。

• Visual Studio プロジェクトをコマンド ラインの msbuild でビルドし、このビルドを polyspace-configure でトレースする。

  このワークフローでは、polyspace-configure を msbuild コマンドで Visual Studio プロジェクト ファイル (.vcxproj) を指定して実行します。たとえば、Visual Studio 2019 Developer Prompt で以下を入力します。

  polyspace-configure msbuild TestProject.vcxproj /t:Rebuild

• Visual Studio プロジェクトを Visual Studio IDE でビルドし、このビルドを polyspace-configure でトレースする。

  polyspace-configure を devenv.exe 実行可能ファイルで実行して Visual Studio IDE を開き、IDE 内でプロジェクトまたはソリューションをビルドしてから IDE を閉じます。

  Visual Studio ビルドからの Polyspace プロジェクトの作成を参照してください。

polyspace-configure を msbuild コマンドで実行しても正しく動作しない場合、以下を実行します。

1. msbuild プロセスを停止します。

2. 環境変数 MSBUILDDISABLENODEREUSE を 1 に設定します。

3. polyspace-configure を msbuild で再起動します。今回は /nodereuse:false オプションを使用します。次に例を示します。

   polyspace-configure msbuild TestProject.vcxproj /t:Rebuild /nodereuse:false

参考

polyspace-configure