Инструкция по сборке плагина SMT-солверов » History » Revision 3
Revision 2 (Pavel Ivanov, 05/14/2021 01:09 PM) → Revision 3/4 (Pavel Ivanov, 05/14/2021 01:12 PM)
h1. Инструкция по сборке плагина SMT-солверов
0) Найти и открыть папку rodin-b-sharp-smt/org.eventb.smt.releng
1) В скрипте build.sh на 10 строке поменять переменную SRC_PATH на путь к папке /rodin-b-sharp-smt
2) В скрипте build.sh на 26 строке убрать unzip -oq "../archives/$ECLIPSE_DELTA"
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
4) В скрипте config.sh на 14 строке поставить произвольное число в переменную GIT_COMMIT
5) В скрипте config.sh на 26 строке заменить перменную RODIN_TARGET на имя архива с Rodin, который лежит в /org.eventb.smt.releng/archives
6) В скрипте config.sh на 29 строке заменить перменную ECLIPSE_SDK на имя архива с Eclipse, который лежит в /org.eventb.smt.releng/archives
7) Запустить build.sh. У меня всё успешно собралось на 11-ой яве.
8) В Rodin при установке плагина не забыть убрать галочку с Group items by category.