How can I find my gmp library

Jan Doornaert jan.doornaert at
Fri Jul 27 08:59:07 CEST 2007


Well, Bin YANG did execute "make install" - this may have put the header
file where it is accessible through the INCLUDE path.
I know for sure that this won't put gmplib in a place accessible through
the LIBRARY path, though (when executed in Ubuntu Feisty Fawn).


  ----- Original Message -----
  From: "Vincent Lefevre"
  To: gmp-discuss at
  Subject: Re: How can I find my gmp library
  Date: Thu, 26 Jul 2007 19:13:02 +0200

  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
  > 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 - Web:
  100% accessible validated (X)HTML - Blog:
  Work: CR INRIA - computer arithmetic / Arenaire project (LIP,
  gmp-discuss mailing list
  gmp-discuss at

We've Got Your Name at!
Get a FREE E-mail Account Today - Choose From 100+ Domains

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the gmp-discuss mailing list