Инструкция по сборке плагина SMT-солверов » History » Version 4
Ilya Shchepetkov, 06/25/2021 04:20 PM
| 1 | 1 | Pavel Ivanov | h1. Инструкция по сборке плагина SMT-солверов |
|---|---|---|---|
| 2 | |||
| 3 | 4 | Ilya Shchepetkov | # Скачать "Eclipse 2020-12 for Eclipse Committers":https://www.eclipse.org/downloads/packages/release/2020-12/r/eclipse-ide-eclipse-committers |
| 4 | # Скачать Rodin target platform: |
||
| 5 | ** Для сборка @master@ ветки плагина нужно скачать zip архив с префиксом @org.rodinp.dev@ с Sourceforge. Например, подойдет "вот этот":https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/org.rodinp.dev-3.6.0-77c344946.zip/download |
||
| 6 | ** Для сборки @ispras@ ветки необходим zip архив Rodin с нашими изменениями: файл с префиксом @org.rodinp.dev@ можно найти на вкладке @Files@ данного проекта |
||
| 7 | # Скачать репозиторий @rodin-b-sharp-smt@ (из данного проекта), выбрать нужную ветку и перейти в директорию @org.eventb.smt.releng@ |
||
| 8 | # Создать в директории @org.eventb.smt.releng@ директорию @archives@ и скопировать туда скачанные архивы с Eclipse и Rodin |
||
| 9 | # Отредактировать файл @build.sh@: |
||
| 10 | ## На 10 строке должно быть @SRC_PATH=$(pwd)/..@ |
||
| 11 | ## Закомментировать 26 строку: @# unzip -oq "../archives/$ECLIPSE_DELTA"@ |
||
| 12 | ## На 29 строке нжно добавить @-d rodin@: @unzip -oq "../archives/$RODIN_TARGET" -d rodin@ |
||
| 13 | # Отредактировать файл @config.sh@: |
||
| 14 | ## На 14 строке в переменную @GIT_COMMIT@ вставить номер собираемого коммита из репозитория @rodin-b-sharp-smt@ (8 символов) |
||
| 15 | ## На 26 строке в переменную @RODIN_TARGET@ вставить имя архива с Rodin (который находится в директории @archives@) |
||
| 16 | ## На 29 строке в переменную @ECLIPSE_SDK@ вставить имя архива с Eclipse |
||
| 17 | # Запустить файл @build.sh@, находясь при этом в директории @org.eventb.smt.releng@. В случае успеха будет создан zip архив с плагином в директории @result@ |