Linux

This is mainly a reformulation of the official installation instructions that gives you only the important steps. In the following, user is your username.

Debian-like OS

Installation procedure

  • As root
    • apt-get install zlib1g-dev libncurses5-dev cabal-install emacs ghc6 haskell-mode
  • As user
    • add the following in /home/user/.bashrc:
      export PATH=$PATH:/home/user/.cabal/bin
    • reload your .bashrc
      source /home/user/.bashrc
    • You can then install agda:
      cabal update
      cabal install happy alex haskell-src-exts Agda
      agda-mode setup

Everything should be fine!

You may also wish to “cabal install Agda-executable” and to run “agda-mode compile” to speed-up emacs interaction.

Some comments on the above

  • If you are not root use instead of the apt-get command above
    • sudo apt-get install zlib1g-dev libncurses5-dev cabal-install emacs ghc6 haskell-mode
  • Instead of the cabal install command, the following might work better:
    • sudo cabal install happy alex haskell-src-exts Agda —global