[Agda] Install failure

Nils Anders Danielsson nad at chalmers.se
Fri Mar 25 01:01:26 CET 2011


On 2011-03-23 12:20, gallais @ EnsL.org wrote:
> If you want to install Agda on a brand new squeeze and don't want to
> touch to the source code, you basically need to do:
>
> [As root] apt-get install zlib1g-dev cabal emacs ghc6 haskell-mode
> [Add to your .bashrc as user] export PATH=$PATH:/home/user/.cabal/bin
> [As user] cabal update
> [As user] cabal install happy haskell-src-exts-1.9.6 Agda
> [As user] agda-mode setup

I would suggest simply installing agda-bin and agda-mode using the
default package manager. You will get Agda 2.2.6, but if you just want
to play around with Agda then the exact version probably isn't very
important.

By the way, Agda 2.2.10 will be available in Ubuntu Natty, released next
month:

   http://packages.ubuntu.com/source/natty/agda

-- 
/NAD


More information about the Agda mailing list