Idris on Ubuntu

This page details installation instructions for Idris on Ubuntu. These instructions have been tested on Ubuntu 14.04 LTS and Idris <= 0.9.15.

Haskell Environment

The Idris compiler is written in Haskell, so we need the Haskell compiler 'GHC' installed.

sudo apt-get install cabal-install

Once this has been installed we then download a list of the latest available packages from hackage:

cabal update

You may now wish to add $HOME/.cabal/bin to your $PATH, so that executables installed by cabal will be on your path.

Idris

cabal install idris

Once install the Idris executable will be available at ~/.cabal/bin/idris.

Caveat

If you run out of memory while attempting to link Idris, try using ld.gold, by doing:

sudo apt-get install binutils-gold
cabal install idris --with-ld=ld.gold

If you get an error with zlib, zlib-0.6.1.2 failed during the configure step. The exception was: ExitFailure 1, add supporting packages:

sudo apt-get install zlibc zlib1g-dev