How can I find my gmp library

Jan Doornaert jan.doornaert at
Thu Jul 26 18:23:57 CEST 2007


I'd even say your approach is the best ;-)
Thanks for pointing this out, BTW, I didn't know there was a dev package
for GMP. But then again, I'm just starting to use Ubuntu...


  ----- Original Message -----
  From: "Laurent Fousse"
  To: "Jan Doornaert"
  Subject: Re: How can I find my gmp library
  Date: Thu, 26 Jul 2007 17:43:18 +0200


  * Jan Doornaert [Thu, Jul 26, 2007 at 07:15:07AM +0100]:
  > A better approach (in Ubuntu) is to copy libgmp.lib into

  A better approach in ubuntu is to simply install libgmp3-dev.

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