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

1. Скачать Eclipse 2020-12 for Eclipse Committers
2. Скачать Rodin target platform:
   • Для сборка master ветки плагина нужно скачать zip архив с префиксом org.rodinp.dev с Sourceforge. Например, подойдет вот этот
   • Для сборки ispras ветки необходим zip архив Rodin с нашими изменениями: файл с префиксом org.rodinp.dev можно найти на вкладке Files данного проекта
3. Скачать репозиторий rodin-b-sharp-smt (из данного проекта), выбрать нужную ветку и перейти в директорию org.eventb.smt.releng
4. Создать в директории org.eventb.smt.releng директорию archives и скопировать туда скачанные архивы с Eclipse и Rodin
5. Отредактировать файл build.sh:
   1. На 10 строке должно быть SRC_PATH=$(pwd)/..
   2. Закомментировать 26 строку: # unzip -oq "../archives/$ECLIPSE_DELTA"
   3. На 29 строке нжно добавить -d rodin: unzip -oq "../archives/$RODIN_TARGET" -d rodin
6. Отредактировать файл config.sh:
   1. На 14 строке в переменную GIT_COMMIT вставить номер собираемого коммита из репозитория rodin-b-sharp-smt (8 символов)
   2. На 26 строке в переменную RODIN_TARGET вставить имя архива с Rodin (который находится в директории archives)
   3. На 29 строке в переменную ECLIPSE_SDK вставить имя архива с Eclipse
7. Запустить файл build.sh, находясь при этом в директории org.eventb.smt.releng. В случае успеха будет создан zip архив с плагином в директории result