[PPL-devel] configure fails...

[Roberto Bagnara]

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