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:
- There was a problem in one installation, where one was using the 64 bit version instead of the 32 bit version of ghc.
- 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.
Edit | History | Recent Changes (all) | Search
Page last modified on December 02, 2008, at 06:17 AM
Powered by PmWiki