Project

General

Profile

Edit History

Rodin core platform development » History » Version 1

Ilya Shchepetkov, 05/13/2021 04:35 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
    
    
    
# Выставить в настройках опцию @Missing API Baseline@ в значение @ignore@





    10
    
    
    





    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
    
    
    
# При первой сборке сгенерируются некоторые исходные файлы. Для их включения в проект в @Package explorer@ необходимо выделить все пакеты и нажать Refresh





    26
    
    
    
# Повторить @Clean build@ - ошибок компиляции теперь быть не должно





    27
    
    
    
# Выставить в настройках @Target platform@ - в списке будет целевая платформа, заданная в @org.eventb.parent/eclipse.target@





    28
    
    
    





    29
    
    
    
Запуск:





    30
    
    
    
# Запустить @Rodin.product@ в пакете @org.rodinp.platform@ как @Eclipse application@. Сборка упадет, так как в конфигурации выключены не все требуемые плагины





    31
    
    
    
# Открыть @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
    
    
    
> 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}}}.