How can I find my gmp library

[Vincent Lefevre]

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 vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)