[Agda] Install failure ghc-7.0.2 / cabal solved

[Bengt Nordstrom]

Christoph, how much time did you spend on this?

And how much time would it take to make a one click install system?

Yes, I know you have to make a new one click install system every time
we have a major update. But how many potential users are put off by
the current system?

Any volunteer to make a one click install?

Bengt

On Wed, Mar 23, 2011 at 7:41 PM, Christoph Herrmann
<ch at cs.st-andrews.ac.uk> wrote:
> 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
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>