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