This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.

It was created by the Parma Polyhedra Library configure 0.5, which was
generated by GNU Autoconf 2.57.  Invocation command line was

  $ ./configure --prefix=/pkgs/PPL --exec-prefix=/pkgs/PPL --with-gmp-includes=/pkgs/GMP-4.1.3/include --with-gmp-dir=/pkgs/GMP-4.1.3/lib

## --------- ##
## Platform. ##
## --------- ##

hostname = maple
uname -m = i686
uname -r = 2.4.20-8
uname -s = Linux
uname -v = #1 Thu Mar 13 17:54:28 EST 2003

/usr/bin/uname -p = unknown
/bin/uname -X     = unknown

/bin/arch              = i686
/usr/bin/arch -k       = unknown
/usr/convex/getsysinfo = unknown
hostinfo               = unknown
/bin/machine           = unknown
/usr/bin/oslevel       = unknown
/bin/universe          = unknown

PATH: /pkgs/CWB
PATH: /pkgs/StandardML/bin
PATH: /pkgs/GCC/bin
PATH: /usr/kerberos/sbin
PATH: /usr/kerberos/bin
PATH: /usr/local/sbin
PATH: /usr/local/bin
PATH: /sbin
PATH: /bin
PATH: /usr/sbin
PATH: /usr/bin
PATH: /usr/X11R6/bin
PATH: /root/bin


## ----------- ##
## Core tests. ##
## ----------- ##

configure:1540: checking for a BSD-compatible install
configure:1594: result: /usr/bin/install -c
configure:1605: checking whether build environment is sane
configure:1648: result: yes
configure:1681: checking for gawk
configure:1697: found /bin/gawk
configure:1707: result: gawk
configure:1717: checking whether make sets $(MAKE)
configure:1737: result: yes
configure:1937: checking build system type
configure:1955: result: i686-pc-linux-gnu
configure:1963: checking host system type
configure:1977: result: i686-pc-linux-gnu
configure:2020: checking for style of include used by make
configure:2048: result: GNU
configure:2119: checking for gcc
configure:2135: found /pkgs/GCC/bin/gcc
configure:2145: result: gcc
configure:2389: checking for C compiler version
configure:2392: gcc --version </dev/null >&5
gcc (GCC) 3.3.3
Copyright (C) 2003 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

