<div> 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 <blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;">----- Original Message ----- From: "Vincent Lefevre" <vincent@vinc17.org> To: gmp-discuss@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 <vincent@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) _______________________________________________ gmp-discuss mailing list gmp-discuss@swox.com https://gmplib.org/mailman/listinfo/gmp-discuss </http:></http:></vincent@vinc17.org></vincent@vinc17.org></blockquote> </div> -- <div> Enter the Bourne Ultimatum Sweepstakes <a href="http://www.hollywoodlife.net/index.php/sweepstakescontests/the-bourne-ultimatum/?utm_source=mail_hl_sent_footer&utm_medium=email&utm_term=070713&utm_content=hl_textlink&utm_campaign=the-bourne-ultimatum" target="_blank">View Trailer, Win Free Prizes.</a> In Theaters 08.03.07</div>