Idris on Ubuntu

For Ubuntu that don't grok such magicks and just want step-by-step instructions of the dark ritual (for installing Idris 0.9.9), open a terminal and type (tested on fresh install of Ubuntu 14.4):

sudo apt-get install llvm-3.3 libgc-dev libncurses-dev libgmp-dev 

If you don't have Haskell installed, install it:

sudo apt-get install haskell-platform 

Then I believe a fresh Ubuntu install (assuming you've already managed to get the latest haskell platform) should be able to:

cabal update
cabal install cabal-install
cabal install idris

without further complaint, and idris will be available as ~/.cabal/bin/idris.

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

sudo aptitude install binutils-gold
cabal install idris --with-ld=ld.gold