configure:2395: $? = 0
configure:2397: gcc -v </dev/null >&5
Reading specs from /pkgs/GCC/lib/gcc-lib/i686-pc-linux-gnu/3.3.3/specs
Configured with: /pkgs/gcc-3.3.3/configure --prefix=/pkgs/GCC --exec-prefix=/pkgs/GCC
Thread model: posix
gcc version 3.3.3
configure:2400: $? = 0
configure:2402: gcc -V </dev/null >&5
gcc: `-V' option must have argument
configure:2405: $? = 1
configure:2429: checking for C compiler default output
configure:2432: gcc    conftest.c  >&5
configure:2435: $? = 0
configure:2481: result: a.out
configure:2486: checking whether the C compiler works
configure:2492: ./a.out
configure:2495: $? = 0
configure:2512: result: yes
configure:2519: checking whether we are cross compiling
configure:2521: result: no
configure:2524: checking for suffix of executables
configure:2526: gcc -o conftest    conftest.c  >&5
configure:2529: $? = 0
configure:2554: result: 
configure:2560: checking for suffix of object files
configure:2582: gcc -c   conftest.c >&5
configure:2585: $? = 0
configure:2607: result: o
configure:2611: checking whether we are using the GNU C compiler
configure:2636: gcc -c   conftest.c >&5
configure:2639: $? = 0
configure:2642: test -s conftest.o
configure:2645: $? = 0
configure:2658: result: yes
configure:2664: checking whether gcc accepts -g
configure:2686: gcc -c -g  conftest.c >&5
configure:2689: $? = 0
configure:2692: test -s conftest.o
configure:2695: $? = 0
configure:2706: result: yes
configure:2723: checking for gcc option to accept ANSI C
configure:2784: gcc  -c -g -O2  conftest.c >&5
configure:2787: $? = 0
configure:2790: test -s conftest.o
configure:2793: $? = 0
configure:2811: result: none needed
configure:2829: gcc -c -g -O2  conftest.c >&5
conftest.c:2: error: parse error before "me"
configure:2832: $? = 1
configure: failed program was:
| #ifndef __cplusplus
|   choke me
| #endif
configure:2943: checking dependency style of gcc
configure:3011: result: gcc3
configure:3029: checking for an ANSI C-conforming const
configure:3097: gcc -c -g -O2  conftest.c >&5
configure:3100: $? = 0
configure:3103: test -s conftest.o
configure:3106: $? = 0
configure:3117: result: yes
configure:3127: checking for inline
configure:3149: gcc -c -g -O2  conftest.c >&5
configure:3152: $? = 0
configure:3155: test -s conftest.o
configure:3158: $? = 0
configure:3170: result: inline
configure:3249: checking for gcc
configure:3275: result: gcc
configure:3519: checking for C compiler version
configure:3522: gcc --version </dev/null >&5
gcc (GCC) 3.3.3
Copyright (C) 2003 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

configure:3525: $? = 0
configure:3527: gcc -v </dev/null >&5
Reading specs from /pkgs/GCC/lib/gcc-lib/i686-pc-linux-gnu/3.3.3/specs
Configured with: /pkgs/gcc-3.3.3/configure --prefix=/pkgs/GCC --exec-prefix=/pkgs/GCC
Thread model: posix
gcc version 3.3.3
configure:3530: $? = 0
configure:3532: gcc -V </dev/null >&5
gcc: `-V' option must have argument
configure:3535: $? = 1
configure:3538: checking whether we are using the GNU C compiler
configure:3585: result: yes
configure:3591: checking whether gcc accepts -g
configure:3633: result: yes
configure:3650: checking for gcc option to accept ANSI C
configure:3738: result: none needed
configure:3756: gcc -c -g -O2  conftest.c >&5
conftest.c:2: error: parse error before "me"
configure:3759: $? = 1
configure: failed program was:
| #ifndef __cplusplus
|   choke me
| #endif
configure:3870: checking dependency style of gcc
configure:3938: result: gcc3
configure:4007: checking for g++
configure:4023: found /pkgs/GCC/bin/g++
configure:4033: result: g++
configure:4049: checking for C++ compiler version
configure:4052: g++ --version </dev/null >&5
g++ (GCC) 3.3.3
Copyright (C) 2003 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

