Создание проекта Поиска и устранения проблем от сборки Visual Studio

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

    Смотрите создают проект Используя информацию о Visual Studio.

При выполнении polyspace-configure на msbuild команда не работает правильно, делает следующее:

  1. Остановите msbuild процесс.

  2. Установите переменную окружения MSBUILDDISABLENODEREUSE к 1.

  3. Перезапустите polyspace-configure на msbuild, на этот раз использование /nodereuse:false опция. Например:

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

Смотрите также