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:

sudo add-apt-repository --yes ppa:h-rayflood/llvm
sudo aptitude update
sudo aptitude install llvm-3.3
sudo aptitude install libgc-dev

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

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