"Manuel M. T. Chakravarty" wrote:
> Is it possible that you are using a Linux box on which the
> gmp devel libraries are not (properly) installed?
Very likely. Our local sysadmins do not appear to consider
integers a sufficiently common concept in computer science to
justify a MB or so install
Sven Kuenzler <[EMAIL PROTECTED]> wrote,
> I am trying to build fptools from CVS. I have managed to get the binary
> releases of happy-1.6 and ghc-4.08 working and configured fptools
> successfully.
>
> The next error I get is that ld cannot find -lgmp. So I built it from
> ghc/rts/gmp.
> Now, h
Hi,
I am trying to build fptools from CVS. I have managed to get the binary
releases of happy-1.6 and ghc-4.08 working and configured fptools
successfully.
The next error I get is that ld cannot find -lgmp. So I built it from
ghc/rts/gmp.
Now, how do I make GHC _find_ that library. I do not have
