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