(DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS
polyspace-configure прослеживает вашу систему сборки и создает проект Polyspace® с информацией, собранной от вашей системы сборки.buildCommand
polyspace-configure прослеживает вашу систему сборки и использует [OPTIONS] buildCommand -option value изменить операцию по умолчанию polyspace-configure. Задайте модификаторы перед buildCommand, в противном случае они рассматриваются как опции в самой команде сборки.
В этом примере показано, как создать проект Polyspace, если вы используете команду, делают создавать ваш исходный код.targetName
buildOptions
Создайте проект Polyspace, задающий уникальное название проекта. Используйте -B или-W опция с makefileNamemake так, чтобы все необходимые как условие цели в make-файле были переделаны.
polyspace-configure -prog myProject \ make -B targetName buildOptions
Откройте проект Polyspace в пользовательском интерфейсе Polyspace.
В этом примере показано, как создать различные проекты Polyspace из той же трассировки вашей системы сборки. Можно задать который исходные файлы включать для каждого проекта.
Проследите свою систему сборки, не создавая проект Polyspace путем определения опции -no-project. Чтобы гарантировать, что все необходимые как условие цели в вашем make-файле переделаны, используйте соответствующий make создайте опцию команды, например, -B.
polyspace-configure -no-project make -B
polyspace-configure хранит информацию кэша и трассировку сборки в местоположениях по умолчанию в текущей папке. Чтобы хранить информацию кэша и трассировку сборки в другом месте, задайте опции -cache-path и -build-trace.
Сгенерируйте проекты Polyspace при помощи трассировочной информации сборки от предыдущего шага. Задайте название проекта и используйте -include-sources или -exclude-sources опция, чтобы выбрать, который файлы включать для каждого проекта.
polyspace-configure -no-build -prog myProject \ -include-sources "glob_pattern"
glob_pattern шаблон шарика, который соответствует папкам или файлам, вы просачиваетесь или из вашего проекта. Гарантировать интерпретатор не расширяет шаблоны шарика, которые вы передаете polyspace-configure, заключите их в двойные кавычки. Для получения дополнительной информации о поддерживаемом синтаксисе для шаблонов шарика смотрите, что полипробел - конфигурирует Синтаксис Выбора Исходных файлов.
Если вы задали опции -build-trace и -cache-path на предыдущем шаге задайте их снова.
Удалите папка кэша и файл трассировки.
rm -r polyspace_configure_cache polyspace_configure_built_trace
-build-trace и -cache-path, используйте пути и имена файлов из тех опций.В этом примере показано, как запустить анализ Polyspace, если вы используете команду, делают создавать ваш исходный код. В этом примере вы используете targetName
buildOptionspolyspace-configure прослеживать вашу систему сборки, но не создавать проект Polyspace. Вместо этого вы создаете файл опций, который можно использовать, чтобы запустить анализ Polyspace от командной строки.
Создайте файл опций Polyspace, задающий -output-options-file команда. Используйте -B или-W опция с makefileNamemake так, чтобы были переделаны все необходимые как условие цели в make-файле.
polyspace-configure -output-options-file\ myOptions make -B targetName buildOptions
Используйте файл опций, который вы создали, чтобы запустить анализ Polyspace в командной строке:
buildCommand — Команда для создания исходного кодаСоздайте команду, заданную точно так же, как вы используете, чтобы создать ваш исходный код.
Пример: make -B, сделайте-W makefileName
[OPTIONS] — Опции для изменения операции по умолчанию polyspace-configure-, сопровождаемый аргументом | несколько разделенных пробелом пар аргумента опцииОсновные опции
| Опция | Аргумент | Описание |
|---|---|---|
-prog | Название проекта | Название проекта, которое появляется в пользовательском интерфейсе Polyspace. Значением по умолчанию является Если вы не используете опцию Пример:
|
-author | Имя автора | Имя автора проекта. Пример:
|
-output-project | Path | Имя файла проекта и местоположение для сохранения проекта. Значением по умолчанию является файл Пример:
|
-output-options-file | FileName | Опция, чтобы создать аналитический файл опций Polyspace. Используйте этот файл в анализе командной строки с помощью |
-allow-build-error | 'none' | Опция, чтобы создать проект Polyspace, даже если ошибка происходит в процессе сборки. Если ошибка происходит, журнал трассировки сборки показывает следующее сообщение: polyspace-configure (polyspaceConfigure) ERROR: build command command_name fail [status=status_value] command_name название команды сборки, которое вы используете и status_value ненулевой статус выхода или ошибочный уровень, который указывает, какая ошибка произошла в вашем процессе сборки. |
-allow-overwrite | 'none' | Опция, чтобы перезаписать проект с тем же именем, если это существует. По умолчанию, |
| 'none' | Опция, чтобы подавить или отобразить дополнительные сообщения от выполнения |
-help | 'none' | Опция, чтобы отобразить полный список |
-debug | 'none' | Опция, чтобы сохранить отладочную информацию для использования технической поддержкой MathWorks®. Эта опция была заменена опцией |
-easy-debug | Path | Опция, чтобы сохранить отладочную информацию для использования технической поддержкой MathWorks. После |
Опции, чтобы создать несколько модулей
| Опция | Аргумент | Описание |
|---|---|---|
-module | 'none' | Опция, чтобы создать отдельный файл опций для каждого двоичного файла, созданного в системе сборки. Можно только создать отдельные файлы опций для различных двоичных файлов. Вы не можете создать несколько модулей в проекте Polyspace (для выполнения в пользовательском интерфейсе Polyspace). Используйте эту опцию только в системах сборки, которые используют GNU® и Визуальный C ++® компиляторы. См. также Строят Анализ Polyspace из модулей при помощи Команды Сборки. |
-output-options-path | Путь | Местоположение, где сгенерированные файлы опций сохранены. Используйте эту опцию вместе с опцией Файлы опций называют после того, как двоичные файлы создали в системе сборки. |
Расширенные настройки
| Опция | Аргумент | Описание |
|---|---|---|
-compiler-config | Путь и имя файла | Местоположение и имя конфигурационного файла компилятора. Файл должен быть в определенном формате. Для руководства смотрите существующие конфигурационные файлы в Пример:
|
-no-project | 'none' | Опция, чтобы проследить вашу систему сборки, не создавая проект Polyspace и сохранить трассировочную информацию сборки. Используйте эту опцию, чтобы сохранить вашу трассировочную информацию сборки для более позднего запуска |
-no-build | 'none' | Опция, чтобы создать проект Polyspace, использующий ранее сохраненную трассировочную информацию сборки. Чтобы использовать эту опцию, у вас должна быть трассировочная информация сборки, сохраненная от более раннего запуска Если вы используете эту опцию, вы не должны задавать |
-no-sources | 'none' | Опция, чтобы создать файл опций Polyspace, который не содержит технические требования исходного файла. Используйте эту опцию, когда вы будете намереваться задать исходные файлы другими средними значениями. Например, можно использовать эту опцию когда:
|
-extra-project-options | Опции, чтобы использовать в последующем анализе Polyspace. Например, "-stubbed-pointers-are-unsafe". | Опции, которые используются в последующем анализе Polyspace. Если проект Polyspace создается, можно изменить некоторые опции по умолчанию в проекте. В качестве альтернативы можно передать эти опции при трассировке команды сборки. Флаг Укажите, что несколько опций на пробеле разделили список, например Предположим, что необходимо установить опцию Для списка доступных опций см.:
Если вы создаете файл опций вместо проекта Polyspace от вашей команды сборки, не используйте этот флаг. |
-tmp-path | Path | Местоположение папки, где временные файлы хранятся. |
-build-trace | Путь и имя файла | Местоположение и имя файла, где информация о сборке хранится. Значением по умолчанию является Пример:
|
| Шаблон шарика | Опция, чтобы задать, который исходные файлы Исходный файл включен, если путь к файлу совпадает с шаблоном шарика, который вы передаете Исходный файл исключен, если путь к файлу совпадает с шаблоном шарика, который вы передаете |
| 'none' | Опция, чтобы распечатать список исходных файлов, что Используйте эту опцию, чтобы диагностировать шаблоны шарика, которые вы передаете |
Опции управления кэшем
Эти опции, в основном, полезны для отладки. Используйте опции если polyspace-configure (polyspaceConfigure) сбои и MathWorks Technical Support просят, чтобы вы использовали опцию и обеспечили кэшируемые файлы. Запуская R2020a, опция -easy-debug обеспечивает более легкий способ обеспечить отладочную информацию. Смотрите Техническую поддержку Контакта О Проблемах с Рабочим Polyspace.
| Опция | Аргумент | Описание |
|---|---|---|
| 'none' | Опция, чтобы выполнить одно из следующего:
Как правило, вы кэшируете временные файлы, созданные вашей командой сборки, чтобы отладить проблемы в трассировке команды. |
-cache-path | Path | Местоположение папки, где информация о кэше хранится. Пример:
|
| 'none' | Опция, чтобы сохранить или очистить информацию о кэше после Если |
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.