Инструкция по сборке Rodin¶

Оригинальная инструкция на английском: Building Rodin Headless

1. Скачать репозиторий rodincore и выполнить сборку в Eclipse пользуясь другой инструкцией. Это необходимо, так как некоторые исходные файлы генерируются только после первой сборки
2. В файле org.eventb.parent/pom.xml в поле <www-basedir> указана директория по умолчанию (/tmp/rodin-build/rodin-3.6), в которой по итогам сборки будут скопированы архивы для всех трех целевых платформ (Windows, Linux, macOS), Rodin target platform (архив, необходимый для разработки плагинов к Rodin) и update-site. При необходимости можно указать другой путь
3. Перед сборкой нужно создать в ~/.m2/toolchains.xml файл с содержимым по шаблону org.rodinp.releng/toolchains.xml с указанием пути к jvm
4. Для сборки требуется 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
5. Если сборка прошла успешно, а по какой-то причине(?) директория <www-basedir> пуста, то требуемые архивы можно найти в следующих местах:
   • Архивы для всех трех целевых платформ: в директории org.rodinp.platform.repository/target/products
   • Rodin target platform: в директории org.rodinp.dev/target
6. Сборка также может осуществляться вручную при помощи команды mvn install -Dversion-suffix="" "$@" # -fae|-fn на корневой папке репозитория. При этом будут запущены gui тесты. Чтобы отключить тесты при сборке можно воспользоваться аргументом
   -DskipTests.
7. Для переноса данных с одного update_site на другой можно воспользоваться скриптом mirror.sh