Установите серверные продукты Polyspace в командной строке

Эта тема описывает, как выполнить установку Polyspace^® Серверные продукты полностью в командной строке.

Поддержка Серверных продуктов Polyspace автоматизированный Polyspace работает на сервере Непрерывного интегрирования (CI). Вы можете получать доступ к этому серверу через терминал или использовать платформы облачных вычислений, такие как Azure^® или AWS^®. В этих ситуациях вы не можете смочь установить Polyspace Bug Finder™ Server™ или Сервер Polyspace Code Prover™ с помощью графического инсталлятора. Используйте шаги ниже, чтобы выполнить установку командной строки.

Необходимые условия

Перед начинающейся установкой из командной строки отметьте следующее:

У вас должен быть файл лицензии (.lic файл) от MathWorks^® Ключ Установки Файла или FIK для этой лицензии. Чтобы получить файл лицензии и FIK, активируйте Polyspace в Центре Лицензии.
Некоторые начальные шаги установки происходят в графическом интерфейсе пользователя. Если вы не можете открыть графический интерфейс на своей целевой машине, у вас должен быть доступ к машине, где можно открыть графический интерфейс пользователя и затем передать файлы с этой машины на целевую машину.
На целевой машине у вас должны быть Основа Стандарта Linux или lsb пакет установлен. На большинстве стандартных установок уже установлен этот пакет. Машина должна также иметь unzip или эквивалентный пакет, чтобы извлечь файлы из .zip файл.

Шаги установки

Чтобы запустить Серверные продукты Polyspace, необходимо установить продукты и сетевой менеджер лицензий для лицензий управления.

Создайте инсталлятор

