Exponenta Banner

-generate-launching-script-for

Извлечение информации из файла проекта

Синтаксис

-generate-launching-script-for PRJFILE

Описание

-generate-launching-script-for PRJFILE извлекает информацию из файла проекта PRJFILE (созданный в пользовательском интерфейсе Polyspace® desktop products), чтобы можно было запустить анализ из командной строки. Для каждого модуля проекта и каждого строения в каждом модуле создается папка, содержащая следующие файлы:

  • source_command.txt - Список исходных файлов для -sources-list-file опция.

  • options_command.txt - Список опций анализа для -options-file опция.

  • temporal_exclusions.txt - Список временных исключений, сгенерированных только при указании Temporally exclusive tasks (-temporal-exclusions-file) опция.

  • .polyspace_conf.psprj - Копия файла проекта Polyspace, используемая для генерации файлов скриптов.

  • launchingCommand.sh (UNIX) или launchingCommand.bat (DOS) - интерпретатор скрипт, который вызывает правильные команды. Скрипт также вызывает любые опции, которые нельзя дать -options-file команду, например -batch или -add-to-results-repository. Вы можете задать этот файл дополнительного анализа параметры как параметры.

После настройки проекта в пользовательском интерфейсе Polyspace можно создать этот скрипт из получившегося файла проекта (с расширением .psprj). Скрипт, который генерирует Polyspace, запускает тот же анализ, что и запуск в пользовательском интерфейсе. Если ваш проект запускается без ошибок в пользовательском интерфейсе Polyspace, скрипт запускается без ошибок в командной строке.

Чтобы сгенерировать скрипт, необходимо запустить команду из той же папки, что и файл проекта.

Примеры

Извлечение информации для выполнения myproject из командной строки. Используйте эту опцию с двоичным polyspace рабочего стола:

  • Bug Finder:

    polyspace -generate-launching-script-for myproject.psprj -bug-finder

  • Code Prover:

    polyspace -generate-launching-script-for myproject.psprj

См. также

Темы

Документация Polyspace Code Prover

Поддержка