Инструкция по сборке Rodin » History » Version 1
Ilya Shchepetkov, 06/25/2021 04:42 PM
| 1 | 1 | Ilya Shchepetkov | h1. Инструкция по сборке Rodin |
|---|---|---|---|
| 2 | |||
| 3 | Оригинальная инструкция на английском: "Building Rodin Headless":https://wiki.event-b.org/index.php/Building_Rodin_Headless |
||
| 4 | |||
| 5 | # Скачать репозиторий @rodincore@ и выполнить сборку в Eclipse пользуясь "другой инструкцией":https://forge.ispras.ru/projects/spmodeler/wiki/Rodin_core_platform_development. Это необходимо, так как некоторые исходные файлы генерируются только после первой сборки |
||
| 6 | # В файле @org.eventb.parent/pom.xml@ в поле @<www-basedir>@ указана директория по умолчанию (@/tmp/rodin-build/rodin-3.6@), в которой по итогам сборки будут скопированы архивы для всех трех целевых платформ (Windows, Linux, macOS), Rodin target platform (архив, необходимый для разработки плагинов к Rodin) и update-site. При необходимости можно указать другой путь |
||
| 7 | # Для сборки требуется @Java 11@ и @Apache Maven@. Сборка выполняется следующей командой из корня репозитория: @./org.rodinp.releng/scripts/run-maven.sh@. Иногда может потребоваться явно указать, какую из установленных версий @Java@ использовать: это можно сделать с помощью переменной @JAVA_HOME@, пример: @JAVA_HOME=/usr/local/opt/openjdk@11 ./org.rodinp.releng/scripts/run-maven.sh@ |
||
| 8 | # Если сборка прошла успешно, а по какой-то причине(?) директория @<www-basedir>@ пуста, то требуемые архивы можно найти в следующих местах: |
||
| 9 | ** Архивы для всех трех целевых платформ: в директории @org.rodinp.platform.repository/target/products@ |
||
| 10 | ** Rodin target platform: в директории @org.rodinp.dev/target@ |