[Agda] Install failure ghc-7.0.2 / cabal solved

Christoph Herrmann ch at cs.st-andrews.ac.uk
Wed Mar 23 19:41:37 CET 2011


Hi, 

I got a cabal working with ghc-7.0.2 via darcs from the head branch (V 1.10.1.0 library):
http://www.haskell.org/cabal/code.html

So the basic mistake was to take the version (1.8.0.4 library and 0.8.2 install tool) from:
http://www.haskell.org/cabal/download.html

Once cabal was working together with ghc-7.0.2 and with the
new haskell-platform (with many provided libraries) the
installation of Agda went smoothly. However, I needed to do the
install without the -epic flag, because the epic installation
failed.

Best Regards
--
 Dr. Christoph Herrmann
 University of St Andrews, Scotland/UK
 phone: office: +44 1334 461629, home: +44 1334 478648 
 email: ch at cs.st-andrews.ac.uk,  c.herrmann at virgin.net
 URL:   http://www.cs.st-andrews.ac.uk/~ch
 
 The University of St Andrews is a charity registered in Scotland: No SC013532






More information about the Agda mailing list