Exponenta Banner

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

Не может создать проект из сборки Visual Studio

При попытке импортировать Визуальный Studio® 2010 или проект Visual Studio 2012, и polyspace-configure не работает правильно, делает следующее:

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

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

  3. Задайте MSBuild.exe с the/nodereuse:false опцией.

  4. Перезапустите инструмент конфигурирования Polyspace®:

    polyspace-configure.exe -lang cpp <MSVS path>/msbuild sample.sln

Ошибка компиляции после создания проекта от сборки Visual Studio

Проблема

После того, как вы автоматически настроите свой проект от сборки Visual Studio 2010, вы сталкиваетесь с ошибками компиляции.

Возможная причина

По умолчанию Polyspace присваивает последнюю версию компилятора, visual12.0 к вашему проекту. Это присвоение может вызвать ошибки компиляции. Для получения дополнительной информации об опции, чтобы задать компиляторы, смотрите Compiler (-compiler).

Решение

Чтобы избежать ошибок, выполнить одно из следующих действий:

  • После автоматической настройки проекта:

    1. Откройте проект в пользовательском интерфейсе. На панели Configuration выберите Target & Compiler.

    2. Проверяйте установку на Compiler. Если это установлено в visual12.0, измените его на visual10.

    Примечание

    Если вы создаете файл опций из своей сборки Visual Studio 2010, проверяйте аргумент -compiler. Если это установлено в visual12.0, измените его на visual10.

  • Перед автоматической настройкой проекта:

    1. Откройте файл cl.xml в polyspaceroot\polyspace\configure\compiler_configuration\, где polyspaceroot является вашей папкой установки Polyspace, такой как C:\Program Files\Polyspace\R2019a.

    2. Измените строку

      <dialect>visual12.0</dialect>

      к

      <dialect>visual10</dialect>

    3. Создайте свой проект или файл опций. Компилятор уже присвоен visual10.

Документация Polyspace Code Prover
Поддержка