GHC RPMs for RedHat 7

[Keith Wansbrough]

> On this subject, where am I to get the libgmp2.a required by 4.08.1 
> (on Linux anyway).  I tried compiling the very latest version of GMP
> but it only produced a libgmp.a file.  Is that the same?

Same happened to me.   ln -s libgmp.a libgmp2.a  worked for me.  I satisfied myself I was doing the right thing by noticing all the 2.x.x version numbers on the libgmp source I'd compiled.

It does link.  Haven't tried any fancy math, though, so maybe it's broken.

--KW 8-)
-- 
Keith Wansbrough <kw217@cl.cam.ac.uk>
http://www.cl.cam.ac.uk/users/kw217/
Cambridge University Computer Laboratory.