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@. |