[PPL-devel] simple configure issues?

[Roberto Bagnara]

Koornstra, Reinoud wrote:
> I did compile gmp-4.2.4 with the option -enable-cxx.
> 
> appending configuration tag "CXX" to libtool
> checking for ld used by g++... /usr/bin/ld
> checking if the linker (/usr/bin/ld) is GNU ld... yes
> checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
> checking for g++ option to produce PIC... -fPIC
> checking if g++ PIC flag -fPIC works... yes
> checking if g++ static flag -static works... yes
> checking if g++ supports -c -o file.o... yes
> checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
> 
> Make check passed with flying colors.
> After install I'll do the configure in ppl-0.10
> It keeps complaining about g++ seemingly:
> 
> checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib
> checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib
> checking for the GMP library version 4.1.3 or above... no
> configure: error: Cannot find GMP version 4.1.3 or higher.
> GMP is the GNU Multi-Precision library:
> see http://www.swox.com/gmp/ for more information.
> When compiling the GMP library, do not forget to enable the C++ interface:
> add --enable-cxx to the configuration options.
> 
> Is this a bug or am I doing something wrong here?

Dear Reinoud,

can you please send me the file config.log that has been generated
by configure?  It should contain an explanation of what is going on.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it