gtk+hs and libgmp

[Manuel M. T. Chakravarty]

"Simon Marlow" <simonmar@microsoft.com> wrote,

> > > That would be one solution, yes.  On your system, if you 
> > remove /usr/lib/libgmp.a (and /usr/lib/libgmp.so if you have 
> > one), does it work?  You only need these files if you intend 
> > to build any software which depends on having GMP version 2, 
> > which is unlikely since GMP 3 is source-compatible with GMP 2.
> > 
> > Yes, that works. Still I would opt for the renaming to avoid this
> > problem in the future. It really depends on the setup of the system.
> > Another question: should packages like gtk+hs not add themselves to
> > package.conf, so that gtkhs-config is not needed? Or is this method
> > not yet proven.
> 
> I've been discussing with Manuel how best to do this.
> It's not straightforward, because you still want to be
> able to do things like 'make install', and have several
> versions of gtk+hs on your system at once.  

Nevertheless, adding package support is on the top of my
list.

Cheers,
Manuel