Installation of Agda from Source for Non-Programmers - Binary

Obtain binary from

(Currently binary 0.4.2 doesn't work for Agda)

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. At one point a problem was fixed by installing the glibc and glibc-devel packages from the Linux distribution (here Suse).

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

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