
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@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