How can I find my gmp library

Jan Doornaert jan.doornaert at
Thu Jul 26 08:15:07 CEST 2007


At the end of the "make install" a manual install step is printed - you need to copy to (for example) /usr/lib and then run ldconfig (you probably will need to be "root" - or use sudo). A better approach (in Ubuntu) is to copy libgmp.lib into /usr/local/lib, add ad file named (for example) gmp.conf in /etc/ with the following content (omit the dashes):
and run ldconfig.

Nope this helps.


----- Original Message -----
From: "Bin YANG" <yangbinisme82 at>
To: gmp-discuss at
Date: Mon, 23 Jul 2007 16:35:14 +0800
Subject: How can I find my gmp library

> When I was build the sfslite, I configured it with --with-dmalloc, but I got
> the following error:
> checking for GMP library... checking for gmp.h... yes
> checking for libgmp... configure: error: Could not find gmp library
> I donwload the gmp-4.2.1.tar.bz2, and install it as follows:
> ./configure --host=x86
> make
> make check
> make install
> But the same error still exists.
> What should I do?
> -- 
> Bin YANG
> Department of Computer Science and Engineering
> Fudan University
> Shanghai, P. R. China
> EMail: yangbinisme82 at
> _______________________________________________
> gmp-discuss mailing list
> gmp-discuss at

We've Got Your Name at!
Get a FREE E-mail Account Today - Choose From 100+ Domains

More information about the gmp-discuss mailing list