Project

General

Profile

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

Revision 1 (Pavel Ivanov, 05/14/2021 01:08 PM) → Revision 2/4 (Pavel Ivanov, 05/14/2021 01:09 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.