Installation of Agda from Source for Non-Programmers - Alex

Obtain alex using darcs get http://darcs.haskell.org/alex/

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 occurring at various attempts:

  1. There was a problem in one installation, where one was using the 64 bit version instead of the 32 bit version of ghc.
  2. There was a problem in one installation, where it was needed to add some additional libraries for glibc (the -devel versions) from the Linux distribution (we are referring to Suse here).

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