Instructions to install Idris2 in a Linux machine.
- Download idris from https://www.idris-lang.org/pages/download.html.
- Download Racket https://download.racket-lang.org/.
- Install Racket ->
sh racket-8.6-x86_64-linux-cs.sh
. - Export path to the instalation. If you chosed installing in home you can just ```cd; export PATH=$PATH:$(pwd)/bin.
- Decompress ->
tar xvfz idris2-X.X.X.tgz
. cd Idris2-X.X.X
make bootstrap-racket
make install
, this will install in /home/USER/.idris2/.- Make Idris2 available in path:
cd; export PATH=$PATH:$(pwd)/.idris2/bin
.
gmp.h: No such file or directory
:apt-get install libgmp3-dev