» Разработка

Как установить spark в Ubuntu / Debian

Установка:

Для установки spark в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install spark

Настроить команду APT

spark — Набор инструментов языка программирования SPARK

Подробная информация о пакете:

Набор инструментов языка программирования SPARK

http://libre.adacore.com/libre/tools/spark-gpl-edition/
, ,
Источник: packages.ubuntu.com

  • Зависимости:

  • libc6

    Библиотека GNU C: общие библиотеки

  • libgcc1

    Библиотека поддержки GCC

  • libgmp10

    Многоточечная арифметическая библиотека

  • libgnat-6

    Runtime для приложений, скомпилированных с GNAT (разделяемая библиотека)

  • swi-prolog-nox

    Интерпретатор Prolog, основанный на ISO / Edinburgh (без поддержки X)

  • libstdc++6

  • swi-prolog-vm-3