dysinger/idris-ubuntu-12.04.md

Last active August 29, 2015 13:56

Star (2) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/dysinger/9338765.js"></script>
Save dysinger/9338765 to your computer and use it in GitHub Desktop.

Download ZIP

Install Idris (latest) on Ubuntu 12.04

Raw

idris-ubuntu-12.04.md

Install GHC & Cabal-Install

apt-get update
apt-get install -y zlib1g-dev libncurses5-dev ghc cabal-install happy alex

Update Cabal-Install

cabal update
cabal install cabal-install
export PATH=$HOME/.cabal/bin:./.cabal-sandbox/bin:$PATH

Install Idris in a Sandbox

sudo mkdir -p /usr/local/cabal/idris
cd /usr/local/cabal/idris
~/.cabal/bin/cabal sandbox init
~/.cabal/bin/cabal install idris
cd /usr/local/bin
ln -sf ../cabal/idris/.cabal-sandbox/bin/* ./
which idris

Try it out on some source

pushd $(mktemp -d)
echo 'main : IO () ; main = print "hello"' >hello.idr
idris -o hello hello.idr
./hello
popd

sri-prasanna commented Jul 30, 2014

Mine is stuck at this error llvm-general-3.3.8.2 failed during the configure step. It is so painful trying to get Idris to install on any machine. I am giving up..

sri-prasanna commented Jul 30, 2014

I note that actually libffi-0.1 failed to install, which caused llvm-general-3.3.8.2 to fail as well