Instalar Idris en local

Aprende a instalar Idris en local para resolver los ejercicios de Exercism en tu propia máquina

El track de Idris usa Pack, un gestor de paquetes de Idris2.

Preparación - Ubuntu 24.04 o posterior

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

Preparación - Otras distribuciones de Linux

Asegúrate de tener una versión reciente de git, la 2.35.1 o posterior.

Configura Chez Scheme con soporte para hilos.

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

Preparación - MacOS

Los usuarios de MacOS pueden instalar Chez Scheme con 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

Solución de problemas

Consulta las instrucciones de instalación detalladas de Pack.

Imágenes de Docker

Stefan Höck proporciona imágenes de Docker basadas en Ubuntu con Pack instalado.