Project

General

Profile

Инструкция по сборке плагина SMT-солверов » History » Version 1

Pavel Ivanov, 05/14/2021 01:08 PM

1 1 Pavel Ivanov
h1. Инструкция по сборке плагина SMT-солверов
2
3
0) Найти и открыть папку rodin-b-sharp-smt/org.eventb.smt.releng
4
1) В скрипте build.sh на 10 строке поменять переменную SRC_PATH на путь к папке /rodin-b-sharp-smt
5
2) В скрипте build.sh на 26 строке убрать unzip -oq "../archives/$ECLIPSE_DELTA"
6
3) Скачать эти архивы Eclipse (https://www.eclipse.org/downloads/download.php?file=/technology/epp/downloads/release/2021-03/R/eclipse-rcp-2021-03-R-linux-gtk-x86_64.tar.gz&mirror_id=1285) и Rodin (https://sourceforge.net/projects/rodin-b-sharp/files/latest/download) и положить их в /org.eventb.smt.releng/archives
7
4) В скрипте config.sh на 14 строке поставить произвольное число в переменную GIT_COMMIT
8
5) В скрипте config.sh на 26 строке заменить перменную RODIN_TARGET на имя архива с Rodin, который лежит в /org.eventb.smt.releng/archives
9
6) В скрипте config.sh на 29 строке заменить перменную ECLIPSE_SDK на имя архива с Eclipse, который лежит в /org.eventb.smt.releng/archives
10
7) Запустить build.sh. У меня всё успешно собралось на 11-ой яве.
11
8) В Rodin при установке не забыть убрать галочку Group items by category.