"Jeffrey R. Lewis" <[EMAIL PROTECTED]> wrote,
> "S.D.Mechveliani" wrote:
>
> > Simon Marlow <[EMAIL PROTECTED]>
> > writes on 4.04 binary installation
> >
> > >> [..]
> > >> ld: fatal: library -lgmp: not found
> > >> [..]
> > >> ld: fatal: File processing errors. No output written to ...
> >
> > > Ok, looks like I need to remake these distributions with gmp libraries
> > > included.
> >
> > But this will bring the gmp duplicate to most machines?
> > Maybe, insert into the installation manual the phrase about setting
> > $LibGmp value?
> > The user is asked to set $prefix. One could set $GmpLib as well ...
> > My question was caused by that this small adventure with GmpLib was
> > not expected, not documented.
>
> I don't know who is *supposed* to supply the gmp lib, but on my RedHat 6.0
> system, it was a simple matter of installing the `gmp-devel' rpm, which is
> in the distribution, but I guess not installed by default. BTW, the shared
> gmp lib *is* installed by default (included in the `gmp' rpm), just not the
> static one that GHC needs.
The `*-devel' versions of most libraries are only installed
if you indicate that you are installing a development
workstation (or you install them yourself). My rpm
ftp://greyarea.is.tsukuba.ac.jp/pub/jibunmaki/i386/ghc-4.04-1.i386.rpm
includes `libgmp.a'; so it should work even if you didn't
install `gmp-devel'.
Manuel
