guile-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: --with-libgmp-prefix


From: Paul Emsley
Subject: Re: --with-libgmp-prefix
Date: Tue, 28 Jun 2011 14:27:20 +0100
User-agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-GB; rv:1.9.2.14) Gecko/20110221 Lightning/1.0b2 Thunderbird/3.1.8

On 28/06/11 13:45, Paul Emsley wrote:
Hi,

I don't understand how the --with-libgmp-prefix is supposed to work.

In fact, I'd go as far as saying that it's broken.

./configure --with-libgmp-prefix=/opt

in configure additional_includedir and additional_libdir get set correctly

but in config.log, I see:

configure:36897: checking for libgmp
configure:36919: gcc -o conftest -g -O2   conftest.c -lcrypt -lm  -lgmp>&5
conftest.c:569:17: fatal error: gmp.h: No such file or directory

... that is (AFAICS), additional_includedir and additional_libdir are
not being used (in AC_LIB_HAVE_LINKFLAGS?)


Additional info:

If I configure with --with-libgmp=/opt (given my reading of |AC_LIB_HAVE_LINKFLAGS documentation):

https://www.gnu.org/software/gnulib/manual/html_node/Searching-for-Libraries.html
|
then:

checking for libgmp... no
configure: error: GNU MP 4.1 or greater not found, see README

configure:36897: checking for libgmp
configure:36919: gcc -o conftest -g -O2 conftest.c /opt/lib/libgmp.so -Wl,-rpath -Wl,/opt/lib -lcrypt -lm >&5
conftest.c:569:17: fatal error: gmp.h: No such file or directory
compilation terminated.

Incidentally, configure complains about that:

configure: WARNING: unrecognized options: --with-libgmp

Nevertheless, I believe that that is progress, configure knows how to handle the library at least.

If I set CPPFLAGS=-I/opt/include, then:

configure:36897: checking for libgmp
configure:36919: gcc -o conftest -g -O2 -I/opt/include conftest.c /opt/lib/libgmp.so -Wl,-rpath -Wl,/opt/lib -lcrypt -lm >&5
configure:36919: $? = 0
configure:36929: result: yes
configure:36936: checking how to link with libgmp
configure:36938: result: /opt/lib/libgmp.so -Wl,-rpath -Wl,/opt/lib

OK, that worked. But using CPPFLAGS is a hack - and should not be needed for libgmp dependency (IMHO).

Cheers,

Paul.







reply via email to

[Prev in Thread] Current Thread [Next in Thread]