[PPL-devel] configure failing on Linux...

[Tovrea, George W (US SSA)]

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 at 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 at 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 at baesystems.com