Установка:

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

sudo apt update
sudo apt install smlsharp

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

smlsharp — Стандартный ML-компилятор с практическими расширениями

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

Стандартный ML-компилятор с практическими расширениями

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

  • libc6

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

  • libgmp-dev

    Инструменты разработчиков многоарифметической библиотеки

  • libgmp10

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