Installation of Agda from Source for Non-Programmers - Zlib

Obtain zlib from http://hackage.haskell.org/cgi-bin/hackage-scripts/package/zlib-0.4.0.2

Download the source distribution, do tar xvfz. Then follow the cabal instructions (http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package), i.e.

                runghc Setup.lhs configure 
                runghc Setup.lhs build 
                runghc Setup.lhs install 

Problems when building it

  1. It was necessary to install for the Linux distribution (here Suse) the zlib-devel package.

Back to installation of Agda from source for non-programmers.