Можно загрузить легкий инсталлятор с сети и создать полный инсталлятор, требуемый для установки командной строки (или получить ISO-образ полного инсталлятора непосредственно от https://www.mathworks.com/downloads/web_downloads/download_iso).

Чтобы создать полный инсталлятор от легкого установщика загружают с сети:

Загрузите легкий инсталлятор (.zip файл) от сети на машине, где можно открыть графический интерфейс пользователя.
Например, можно загрузить инсталлятор с https://www.mathworks.com / загрузки. Машина, где вы загружаете инсталлятор, может иметь различную операционную систему от машины, где вы в конечном счете установите продукты. Например, можно загрузить легкий инсталлятор для Linux^® на Windows^® машина, создайте полный инсталлятор и затем передайте полный инсталлятор целевой машине Linux.
Разархивируйте и запустите установщика, чтобы загрузить дополнительные файлы продукта так, чтобы у вас был полный инсталлятор.
Например, если вы загрузили легкий инсталлятор на машину Linux:
1. Извлеките файлы от заархивированного установщика.
2. В терминале, cd к извлеченной папке и войдите:
```
./install
```
3. В интерфейсе инсталлятора, после регистрирования к вашему MathWorks Account и принятия Лицензионного соглашения, в меню Advanced Options, выбирают I want to download without installing.
4. Следуйте за подсказками, чтобы завершить загрузку.
  Ваша папка назначения, например, та, которая заканчивается MathWorks/Rxxxx, содержит все файлы, требуемые для полной установки.
На данном этапе легкий инсталлятор больше не требуется.

Установите продукт

Если у вас есть полный инсталлятор, вы готовы установить Серверные продукты Polyspace на любой машине.

Передайте файлы, которые вы загрузили на предыдущем шаге на машину без графического интерфейса пользователя.
На этой машине, запущенной полный установщик с входным файлом в качестве аргумента. В этом файле вы задаете различные специфические особенности установки, такие как папка установки, Ключ Установки Файла или FIK и путь к файлу лицензии.
Например, если вы устанавливаете на машине Linux:
1. Сделайте перезаписываемую копию файла installer_input.txt этому предоставляют файлы инсталлятора.
2. Считайте инструкции в файле и введите запрошенную информацию, такую как папка назначения, лицензионное соглашение, Ключ Установки Файла или FIK и выбор продукта. В отличие от установки десктопного решения, также необходимо ввести путь к файлу лицензии, который вы получили из MathWorks.
3. В терминале, cd к папке, содержащей файлы инсталлятора и, вводят следующее:
```
./install -inputFile installer_input_copy.txt
```
  где installer_input_copy.txt перезаписываемая копия файла installer_input.txt то, что вы сделали ранее (вышеупомянутая команда принимает, что копия сохранена в том же месте как исходный файл).
  В зависимости от того, где вы устанавливаете, вы можете потребовать привилегий суперпользователя для установки. Если так, предварительно ожидайте sudo к команде установки.
  Если вы создаете полный инсталлятор в Windows и затем передаете машине Linux для установки, вы можете видеть это сообщение об ошибке во время установки командной строки: Command not found. Извлеките содержимое zip-файла matlab_Rxxxx_glnxa64.zip так, чтобы необходимые файлы были доступны для установки командной строки.
После установки, cd к подпапке polyspace/bin в папке установки и войдите:
```
./polyspace-bug-finder-server -help
```
Если вы не видите эту подпапку или сталкиваетесь с другими ошибками, установка не может завершиться успешно. Проверяйте журнал установки. Вы указали, что это входит в систему входной файл, которому вы предоставили -inputFile опция. Как правило, путь к файлу является/tmp/mathworks_usernameжурнал.

Чтобы запустить Polyspace Bug Finder Server или Polyspace Code Prover Server на исходных файлах, необходимо также установить и запустить сетевой менеджер лицензий, который обрабатывает выезжать из лицензий. В противном случае, при попытке запустить polyspace-bug-finder-server (или polyspace-code-prover-server) на исходном файле C:

./polyspace-bug-finder-server -sources aFile.c

вы видите ошибку контроля лицензии.

Установите сетевой менеджер лицензий

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

Устанавливать сетевой менеджер лицензий:

Загрузите сетевой менеджер лицензий в заархивированном формате от https://www.mathworks.com/support/install/license_manager_files.html.
Если вы хотите запустить сетевой менеджер лицензий на машине без графического интерфейса пользователя, передайте заархивированный файл той машине.
Извлеките сетевые файлы менеджера лицензий к папке.

Измените эти файлы лицензии, чтобы позволить связь между установкой Сервера Polyspace и сетевым менеджером лицензий:

Файл лицензии (.lic файл) обеспеченный MathWorks: Добавьте следующие линии в начале файла лицензии:
```
SERVER hostname hostid port_number
DAEMON MLM path_to_mlm
```
где:
- hostname имя хоста сервера, размещающего сетевой менеджер лицензий. Найти имя хоста, в терминале, введите:
```
hostname
```
- hostid Мак адрес сервера. Вы обеспечили этот Мак адрес, чтобы получить файл лицензии (и этот адрес уже должен быть в комментарии в файле лицензии).
- port_number номер порта на сервере, используемом для коммуникации.
- path_to_mlm путь к двоичному файлу MLM, которому предоставляют сетевой менеджер лицензий. На Linux двоичный файл обычно располагается в подпапке etc/glnxa64 в сетевой папке менеджера лицензий. Спецификация в качестве примера: /usr/local/license_manager/etc/glnxa64/MLM.
network.lic файл в подпапке licenses в папке установки Сервера Polyspace: Измените линию начиная с SERVER точно реплицировать SERVER линия в предыдущем файле лицензии:
```
SERVER hostname hostid port_number
```

Запустить сетевой менеджер лицензий, на терминале, cd к подпапке etc/glnxa64 в сетевой папке менеджера лицензий и войдите:

./lmgrd -c path_to_license

где path_to_license путь к файлу лицензии (.lic файл) обеспеченный MathWorks наряду с вашими модификациями. Можно использовать опцию -l передавать выход по каналу к файлу журнала.

Можно также сконфигурировать сетевой менеджер лицензий, чтобы запуститься автоматически. Рекомендуется, чтобы вы не запускали менеджер лицензий как пользователь root, поскольку это - угроза безопасности, чтобы запустить любую программу, которая не требует корневых полномочий, и сетевой менеджер лицензий не требует корневых полномочий. Например, можно создать преданного пользователя с ограниченными полномочиями и запустить сетевой менеджер лицензий как этот пользователь. Смотрите Запускаются и менеджер лицензий Сети Остановки.

Теперь необходимо смочь запустить polyspace-bug-finder-server (или polyspace-code-prover-server) команда на исходном файле без ошибок. Смотрите Polyspace Bug Finder Запуска на Результатах Сервера и Загрузки к веб-интерфейсу или Polyspace Code Prover Запуска на Результатах Сервера и Загрузки к веб-интерфейсу (Polyspace Code Prover).

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