How can I find my gmp library

Vincent Lefevre vincent at
Thu Jul 26 19:13:02 CEST 2007

On 2007-07-26 17:23:57 +0100, Jan Doornaert wrote:
>  Laurent,
> I'd even say your approach is the best ;-)
> Thanks for pointing this out, BTW, I didn't know there was a dev package
> for GMP. But then again, I'm just starting to use Ubuntu...

If libgmp3-dev isn't installed, how do you explain this?

checking for GMP library... checking for gmp.h... yes

Vincent Lefèvre <vincent at> - Web: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)

More information about the gmp-discuss mailing list