kaffe wont' recognize that gmp is installed

Edouard G. Parmelan kaffe@rufus.w3.org
Mon, 6 Nov 2000 13:40:14 +0100


sipher   wrote:

> Well i dont' see anything in config.log that indicates success or failure on 
> finding components let alone why it did or didn't put I'll paste the 4 lines 
> i found with reference to gmp anyway because maybe I'm reading it wrong.  I 
> see alot of "undefined reference to mpz_get_d" i don't know if that has any 
> relevance.
> 
> configure:4036: checking for mpz_get_d in -lgmp
> configure:4055: gcc -o conftest -g -O2 -Wall -Wstrict-prototypes  
> -I/usr/local/include  conftest.c -lgmp    -L/usr/local/lib  1>&5
> 
> configure:5527: checking for gmp.h
> configure:5537: gcc -E  -I/usr/local/include conftest.c >/dev/null 
> 2>conftest.out

These are the correct lines to check presence of libgmp and gmp.h.  I
guest you have a Debian GNU/Linux slink where package gpm2-dev does not
provide libgmp.so but libgmp2.so and include files are in a non-standard
place /usr/include/gmp2 :-(  This was fixed in potato with package
libgmp2-dev.

If you have slink and package gmp2-dev, you can create some symbolic link:

  /usr/lib/libgmp.so -> /usr/lib/libgmp2.so
  /usr/include/gmp.h -> /usr/include/gmp2/gmp.h

Then, after removing config.cache and run configure, you should have the
following result:

    $ grep gmp config.cache
    ac_cv_header_gmp_h=${ac_cv_header_gmp_h=yes}
    ac_cv_lib_gmp_mpz_get_d=${ac_cv_lib_gmp_mpz_get_d=yes}

Hope this helps.
-- 
Edouard G. Parmelan
http://egp.free.fr