Инструкция по сборке плагина SMT-солверов » History » Version 3
Pavel Ivanov, 05/14/2021 01:12 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 | 3 | Pavel Ivanov | 8) В Rodin при установке плагина не забыть убрать галочку с Group items by category. |