Можно запустить polyspace-configure в Visual 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 исполняемый файл, чтобы открыть Visual Studio IDE, создать проект или решение в среде IDE, а затем закрыть среду IDE.
См. раздел Создание проекта с использованием информации Visual Studio.
Если выполняется polyspace-configure на msbuild команда не работает должным образом, выполните следующее:
Остановите msbuild процесс.
Установите переменную окружения MSBUILDDISABLENODEREUSE по 1.
Перезапустите polyspace-configure на msbuild, на этот раз используя /nodereuse:false опция. Для образца:
polyspace-configure msbuild TestProject.vcxproj /t:Rebuild /nodereuse:false