LuNA-Static-Analysis / LuNA-Static-Analysis-Repository

1 stars 0 forks source link

ADAPT - Комплекс автоматизированной отладки программ на языке LuNA

Установка

1. Клонирование репозитория

  1. git clone [URL данного репозитория]

2. Установка зависимостей

  1. apt-get update (рекомендуется)
  2. flex (sudo apt-get install flex)
  3. bison (sudo apt-get install bison)
  4. g++ с поддержкой C++20 или выше (sudo apt-get install g++)
  5. SWI-Prolog (sudo apt-get install swi-prolog)
  6. LuNA
  7. Python3.10+
  8. requirements.txt (python3 -m pip install -r requirements.txt)

3. Сборка проекта

В корне проекта выполнить make.

4. Переменные окружения

Одно из решений: редактирование файла .bashrc в домашней директории.

  1. Установить ADAPT_HOME в путь к проекту;
  2. Добавить $ADAPT_HOME/bin в PATH.

Использование

adapt [ОПЦИИ] LUNA_ПРОГРАММА

Опции:

Пример запуска:

adapt src/main.fa --run degsa --run prolog --no-cleanup