Инструкция по сборке 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. Для сборки требуется 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
4. Если сборка прошла успешно, а по какой-то причине(?) директория <www-basedir> пуста, то требуемые архивы можно найти в следующих местах:
   • Архивы для всех трех целевых платформ: в директории org.rodinp.platform.repository/target/products
   • Rodin target platform: в директории org.rodinp.dev/target