[PPL-devel] configure fails...

[Tovrea, George W (US SSA)]

tovrea at rockwell%ls /home/users/tovrea/local/sgi/include
gmp.h       gmpxx.h     mpf2mpfr.h  mpfr.h

config.log attached.

-----Original Message-----
From: Roberto Bagnara [mailto:bagnara at cs.unipr.it] 
Sent: Wednesday, July 29, 2009 12:51 PM
To: Tovrea, George W (US SSA)
Cc: ppl-devel at cs.unipr.it
Subject: Re: [PPL-devel] configure fails...

Tovrea, George W (US SSA) wrote:
> System: IRIX64 rockwell 6.5 10151453 IP35
> 
> Using gmp-4.3.1
> 
> Configure command:
> 
> ../configure \
>     --prefix=${HOME}/local/sgi \
>     --with-libgmp-prefix=${HOME}/local/sgi \
>     --with-libgmpxx-prefix=${HOME}/local/sgi
> 
> Configure output:
> 
> checking how to link with libgmp...
> /home/users/tovrea/local/sgi/lib/libgmp.so -Wl,-rpath
> -Wl,/home/users/tovrea/local/sgi/lib
> 
> checking how to link with libgmpxx...
> /home/users/tovrea/local/sgi/lib/libgmpxx.so
> /home/users/tovrea/local/sgi/lib/libgmp.so -Wl,-rpath
> -Wl,/home/users/tovrea/local/sgi/lib -Wl,-rpath
> -Wl,/home/users/tovrea/local/sgi/lib
> 
> checking for the GMP library version 4.1.3 or above... no
> 
> configure: error: Cannot find GMP version 4.1.3 or higher.
> 
> 
> Even though
> 
> tovrea at rockwell%tail /home/users/tovrea/local/sgi/include/gmp.h
> #define __GMP_CC "gcc"
> #define __GMP_CFLAGS "-O2 -mabi=n32"
> 
> /* Major version number is the value of __GNU_MP__ too, above and in
> mp.h. */
> #define __GNU_MP_VERSION 4
> #define __GNU_MP_VERSION_MINOR 3
> #define __GNU_MP_VERSION_PATCHLEVEL 1

Hi Bill,

is the header file of GMP's C++ interface (gmpxx.h) in its place?
If so, can you please send the config.log file created by configure?
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