Εγκατάσταση της 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.