Локальне встановлення Idris

Дізнайтеся, як встановити Idris локально, щоб розвʼязувати вправи Exercism на власному компʼютері

Трек Idris використовує Pack, менеджер пакетів для Idris2.

Підготовка: Ubuntu 24.04 або новіша

sudo apt update
sudo apt install chezscheme curl gcc git libgmp-dev make

Підготовка: інші дистрибутиви Linux

Переконаймося, що в нас є свіжий git, версії 2.35.1 або новішої.

Налаштуймо Chez Scheme з підтримкою потоків.

git version
sudo apt update
sudo apt install curl gcc libgmp-dev libncurses5-dev libx11-dev make

git clone https://github.com/cisco/ChezScheme.git
cd ChezScheme
./configure --threads
make
sudo make install
cd ..
which scheme

Підготовка: MacOS

Користувачі MacOS можуть встановити Chez Scheme за допомогою Homebrew:

brew update
brew install chezscheme

Pack

bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)"
export PATH="$HOME/.pack/bin:$PATH"
pack info

Розвʼязання проблем

Дивіться докладні інструкції зі встановлення Pack.

Образи Docker

Stefan Höck надає образи Docker на базі Ubuntu зі встановленим Pack.