Можно запустить polyspace-configure на Визуальной сборке Studio® и информации об извлечении от сборки, чтобы создать проект Polyspace® или файл опций.
Можно проследить сборку Visual Studio одним из следующих способов:
Разработайте свой проект Visual Studio полностью в командной строке с msbuild при трассировке этой сборки с polyspace-configure.
В этом рабочем процессе вы запускаете polyspace-configure на msbuild команда с проектом Visual Studio (.vcxproj) файл. Например, в подсказке разработчика Visual Studio 2019, введите следующее:
polyspace-configure msbuild TestProject.vcxproj /t:Rebuild
Разработайте свой проект Visual Studio в IDE Visual Studio при трассировке этой сборки с polyspace-configure.
Запустите polyspace-configure на devenv.exe исполняемый файл, чтобы открыть IDE Visual Studio, разработайте свой проект или решение в IDE, и затем закройте IDE.
При выполнении polyspace-configure на msbuild команда не работает правильно, делает следующее:
Остановите msbuild процесс.
Установите переменную окружения MSBUILDDISABLENODEREUSE к 1.
Перезапустите polyspace-configure на msbuild, на этот раз использование /nodereuse:false опция. Например:
polyspace-configure msbuild TestProject.vcxproj /t:Rebuild /nodereuse:false