RE: libgmp.so.2 desperately needed

1999-12-07 Thread Simon Marlow
Simon Marlow [EMAIL PROTECTED] wrote, for future distributions, I'll switch back to supplying our own statically-linked libgmp.a for Linux, I think. This is not required for package-manager managed binaries for systems that have a package containing `libgmp.so' (like RedHat, but not

Re: libgmp.so.2 desperately needed

1999-12-07 Thread Sven Panne
"Manuel M. T. Chakravarty" wrote: [...] In the case of SuSE, IMHO, the Right Thing is a bug report to SuSE. Done. Cheers, Sven -- Sven PanneTel.: +49/89/2178-2235 LMU, Institut fuer Informatik FAX : +49/89/2178-2211 LFE

RE: libgmp.so.2 desperately needed

1999-12-07 Thread Manuel M. T. Chakravarty
Simon Marlow [EMAIL PROTECTED] wrote, Simon Marlow [EMAIL PROTECTED] wrote, for future distributions, I'll switch back to supplying our own statically-linked libgmp.a for Linux, I think. This is not required for package-manager managed binaries for systems that have a package

RE: libgmp.so.2 desperately needed

1999-12-06 Thread Simon Marlow
I've been trying literally a dozen times to build a GHC from CVS, but have not yet succeeded. The problem is to find a "right" compiler which runs on my SuSE 6.2 system *and* compiles the sources. I won't go into the very sad and depressing details here, so my question simply is: Has

RE: libgmp.so.2 desperately needed

1999-12-06 Thread Manuel M. T. Chakravarty
Simon Marlow [EMAIL PROTECTED] wrote, for future distributions, I'll switch back to supplying our own statically-linked libgmp.a for Linux, I think. This is not required for package-manager managed binaries for systems that have a package containing `libgmp.so' (like RedHat, but not SuSE).

Re: libgmp.so.2 desperately needed

1999-12-03 Thread Manuel M. T. Chakravarty
Armin Größlinger [EMAIL PROTECTED] wrote, I've been trying literally a dozen times to build a GHC from CVS, but have not yet succeeded. The problem is to find a "right" compiler which runs on my SuSE 6.2 system *and* compiles the sources. I won't go into the very sad and depressing