[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