Project

General

Profile

Rodin core platform development » History » Version 4

Pavel Ivanov, 05/20/2021 03:26 PM

1 1 Ilya Shchepetkov
h1. Rodin core platform development
2
3
Информация частично взята из старой wiki страницы (не обновлялась с 2015): "Developer FAQ - Event-B":https://wiki.event-b.org/index.php/Developer_FAQ
4
5
Настройка Eclipse для работы над исходным кодом Rodin 3.6:
6
# Установить OpenJDK 11
7
# Скачать "Eclipse 2020-12 for Eclipse Committers":https://www.eclipse.org/downloads/packages/release/2020-12/r/eclipse-ide-eclipse-committers
8
# Запустить, нажать @Help > Install New Software…@, выбрать @Eclipse Project Updates@ site и установить два плагина: @API Tools Execution Environment Descriptions@ и @Eclipse SDK@
9 4 Pavel Ivanov
# Выставить в настройках @Plug-in Development/API Baselines@ опцию @Missing API Baseline@ в значение @ignore@
10 1 Ilya Shchepetkov
11
12
Скачать исходный код Rodin core:
13
# Нажать @File > Import…@
14
# Выбрать @Git > Projects from Git@ и нажать Next
15
# Выбрать @Clone URI@ и нажать Next
16
# В поле @URI@ вставить @git://git.code.sf.net/p/rodin-b-sharp/rodincore@ и нажать Next
17
# Выбрать ветки (для начала достаточно master) и нажать Next
18
# В поле @Directory@ выбрать путь, в который будет склонирован репозиторий, и нажать Next
19
# Выбрать @Import existing Eclipse projects@ и нажать Next
20
# Из списка проектов убрать те, в путях которых имеется директория @_exploratory@ - это проекты, имеющие историческую ценность, но в данный момент не используются и вызывают ошибки сборки
21
# Finish
22
23
Сборка:
24
# Выполнить @Clean build@, увидеть несколько ошибок компиляции
25 3 Ilya Shchepetkov
# При первой сборке сгенерируются некоторые исходные файлы. Для их включения в проект в @Package explorer@ необходимо выделить все пакеты, нажать по ним правой кнопкой и выбрать Refresh
26 1 Ilya Shchepetkov
# Повторить @Clean build@ - ошибок компиляции теперь быть не должно
27
# Выставить в настройках @Target platform@ - в списке будет целевая платформа, заданная в @org.eventb.parent/eclipse.target@
28
29
Запуск:
30 3 Ilya Shchepetkov
# Запустить @Rodin.product@ в пакете @org.rodinp.platform@ как @Eclipse application@. Сборка упадет, так как в конфигурации включены не все требуемые плагины
31 1 Ilya Shchepetkov
# Открыть @Run -> Run configurations@
32
# Выбрать только что сгенерированную конфигурацию запуска (@Rodin.product@)
33
# Перейти на вкладку @Plug-ins@
34
# Выбрать @launch with: all workspace and enabled target plug-ins in the run configuration@
35
# Далее для запуска использовать @Run -> Run@
36
# При запуске может возникнуть исключение (которое в целом не мешается, но может быть надоедливым - "возможное решение":https://sourceforge.net/p/rodin-b-sharp/mailman/rodin-b-sharp-devel/?style=flat&viewmonth=201410)
37
38
39
Возможно, также полезным будет следующий абзац из документации:
40 2 Ilya Shchepetkov
> To activate the Execution environment for @Java 6@ on @org.eventb.core.ast@, go to @Window > Preferences…@, type @exec@ in the search box in the upper-left corner and select @Java > Installed JREs > Execution Environments@ and select a compatible JRE for the entry @JavaSE-1.6@.