Project

General

Profile

Rodin core platform development » History » Revision 2

Revision 1 (Ilya Shchepetkov, 05/13/2021 04:35 PM) → Revision 2/4 (Ilya Shchepetkov, 05/13/2021 04:36 PM)

h1. Rodin core platform development 

 Информация частично взята из старой wiki страницы (не обновлялась с 2015): "Developer FAQ - Event-B":https://wiki.event-b.org/index.php/Developer_FAQ 

 Настройка Eclipse для работы над исходным кодом Rodin 3.6: 
 # Установить OpenJDK 11 
 # Скачать "Eclipse 2020-12 for Eclipse Committers":https://www.eclipse.org/downloads/packages/release/2020-12/r/eclipse-ide-eclipse-committers 
 # Запустить, нажать @Help > Install New Software…@, выбрать @Eclipse Project Updates@ site и установить два плагина: @API Tools Execution Environment Descriptions@ и @Eclipse SDK@ 
 # Выставить в настройках опцию @Missing API Baseline@ в значение @ignore@ 


 Скачать исходный код Rodin core: 
 # Нажать @File > Import…@ 
 # Выбрать @Git > Projects from Git@ и нажать Next 
 # Выбрать @Clone URI@ и нажать Next 
 # В поле @URI@ вставить @git://git.code.sf.net/p/rodin-b-sharp/rodincore@ и нажать Next 
 # Выбрать ветки (для начала достаточно master) и нажать Next 
 # В поле @Directory@ выбрать путь, в который будет склонирован репозиторий, и нажать Next 
 # Выбрать @Import existing Eclipse projects@ и нажать Next 
 # Из списка проектов убрать те, в путях которых имеется директория @_exploratory@ - это проекты, имеющие историческую ценность, но в данный момент не используются и вызывают ошибки сборки 
 # Finish 

 Сборка: 
 # Выполнить @Clean build@, увидеть несколько ошибок компиляции 
 # При первой сборке сгенерируются некоторые исходные файлы. Для их включения в проект в @Package explorer@ необходимо выделить все пакеты и нажать Refresh 
 # Повторить @Clean build@ - ошибок компиляции теперь быть не должно 
 # Выставить в настройках @Target platform@ - в списке будет целевая платформа, заданная в @org.eventb.parent/eclipse.target@ 

 Запуск: 
 # Запустить @Rodin.product@ в пакете @org.rodinp.platform@ как @Eclipse application@. Сборка упадет, так как в конфигурации выключены не все требуемые плагины 
 # Открыть @Run -> Run configurations@ 
 # Выбрать только что сгенерированную конфигурацию запуска (@Rodin.product@) 
 # Перейти на вкладку @Plug-ins@ 
 # Выбрать @launch with: all workspace and enabled target plug-ins in the run configuration@ 
 # Далее для запуска использовать @Run -> Run@ 
 # При запуске может возникнуть исключение (которое в целом не мешается, но может быть надоедливым - "возможное решение":https://sourceforge.net/p/rodin-b-sharp/mailman/rodin-b-sharp-devel/?style=flat&viewmonth=201410) 


 Возможно, также полезным будет следующий абзац из документации: 
 > To activate the Execution environment for @Java 6@ Java 6 on @org.eventb.core.ast@, org.eventb.core.ast, go to @Window Window > Preferences…@, Preferences…, type @exec@ exec in the search box in the upper-left corner and select @Java *Java > Installed JREs > Execution Environments@ Environments* and select a compatible JRE for the entry @JavaSE-1.6@. {{{JavaSE-1.6}}}.