How can I find my gmp library

Jan Doornaert jan.doornaert at
Fri Jul 27 09:51:58 CEST 2007


You're completely... right.

Digging/Googling deeper has given me this:

Bin YANG, I hope this will help...


  ----- Original Message -----
  From: "Vincent Lefevre"
  To: gmp-discuss at
  Subject: Re: How can I find my gmp library
  Date: Fri, 27 Jul 2007 09:35:51 +0200

  On 2007-07-27 07:59:07 +0100, Jan Doornaert wrote:
  > Well, Bin YANG did execute "make install" - this may have put the
  > file where it is accessible through the INCLUDE path.

  In his first message, Bin YANG said that he got

  checking for GMP library... checking for gmp.h... yes
  checking for libgmp... configure: error: Could not find gmp library

  *before* he downloaded GMP and did configure / ... / make install
  (and said he got the same error after installing the GMP version he
  downloaded). So, I don't understand why gmp.h was found if
  wasn't installed and a manual GMP installation wasn't done yet.

  When something like that occurs, you can still have a broken system
  after installing libgmp3-dev, because there would be two versions of
  "gmp.h", and you should make sure the right one is picked up.

  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