Idris on FreeBSD

Install dependencies (as root):

pkg install -y gmake cabal-install

Install the latest version of Cabal and update the package list (as user):

cabal update
cabal install cabal-install
cabal update

Install Idris (as user):

cabal install idris

Idris requires GCC. At time of writing, the GCC executable used by GHC is installed as gcc48. Fortunately, Idris recognises the IDRIS_CC environment variable. Add it to your .profile (or .zshrc, or whatever is appropriate for your shell):

echo IDRIS_CC=gcc48 >> ~/.profile

Finally, you will also need $HOME/.cabal/bin on your PATH.