Same old story...

checking for shared library run path origin... done checking how to link with libgmp... /home/users/tovrea/local/linux/lib/libgmp.a checking how to link with libgmpxx... /home/users/tovrea/local/linux/lib/libgmpxx.a /home/users/tovrea/local/linux/lib/libgmp.a checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher.

Configure command:

${HOME}/GCC_LINUX/ppl-0.10.2/configure --prefix=${HOME}/local/linux --with-cc=${HOME}/local/linux/bin/gcc --with-cxx=${HOME}/local/linux/bin/g++ --with-cflags=-I${HOME}/local/linux/include --with-cxxflags=-I${HOME}/local/linux/include --with-libgmp-prefix=${HOME}/local/linux --with-libgmpxx-prefix=${HOME}/local/linux

FLAGS:

CPPFLAGS=-I/home/users/tovrea/local/linux/include

/home/users/tovrea/local/linux/include:

tovrea@challenger%ll /home/users/tovrea/local/linux/include total 224 drwxrwxr-x 2 tovrea nimalib 32 Aug 17 18:52 . drwxrwxr-x 10 tovrea nimalib 99 Aug 17 18:33 .. -rw-r--r-- 1 tovrea nimalib 84268 Aug 17 18:52 gmp.h -rw-r--r-- 1 tovrea nimalib 114898 Aug 17 18:52 gmpxx.h tovrea@challenger%tail /home/users/tovrea/local/linux/include/gmp.h #define __GMP_CC " /home/users/tovrea/GCC_LINUX/build_linux/./prev-gcc/xgcc -B/home/users/tovrea/GCC_LINUX/build_linux/./prev-gcc/ -B/home/users/tovrea/local/linux/x86_64-unknown-linux-gnu/bin/" #define __GMP_CFLAGS "-g -O2"

/* 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

Config.log attached.

Bill Tovrea

BAE Systems

16550 West Bernardo Drive San Diego, CA 92127

Telephone: (858) 592-5292

Pager: (888) 971-4964

E-mail: George.Tovrea@baesystems.com