Этот раздел относится только к созданию проекта Polyspace ® в Windows ® на основе сценариев сборки.
Когда Polyspace отслеживает сценарий сборки в консольном приложении Windows, отличном от cmd.exe, команда завершается неуспешно. Однако команда build сама по себе выполняется до завершения.
Например, сценарий сборки выполняется до завершения из оболочки Cygwin™. Однако, когда Polyspace отслеживает построение, сценарий построения выдает ошибку.
При запуске консольного приложения Windows переменные среды устанавливаются соответствующим образом. Альтернативные консольные приложения, такие как оболочка Cygwin, могут настроить среду иначе, чем cmd.exe.
Polyspace пытается отследить сценарий построения с предположением, что сценарий выполняется до завершения в cmd.exe. Поэтому, даже если сценарий выполняется до завершения в альтернативном консольном приложении, при отслеживании сборки в Polyspace может произойти сбой сценария.
Убедитесь, что сценарий сборки выполняется до завершения в cmd.exe интерфейс. Если построение выполняется успешно, создайте оболочку .bat вокруг сценария и трассировка этого файла.
Например, перед трассировкой команды построения, которая выполняется до завершения в оболочке Cygwin, выполните одно из следующих действий.
Запустить оболочку Cygwin из cmd.exe а затем запустите сценарий сборки. Например, при использовании сценария build.sh для создания кода введите следующую команду в командной строке DOS:
cmd.exe /C "C:\cygwin64\bin\bash.exe" -c build.sh
Найдите полный путь к сценарию построения и запустите этот сценарий из cmd.exe.
Например, введите следующую команду в командной строке DOS:
cmd.exe /C path_to_script
path_to_script - полный путь к сценарию построения. Например, C:\my_scripts\build.sh.Если шаги не выполняются до завершения, Polyspace не может отследить построение.
Если шаги выполнены успешно, выполните трассировку команды build после ее запуска из cmd.exe. Например, в командной строке выполните следующие действия для создания файла параметров Polyspace.
Введите свои команды построения в .bat файл.
rem @echo off cmd.exe /C "C:\cygwin64\bin\bash.exe" -c build.sh
launching.bat.Трассировка команд построения в .bat и создайте файл параметров Polyspace.
"C:\Program Files\MATLAB\R2017b\polyspace\bin\polyspace-configure.exe" -output-options-file myOptions.txt launching.bat
Теперь можно выполнять polyspace-bug-finder в файле параметров.