How can I find my gmp library

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


 Vincent,

You're completely... right.

Digging/Googling deeper has given me this:

http://momentarypause.blogspot.com/2007/05/configure-and-sfslite.html

https://pdos.csail.mit.edu/pipermail/chord/2007-May/000752.html
https://pdos.csail.mit.edu/pipermail/chord/2007-May/000753.html

Bin YANG, I hope this will help...

CU, JDO

  ----- Original Message -----
  From: "Vincent Lefevre"
  To: gmp-discuss at swox.com
  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
  header
  > 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
  libgmp3-dev
  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,
  ENS-Lyon)
  _______________________________________________
  gmp-discuss mailing list
  gmp-discuss at swox.com
  https://gmplib.org/mailman/listinfo/gmp-discuss

-- 
We've Got Your Name at http://www.mail.com!
Get a FREE E-mail Account Today - Choose From 100+ Domains

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://gmplib.org/list-archives/gmp-discuss/attachments/20070727/303fe3d8/attachment.html 


More information about the gmp-discuss mailing list