Installation of Agda from Source for Non-Programmers - Zlib

Obtain zlib from

Download the source distribution, do tar xvfz. Then follow the cabal instructions (, 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.

Page last modified on December 02, 2008, at 06:21 am
Powered by PmWiki