configure:4055: $? = 0
configure:4057: g++ -v </dev/null >&5
Reading specs from /pkgs/GCC/lib/gcc-lib/i686-pc-linux-gnu/3.3.3/specs
Configured with: /pkgs/gcc-3.3.3/configure --prefix=/pkgs/GCC --exec-prefix=/pkgs/GCC
Thread model: posix
gcc version 3.3.3
configure:4060: $? = 0
configure:4062: g++ -V </dev/null >&5
g++: `-V' option must have argument
configure:4065: $? = 1
configure:4068: checking whether we are using the GNU C++ compiler
configure:4093: g++ -c   conftest.cc >&5
configure:4096: $? = 0
configure:4099: test -s conftest.o
configure:4102: $? = 0
configure:4115: result: yes
configure:4121: checking whether g++ accepts -g
configure:4143: g++ -c -g  conftest.cc >&5
configure:4146: $? = 0
configure:4149: test -s conftest.o
configure:4152: $? = 0
configure:4163: result: yes
configure:4207: g++ -c -g -O2  conftest.cc >&5
configure:4210: $? = 0
configure:4213: test -s conftest.o
configure:4216: $? = 0
configure:4243: g++ -c -g -O2  conftest.cc >&5
configure: In function `int main()':
configure:4240: error: `exit' undeclared (first use this function)
configure:4240: error: (Each undeclared identifier is reported only once for 
   each function it appears in.)
configure:4246: $? = 1
configure: failed program was:
| #line 4226 "configure"
| /* confdefs.h.  */
| 
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.5"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.5"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE "ppl"
| #define VERSION "0.5"
| /* end confdefs.h.  */
| 
| int
| main ()
| {
| exit (42);
|   ;
|   return 0;
| }
configure:4207: g++ -c -g -O2  conftest.cc >&5
configure:4210: $? = 0
configure:4213: test -s conftest.o
configure:4216: $? = 0
configure:4243: g++ -c -g -O2  conftest.cc >&5
configure:4246: $? = 0
configure:4249: test -s conftest.o
configure:4252: $? = 0
configure:4277: checking dependency style of g++
configure:4345: result: gcc3
configure:4367: checking how to run the C++ preprocessor
configure:4399: g++ -E  conftest.cc
configure:4405: $? = 0
configure:4437: g++ -E  conftest.cc
configure:4441:28: ac_nonexistent.h: No such file or directory
configure:4443: $? = 1
configure: failed program was:
| #line 4428 "configure"
| /* confdefs.h.  */
| 
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.5"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.5"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE "ppl"
| #define VERSION "0.5"
| #ifdef __cplusplus
| #include <stdlib.h>
| #endif
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:4481: result: g++ -E
configure:4506: g++ -E  conftest.cc
configure:4512: $? = 0
configure:4544: g++ -E  conftest.cc
configure:4548:28: ac_nonexistent.h: No such file or directory
configure:4550: $? = 1
configure: failed program was:
| #line 4535 "configure"
| /* confdefs.h.  */
| 
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.5"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.5"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE "ppl"
| #define VERSION "0.5"
| #ifdef __cplusplus
| #include <stdlib.h>
| #endif
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:4592: checking whether make sets $(MAKE)
configure:4612: result: yes
configure:4633: checking for a BSD-compatible install
configure:4687: result: /usr/bin/install -c
configure:4731: checking for the GMP library
configure:4757: g++ -o conftest -g -O2 -I/pkgs/GMP-4.1.3/include   conftest.cc -L/pkgs/GMP-4.1.3/lib -lgmpxx -lgmp  >&5
configure:4760: $? = 0
configure:4762: ./conftest
./conftest: error while loading shared libraries: libgmpxx.so.3: cannot open shared object file: No such file or directory
configure:4765: $? = 127
configure: program exited with status 127
configure: failed program was:
| #line 4738 "configure"
| /* confdefs.h.  */
| 
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.5"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.5"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE "ppl"
| #define VERSION "0.5"
| #ifdef __cplusplus
| #include <stdlib.h>
| #endif
| /* end confdefs.h.  */
| 
| #include <gmpxx.h>
| 
| using namespace std;
| 
| int main() {
|   mpz_class pie("3141592653589793238462643383279502884");
|   exit(0);
| }
| 
configure:4776: result: no
configure:4947: error: Cannot find GMP version 4.1.2 or higher.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
Do not forget to enable the C++ interface: add --enable-cxx
to the configuration options.

## ---------------- ##
## Cache variables. ##
## ---------------- ##

ac_cv_build=i686-pc-linux-gnu
ac_cv_build_alias=i686-pc-linux-gnu
ac_cv_c_compiler_gnu=yes
ac_cv_c_const=yes
ac_cv_c_inline=inline
ac_cv_cxx_compiler_gnu=yes
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_CXXCPP_set=
ac_cv_env_CXXCPP_value=
ac_cv_env_CXXFLAGS_set=
ac_cv_env_CXXFLAGS_value=
ac_cv_env_CXX_set=
ac_cv_env_CXX_value=
ac_cv_env_F77_set=
ac_cv_env_F77_value=
ac_cv_env_FFLAGS_set=
ac_cv_env_FFLAGS_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_exeext=
ac_cv_have_gmp=no
ac_cv_host=i686-pc-linux-gnu
ac_cv_host_alias=i686-pc-linux-gnu
ac_cv_objext=o
ac_cv_path_install='/usr/bin/install -c'
ac_cv_prog_AWK=gawk
ac_cv_prog_CXXCPP='g++ -E'
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_CXX=g++
ac_cv_prog_cc_g=yes
ac_cv_prog_cc_stdc=
ac_cv_prog_cxx_g=yes
ac_cv_prog_make_make_set=yes
am_cv_CC_dependencies_compiler_type=gcc3
am_cv_CXX_dependencies_compiler_type=gcc3

## ----------------- ##
## Output variables. ##
## ----------------- ##

ACLOCAL='${SHELL} /tmp/ppl-0.5/missing --run aclocal-1.7'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='${SHELL} /tmp/ppl-0.5/missing --run tar'
AR=''
AS=''
AUTOCONF='${SHELL} /tmp/ppl-0.5/missing --run autoconf'
AUTOHEADER='${SHELL} /tmp/ppl-0.5/missing --run autoheader'
AUTOMAKE='${SHELL} /tmp/ppl-0.5/missing --run automake-1.7'
AWK='gawk'
BUILD_WATCHDOG_LIBRARY_FALSE=''
BUILD_WATCHDOG_LIBRARY_TRUE=''
CC='gcc'
CCDEPMODE='depmode=gcc3'
CFLAGS='-g -O2'
CIAO_PROLOG=''
CPP=''
CPPFLAGS=''
CXX='g++'
CXXCPP='g++ -E'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS='-g -O2'
CYGPATH_W='echo'
DEFS=''
DEPDIR='.deps'
DLLTOOL=''
ECHO='echo'
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP=''
EXEEXT=''
F77=''
FFLAGS=''
GNU_PROLOG=''
HAVE_CIAO_PROLOG_FALSE=''
HAVE_CIAO_PROLOG_TRUE=''
HAVE_GLPK_FALSE=''
HAVE_GLPK_TRUE=''
HAVE_GNU_PROLOG_FALSE=''
HAVE_GNU_PROLOG_TRUE=''
HAVE_MERCURY_COMPILER_FALSE=''
HAVE_MERCURY_COMPILER_TRUE=''
HAVE_SICSTUS_PROLOG_FALSE=''
HAVE_SICSTUS_PROLOG_TRUE=''
HAVE_SWI_PROLOG_FALSE=''
HAVE_SWI_PROLOG_TRUE=''
HAVE_XSB_PROLOG_FALSE=''
HAVE_XSB_PROLOG_TRUE=''
HAVE_YAP_PROLOG_FALSE=''
HAVE_YAP_PROLOG_TRUE=''
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INSTALL_STRIP_PROGRAM='${SHELL} $(install_sh) -c -s'
ISODATE='2004-06-15'
LDFLAGS=''
LIBOBJS=''
LIBS=''
LIBTOOL=''
LN_S=''
LTLIBOBJS=''
MAKEINFO='${SHELL} /tmp/ppl-0.5/missing --run makeinfo'
MERCURY_COMPILER=''
OBJDUMP=''
OBJEXT='o'
PACKAGE='ppl'
PACKAGE_BUGREPORT='ppl-devel@cs.unipr.it'
PACKAGE_NAME='the Parma Polyhedra Library'
PACKAGE_STRING='the Parma Polyhedra Library 0.5'
PACKAGE_TARNAME='ppl'
PACKAGE_VERSION='0.5'
PATH_SEPARATOR=':'
PPL_VERSION_BETA='0'
PPL_VERSION_MAJOR='0'
PPL_VERSION_MINOR='5'
PPL_VERSION_REVISION='0'
RANLIB=''
SET_MAKE=''
SHELL='/bin/sh'
SICSTUS_PROLOG=''
STRIP=''
SWI_PROLOG=''
VERSION='0.5'
XSB_PROLOG=''
YAP_PROLOG=''
ac_ct_AR=''
ac_ct_AS=''
ac_ct_CC='gcc'
ac_ct_CXX='g++'
ac_ct_DLLTOOL=''
ac_ct_F77=''
ac_ct_OBJDUMP=''
ac_ct_RANLIB=''
ac_ct_STRIP=''
am__fastdepCC_FALSE='#'
am__fastdepCC_TRUE=''
am__fastdepCXX_FALSE='#'
am__fastdepCXX_TRUE=''
am__include='include'
am__leading_dot='.'
am__quote=''
bindir='${exec_prefix}/bin'
build='i686-pc-linux-gnu'
build_alias=''
build_cpu='i686'
build_os='linux-gnu'
build_vendor='pc'
datadir='${prefix}/share'
debug_flag=''
exec_prefix='/pkgs/PPL'
extra_cpp_flags=''
extra_includes=''
extra_libraries=''
host='i686-pc-linux-gnu'
host_alias=''
host_cpu='i686'
host_os='linux-gnu'
host_vendor='pc'
includedir='${prefix}/include'
infodir='${prefix}/info'
install_sh='/tmp/ppl-0.5/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localstatedir='${prefix}/var'
mandir='${prefix}/man'
oldincludedir='/usr/include'
prefix='/pkgs/PPL'
program_transform_name='s,x,x,'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
subdirs=''
sysconfdir='${prefix}/etc'
target_alias=''
xsb_includes=''

## ----------- ##
## confdefs.h. ##
## ----------- ##

#define PACKAGE "ppl"
#define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
#define PACKAGE_NAME "the Parma Polyhedra Library"
#define PACKAGE_STRING "the Parma Polyhedra Library 0.5"
#define PACKAGE_TARNAME "ppl"
#define PACKAGE_VERSION "0.5"
#define VERSION "0.5"
#endif
#ifdef __cplusplus
#include <stdlib.h>

configure: exit 1