Можно запустить 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