RE: GHC 4.04-1 under RedHat 6.1

1999-12-06 Thread Simon Marlow
> In fact, it is not necessary to install `libgmp.a'. RH6.0 > had a bug (or is it supposed to be a feature?) where the > symbolic link > > /usr/lib/libgmp.so -> libgmp.so.2. > > is not set up by `ldconfig' on installation of the `gmp' > rpm. I presume that the same bug is present in RH6.1.

RE: GHC 4.04-1 under RedHat 6.1

1999-12-06 Thread Simon Peyton-Jones
| 3. The ghc users guide says in the release notes (Section 1.4): | | "mkdependHS now lives in GHC's lib directory, not the binary | directory. It isn't intended to be run standalone, only | via ghc -M." | |But the -M flag is documented as an RTS option for setting |the maximu

Re: GHC 4.04-1 under RedHat 6.1

1999-12-05 Thread Manuel M. T. Chakravarty
Mark Utting <[EMAIL PROTECTED]> wrote, > Manuel, > > You wrote: > > >/usr/bin/ld: cannot open -lgmp: No such file or directory > > > > > >(RedHat 6.1 has libgmp.so.2*, but not libgmp.a -- you have to > > >install the gmp-devel*.rpm package to get libgmp.a). > > > > In fact, it is

Re: GHC 4.04-1 under RedHat 6.1

1999-12-05 Thread Mark Utting
Manuel, You wrote: > >/usr/bin/ld: cannot open -lgmp: No such file or directory > > > >(RedHat 6.1 has libgmp.so.2*, but not libgmp.a -- you have to > >install the gmp-devel*.rpm package to get libgmp.a). > > In fact, it is not necessary to install `libgmp.a'. RH6.0 > had a bug (o

Re: GHC 4.04-1 under RedHat 6.1

1999-12-03 Thread Manuel M. T. Chakravarty
Mark Utting <[EMAIL PROTECTED]> wrote, > I just installed GHC 4.04 patchlevel 1 from Manuel Chakravarty's > binary RPM package: ghc-4.04-3.i386.rpm, under RedHat Linux 6.1 > > Installation went perfectly! > > I have some questions and comments and possible errors. > > 1. I got the usual erro

GHC 4.04-1 under RedHat 6.1

1999-12-03 Thread Mark Utting
I just installed GHC 4.04 patchlevel 1 from Manuel Chakravarty's binary RPM package: ghc-4.04-3.i386.rpm, under RedHat Linux 6.1 Installation went perfectly! I have some questions and comments and possible errors. 1. I got the usual error when trying to compile a simple hello world: /usr