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.10.2, which was
generated by GNU Autoconf 2.63.  Invocation command line was

  $ ./configure --prefix=/contrib/ppl-0.10.2-gcc --with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp --enable-cxx

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

hostname = be1105en.ucar.edu
uname -m = 00CBB5014C00
uname -r = 3
uname -s = AIX
uname -v = 5

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

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

PATH: /contrib/Modules/3.2.6/bin
PATH: /usr/java5/bin/
PATH: /blhome/ddvento/bin/
PATH: /blhome/ddvento/opt/bin/
PATH: /usr/local/lsf/7.0/aix5-64/etc
PATH: /usr/local/lsf/7.0/aix5-64/bin
PATH: /usr/bin
PATH: /etc
PATH: /usr/sbin
PATH: /usr/ucb
PATH: /usr/bin/X11
PATH: /sbin
PATH: /usr/java5/jre/bin
PATH: /usr/java5/bin
PATH: /bin
PATH: /usr/bin/
PATH: /usr/local/bin/
PATH: /usr/vac/bin/
PATH: /usr/vacpp/bin/
PATH: /contrib/Python-2.5.2/bin/
PATH: /contrib/bin/


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

configure:2298: checking build system type
configure:2316: result: powerpc-ibm-aix5.3.0.0
configure:2338: checking host system type
configure:2353: result: powerpc-ibm-aix5.3.0.0
configure:2393: checking for a BSD-compatible install
configure:2461: result: /usr/local/bin//install -c
configure:2472: checking whether build environment is sane
configure:2515: result: yes
configure:2540: checking for a thread-safe mkdir -p
configure:2579: result: /usr/local/bin//mkdir -p
configure:2592: checking for gawk
configure:2622: result: no
configure:2592: checking for mawk
configure:2622: result: no
configure:2592: checking for nawk
configure:2608: found /usr/bin/nawk
configure:2619: result: nawk
configure:2630: checking whether make sets $(MAKE)
configure:2652: result: yes
configure:2822: checking how to create a ustar tar archive
configure:2835: tar --version
tar: illegal option -- -
Usage: tar -{c|r|t|u|x} [ -BdDEFhilmopRsUvw ] [ -Number ] [ -f TarFile ]
	   [ -b Blocks ] [ -S [ Feet ] | [ Feet@Density ] | [ Blocksb ] ]
	   [ -L InputList ] [-X ExcludeFile] [ -N Blocks ] [ -C Directory ] File ...
Usage: tar {c|r|t|u|x} [ bBdDEfFhilLXmNopRsSUvw[0-9] ]
	   [ Blocks ] [ TarFile ] [ InputList ] [ ExcludeFile ] 
	   [ [ Feet ] | [ Feet@Density ] | [ Blocksb ] ] [-C Directory ] File ...
configure:2838: $? = 1
configure:2835: gnutar --version
./configure[2836]: gnutar:  not found
configure:2838: $? = 127
configure:2835: gtar --version
tar (GNU tar) 1.19
Copyright (C) 2007 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by John Gilmore and Jay Fenlason.
configure:2838: $? = 0
configure:2878: tardir=conftest.dir && eval gtar --format=ustar -chf - "$tardir" >conftest.tar
configure:2881: $? = 0
configure:2885: gtar -xf - <conftest.tar
configure:2888: $? = 0
configure:2901: result: gnutar
configure:3027: checking for gcc
configure:3054: result: gcc -maix64
configure:3286: checking for C compiler version
configure:3294: gcc -maix64 --version >&5
gcc (GCC) 4.1.1
Copyright (C) 2006 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:3298: $? = 0
configure:3305: gcc -maix64 -v >&5
Using built-in specs.
Target: powerpc-ibm-aix5.3.0.0
Configured with: ../gcc-4.1.1/configure 
Thread model: aix
gcc version 4.1.1
configure:3309: $? = 0
configure:3316: gcc -maix64 -V >&5
gcc: '-V' must come at the start of the command line
configure:3320: $? = 1
configure:3343: checking for C compiler default output file name
configure:3365: gcc -maix64 -fexceptions -fexceptions  conftest.c  >&5
configure:3369: $? = 0
configure:3407: result: a.out
configure:3426: checking whether the C compiler works
configure:3436: ./a.out
configure:3440: $? = 0
configure:3459: result: yes
configure:3466: checking whether we are cross compiling
configure:3468: result: no
configure:3471: checking for suffix of executables
configure:3478: gcc -maix64 -o conftest -fexceptions -fexceptions  conftest.c  >&5
configure:3482: $? = 0
configure:3508: result: 
configure:3514: checking for suffix of object files
configure:3540: gcc -maix64 -c -fexceptions -fexceptions conftest.c >&5
configure:3544: $? = 0
configure:3569: result: o
configure:3573: checking whether we are using the GNU C compiler
configure:3602: gcc -maix64 -c -fexceptions -fexceptions conftest.c >&5
configure:3609: $? = 0
configure:3626: result: yes
configure:3635: checking whether gcc -maix64 accepts -g
configure:3665: gcc -maix64 -c -g -fexceptions conftest.c >&5
configure:3672: $? = 0
configure:3773: result: yes
configure:3790: checking for gcc -maix64 option to accept ISO C89
configure:3864: gcc -maix64  -c -fexceptions -fexceptions conftest.c >&5
configure:3871: $? = 0
configure:3894: result: none needed
configure:3923: checking for style of include used by make
configure:3951: result: GNU
configure:3976: checking dependency style of gcc -maix64
configure:4067: result: gcc3
configure:4096: checking whether we are actually using the Intel C compiler
configure:4123: gcc -maix64 -c -fexceptions -fexceptions conftest.c >&5
conftest.c:11: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'me'
configure:4130: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| /* end confdefs.h.  */
| 
| #ifndef __INTEL_COMPILER
| choke me
| #endif
| 
configure:4142: result: no
configure:4269: checking for C++ compiler version
configure:4277: g++ -maix64 --version >&5
g++ (GCC) 4.1.1
Copyright (C) 2006 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:4281: $? = 0
configure:4288: g++ -maix64 -v >&5
Using built-in specs.
Target: powerpc-ibm-aix5.3.0.0
Configured with: ../gcc-4.1.1/configure 
Thread model: aix
gcc version 4.1.1
configure:4292: $? = 0
configure:4299: g++ -maix64 -V >&5
g++: argument to '-V' missing

configure:4303: $? = 1
configure:4306: checking whether we are using the GNU C++ compiler
configure:4335: g++ -maix64 -c -fexceptions -fexceptions conftest.cpp >&5
configure:4342: $? = 0
configure:4359: result: yes
configure:4368: checking whether g++ -maix64 accepts -g
configure:4398: g++ -maix64 -c -g -fexceptions conftest.cpp >&5
configure:4405: $? = 0
configure:4506: result: yes
configure:4531: checking dependency style of g++ -maix64
configure:4622: result: gcc3
configure:4642: checking whether we are actually using the Intel C++ compiler
configure:4669: g++ -maix64 -c -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp:11: error: 'choke' does not name a type
configure:4676: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| /* end confdefs.h.  */
| 
| #ifndef __INTEL_COMPILER
| choke me
| #endif
| 
configure:4688: result: no
configure:4702: checking for grep that handles long lines and -e
configure:4762: result: /usr/local/bin//grep
configure:4767: checking for fgrep
configure:4831: result: /usr/local/bin//grep -F
configure:4836: checking for egrep
configure:4900: result: /usr/local/bin//grep -E
configure:4905: checking for a sed that does not truncate output
configure:4971: result: /usr/bin/sed
configure:4981: checking how to run the C++ preprocessor
configure:5017: g++ -maix64 -E -fexceptions conftest.cpp
configure:5024: $? = 0
configure:5055: g++ -maix64 -E -fexceptions conftest.cpp
conftest.cpp:9:28: error: ac_nonexistent.h: No such file or directory
configure:5062: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:5095: result: g++ -maix64 -E
configure:5124: g++ -maix64 -E -fexceptions conftest.cpp
configure:5131: $? = 0
configure:5162: g++ -maix64 -E -fexceptions conftest.cpp
conftest.cpp:9:28: error: ac_nonexistent.h: No such file or directory
configure:5169: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:5208: checking whether make sets $(MAKE)
configure:5230: result: yes
configure:5253: checking for a BSD-compatible install
configure:5321: result: /usr/local/bin//install -c
configure:5339: checking whether to compile with debug info
configure:5348: result: yes
configure:5372: checking whether to compile for profiling
configure:5387: result: no
configure:5398: checking whether to compile for test coverage
configure:5413: result: no
configure:5424: checking whether to enable checking of run-time assertions
configure:5437: result: no
configure:5449: checking whether to enable even more run-time assertions
configure:5462: result: no
configure:5515: checking whether to enable optimizations
configure:5542: result: standard
configure:5568: checking for which architecture to optimize
configure:5591: result: default
configure:5604: checking whether to select specific floating point arithmetics
configure:5647: result: default
configure:5692: checking whether to use precompiled headers
configure:5706: result: no
configure:5824: checking the type of integral values to use as coefficients
configure:5889: result: GMP mpz
configure:6030: checking for perl
configure:6048: found /usr/bin/perl
configure:6061: result: /usr/bin/perl
configure:6086: checking for an ANSI C-conforming const
configure:6161: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6168: $? = 0
configure:6183: result: yes
configure:6193: checking for inline
configure:6219: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6226: $? = 0
configure:6244: result: inline
configure:6268: checking how to run the C preprocessor
configure:6308: gcc -maix64 -E -fexceptions conftest.c
configure:6315: $? = 0
configure:6346: gcc -maix64 -E -fexceptions conftest.c
conftest.c:15:28: error: ac_nonexistent.h: No such file or directory
configure:6353: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:6386: result: gcc -maix64 -E
configure:6415: gcc -maix64 -E -fexceptions conftest.c
configure:6422: $? = 0
configure:6453: gcc -maix64 -E -fexceptions conftest.c
conftest.c:15:28: error: ac_nonexistent.h: No such file or directory
configure:6460: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:6500: checking for ANSI C header files
configure:6530: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6537: $? = 0
configure:6636: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:6640: $? = 0
configure:6646: ./conftest
configure:6650: $? = 0
configure:6668: result: yes
configure:6692: checking for sys/types.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for sys/stat.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for stdlib.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for string.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for memory.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for strings.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for inttypes.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for stdint.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for unistd.h
configure:6713: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6752: checking whether byte ordering is bigendian
configure:6777: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
conftest.c:26: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'a'
configure:6784: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| /* end confdefs.h.  */
| #ifndef __APPLE_CC__
| 	       not a universal capable compiler
| 	     #endif
| 	     typedef int dummy;
| 
configure:6834: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6841: $? = 0
configure:6873: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:6880: $? = 0
configure:7132: result: yes
configure:7158: checking for typeof syntax and keyword spelling
configure:7199: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.c >&5
configure:7206: $? = 0
configure:7223: result: typeof
configure:7246: checking size of char
configure:7551: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:7555: $? = 0
configure:7561: ./conftest
configure:7565: $? = 0
configure:7591: result: 1
configure:7605: checking size of short
configure:7910: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:7914: $? = 0
configure:7920: ./conftest
configure:7924: $? = 0
configure:7950: result: 2
configure:7964: checking size of int
configure:8269: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:8273: $? = 0
configure:8279: ./conftest
configure:8283: $? = 0
configure:8309: result: 4
configure:8323: checking size of long
configure:8628: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:8632: $? = 0
configure:8638: ./conftest
configure:8642: $? = 0
configure:8668: result: 8
configure:8682: checking size of long long
configure:8987: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:8991: $? = 0
configure:8997: ./conftest
configure:9001: $? = 0
configure:9027: result: 8
configure:9041: checking size of size_t
configure:9346: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:9350: $? = 0
configure:9356: ./conftest
configure:9360: $? = 0
configure:9386: result: 8
configure:9400: checking size of float
configure:9705: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:9709: $? = 0
configure:9715: ./conftest
configure:9719: $? = 0
configure:9745: result: 4
configure:9759: checking size of double
configure:10064: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:10068: $? = 0
configure:10074: ./conftest
configure:10078: $? = 0
configure:10104: result: 8
configure:10118: checking size of long double
configure:10423: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:10427: $? = 0
configure:10433: ./conftest
configure:10437: $? = 0
configure:10463: result: 8
configure:10480: checking size of int*
configure:10785: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:10789: $? = 0
configure:10795: ./conftest
configure:10799: $? = 0
configure:10825: result: 8
configure:10839: checking size of fp
configure:11150: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.c  >&5
configure:11154: $? = 0
configure:11160: ./conftest
configure:11164: $? = 0
configure:11190: result: 8
configure:11237: checking fenv.h usability
configure:11254: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:11261: $? = 0
configure:11275: result: yes
configure:11279: checking fenv.h presence
configure:11294: g++ -maix64 -E -fexceptions conftest.cpp
configure:11301: $? = 0
configure:11315: result: yes
configure:11348: checking for fenv.h
configure:11357: result: yes
configure:11237: checking ieeefp.h usability
configure:11254: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp:72:20: error: ieeefp.h: No such file or directory
configure:11261: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <ieeefp.h>
configure:11275: result: no
configure:11279: checking ieeefp.h presence
configure:11294: g++ -maix64 -E -fexceptions conftest.cpp
conftest.cpp:39:20: error: ieeefp.h: No such file or directory
configure:11301: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| /* end confdefs.h.  */
| #include <ieeefp.h>
configure:11315: result: no
configure:11348: checking for ieeefp.h
configure:11357: result: no
configure:11372: checking if it is possible to control the FPU
configure:11527: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  -lm >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:11531: $? = 0
configure:11537: ./conftest
configure:11541: $? = 0
configure:11543: result: yes
configure:11594: checking whether the C++ compiler provides proper long doubles
configure:11627: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:11631: $? = 0
configure:11637: ./conftest
configure:11641: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| /* end confdefs.h.  */
| 
| #include <cfloat>
| 
| long double f = 0.0;
| 
| int main() {
|   if ((LDBL_MAX <= DBL_MAX) && (DBL_EPSILON <= LDBL_EPSILON)
|       && (LDBL_MAX_EXP <= DBL_MAX_EXP) && (LDBL_MANT_DIG <= DBL_MANT_DIG))
|     return 1;
|   else
|     return 0;
| }
| 
configure:11652: result: no
configure:11695: checking the binary format of C++ floats
configure:11763: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:11767: $? = 0
configure:11773: ./conftest
configure:11777: $? = 0
configure:11799: result: IEEE754 Single Precision
configure:11812: checking whether C++ provides exact output for floats
configure:11918: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:11922: $? = 0
configure:11928: ./conftest
configure:11932: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| /* end confdefs.h.  */
| 
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
| #include <sstream>
| 
| /* Unique (nonzero) code for the IEEE 754 Single Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_SINGLE 1
| 
| /* Unique (nonzero) code for the IEEE 754 Double Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_DOUBLE 2
| 
| /* Unique (nonzero) code for the IEEE 754 Quad Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_QUAD 3
| 
| /* Unique (nonzero) code for the Intel Double-Extended
|    floating point format.  */
| # define PPL_FLOAT_INTEL_DOUBLE_EXTENDED 4
| 
| bool
| check(float value, const char* text) {
|   std::ostringstream ss;
|   ss.precision(10000);
|   ss << value;
|   return ss.str() == text;
| }
| 
| #if SIZEOF_FLOAT == 4
| 
| float
| convert(uint32_t x) {
|   union {
|     float value;
|     uint32_t word;
|   } u;
| 
|   u.word = x;
|   return u.value;
| }
| 
| #if PPL_CXX_FLOAT_BINARY_FORMAT == PPL_FLOAT_IEEE754_SINGLE
| 
| int
| main() {
|   if (check(convert(0xaaacccaaU),
|             "-3.069535185924732179074680971098132431507110595703125e-13")
|       && check(convert(0xcccaaaccU),
|                "-106255968")
|       && check(convert(0x00000001U),
|                "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45")
|       && check(convert(0x80000001U),
|                "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45"))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // PPL_CXX_FLOAT_BINARY_FORMAT != FLOAT_IEEE754_SINGLE
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // PPL_CXX_FLOAT_BINARY_FORMAT != FLOAT_IEEE754_SINGLE
| 
| #else // SIZEOF_FLOAT != 4
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // SIZEOF_FLOAT != 4
| 
configure:11943: result: no
configure:12011: checking the binary format of C++ doubles
configure:12089: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:12093: $? = 0
configure:12099: ./conftest
configure:12103: $? = 0
configure:12125: result: IEEE754 Double Precision
configure:12139: checking whether C++ provides exact output for doubles
configure:12254: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:12258: $? = 0
configure:12264: ./conftest
configure:12268: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| /* end confdefs.h.  */
| 
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
| #include <sstream>
| 
| /* Unique (nonzero) code for the IEEE 754 Single Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_SINGLE 1
| 
| /* Unique (nonzero) code for the IEEE 754 Double Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_DOUBLE 2
| 
| /* Unique (nonzero) code for the IEEE 754 Quad Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_QUAD 3
| 
| /* Unique (nonzero) code for the Intel Double-Extended
|    floating point format.  */
| # define PPL_FLOAT_INTEL_DOUBLE_EXTENDED 4
| 
| bool
| check(double value, const char* text) {
|   std::ostringstream ss;
|   ss.precision(10000);
|   ss << value;
|   return ss.str() == text;
| }
| 
| #if SIZEOF_DOUBLE == 8
| 
| double
| convert(uint32_t msp, uint32_t lsp) {
|   union {
|     double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint32_t msp;
|       uint32_t lsp;
| #else
|       uint32_t lsp;
|       uint32_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| #if PPL_CXX_DOUBLE_BINARY_FORMAT == PPL_FLOAT_IEEE754_DOUBLE
| 
| int
| main() {
|   if (check(convert(0xaaacccaaUL, 0xacccaaacUL),
|             "-4.[payload removed: 289 characters]-103")
|       && check(convert(0xcccaaaccUL, 0xcaaacccaUL),
|                "-85705035845709846787631445265530356117787053916987832397725696")
|       && check(convert(0x00000000UL, 0x00000001UL),
|                "4.[payload removed: 751 characters]-324")
|       && check(convert(0x80000000UL, 0x00000001UL),
|                "-4.[payload removed: 751 characters]-324"))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // PPL_CXX_DOUBLE_BINARY_FORMAT != PPL_FLOAT_IEEE754_DOUBLE
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // PPL_CXX_DOUBLE_BINARY_FORMAT != PPL_FLOAT_IEEE754_DOUBLE
| 
| #else // SIZEOF_DOUBLE != 8
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // SIZEOF_DOUBLE != 8
| 
configure:12279: result: no
configure:12347: checking the binary format of C++ long doubles
configure:12425: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:12429: $? = 0
configure:12435: ./conftest
configure:12439: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| /* end confdefs.h.  */
| 
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
| 
| #if SIZEOF_LONG_DOUBLE == 12
| 
| long double
| convert(uint32_t msp, uint64_t lsp) {
|   union {
|     long double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint32_t msp;
|       uint64_t lsp;
| #else
|       uint64_t lsp;
|       uint32_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| int
| main() {
|   if (std::numeric_limits<long double>::is_iec559
|       && (convert(0xaaacccaaUL, 0xacccaaacccaaacccULL)
|           == -[payload removed: 977 characters].0L
|           && convert(0xcccaaaccUL, 0xcaaacccaaacccaaaULL)
|           == -3.[payload removed: 3856 characters]-1634L
|           && convert(0x00000000UL, 0x0000000000000001ULL)
|           == 3.[payload removed: 10000 characters]-4951L
|           && convert(0x80000000UL, 0x0000000000000001ULL)
|           == 3.[payload removed: 10000 characters]-4951L))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // SIZEOF_LONG_DOUBLE != 12
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // SIZEOF_LONG_DOUBLE != 12
| 
configure:12551: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:12555: $? = 0
configure:12561: ./conftest
configure:12565: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| /* end confdefs.h.  */
| 
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
| 
| #if SIZEOF_LONG_DOUBLE == 16
| 
| #if defined(__sparc__) && defined(__arch64__)     && (__GNUC__ < 4 || (__GNUC__ == 4 && __GNUC_MINOR__ < 4))
| 
| // Work around http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37661
| int
| main() {
|   return 1;
| }
| 
| #else // !defined(__sparc__) || !defined(__arch64__) ...
| 
| long double
| convert(uint64_t msp, uint64_t lsp) {
|   union {
|     long double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint64_t msp;
|       uint64_t lsp;
| #else
|       uint64_t lsp;
|       uint64_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| int
| main() {
|   if (std::numeric_limits<long double>::is_iec559
|       && (convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL)
|           == -8.[payload removed: 3927 characters]-1644L
|           && convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL)
|           == -[payload removed: 987 characters].0L
|           && convert(0x0000000000000000ULL, 0x0000000000000001ULL)
|           == 6.[payload removed: 10000 characters]-4966L
|           && convert(0x8000000000000000ULL, 0x0000000000000001ULL)
|           == -6.[payload removed: 10000 characters]-4966L))
|     return 0;
|   else
|     return 1;
| }
| 
| #endif // !defined(__sparc__) || !defined(__arch64__) ...
| 
| #else // SIZEOF_LONG_DOUBLE != 16
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // SIZEOF_LONG_DOUBLE != 16
| 
configure:12665: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:12669: $? = 0
configure:12675: ./conftest
configure:12679: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| /* end confdefs.h.  */
| 
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
| 
| #if SIZEOF_LONG_DOUBLE == 16
| 
| long double
| convert(uint64_t msp, uint64_t lsp) {
|   union {
|     long double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint64_t msp;
|       uint64_t lsp;
| #else
|       uint64_t lsp;
|       uint64_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| int
| main() {
|   if (std::numeric_limits<long double>::is_iec559
|       && (convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL)
|           == -7.[payload removed: 3878 characters]-1644L
|           && convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL)
|           == -[payload removed: 986 characters].0L
|           && convert(0x0000000000000000ULL, 0x0000000000000001ULL)
|           == 3.[payload removed: 10000 characters]-4951L
|           && convert(0x8000000000000000ULL, 0x0000000000000001ULL)
|           == 3.[payload removed: 10000 characters]-4951L))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // SIZEOF_LONG_DOUBLE != 16
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // SIZEOF_LONG_DOUBLE != 16
| 
configure:12779: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:12783: $? = 0
configure:12789: ./conftest
configure:12793: $? = 0
configure:12816: result: IEEE754 Double Precision
configure:12830: checking whether C++ provides exact output for long doubles
configure:13058: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:13062: $? = 0
configure:13068: ./conftest
configure:13072: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| /* end confdefs.h.  */
| 
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
| #include <sstream>
| 
| /* Unique (nonzero) code for the IEEE 754 Single Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_SINGLE 1
| 
| /* Unique (nonzero) code for the IEEE 754 Double Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_DOUBLE 2
| 
| /* Unique (nonzero) code for the IEEE 754 Quad Precision
|    floating point format.  */
| # define PPL_FLOAT_IEEE754_QUAD 3
| 
| /* Unique (nonzero) code for the Intel Double-Extended
|    floating point format.  */
| # define PPL_FLOAT_INTEL_DOUBLE_EXTENDED 4
| 
| bool
| check(long double value, const char* text) {
|   std::ostringstream ss;
|   ss.precision(10000);
|   ss << value;
|   return ss.str() == text;
| }
| 
| #if SIZEOF_LONG_DOUBLE == 12
| 
| long double
| convert(uint32_t msp, uint64_t lsp) {
|   union {
|     long double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint32_t msp;
|       uint64_t lsp;
| #else
|       uint64_t lsp;
|       uint32_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| #if PPL_CXX_LONG_DOUBLE_BINARY_FORMAT == PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| 
| int
| main() {
|   if (check(convert(0xaaacccaaUL, 0xacccaaacccaaacccULL),
|             "-[payload removed: 977 characters]")
|       && check(convert(0xcccaaaccUL, 0xcaaacccaaacccaaaULL),
|                "-3.[payload removed: 3856 characters]-1634")
|       && check(convert(0x00000000UL, 0x0000000000000001ULL),
|                "3.[payload removed: 10000 characters]-4951")
|       && check(convert(0x80000000UL, 0x0000000000000001ULL),
|                "3.[payload removed: 10000 characters]-4951"))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // PPL_CXX_LONG_DOUBLE_BINARY_FORMAT != FLOAT_INTEL_DOUBLE_EXTENDED
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // PPL_CXX_LONG_DOUBLE_BINARY_FORMAT != FLOAT_INTEL_DOUBLE_EXTENDED
| 
| #elif SIZEOF_LONG_DOUBLE == 16
| 
| long double
| convert(uint64_t msp, uint64_t lsp) {
|   union {
|     long double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint64_t msp;
|       uint64_t lsp;
| #else
|       uint64_t lsp;
|       uint64_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| #if PPL_CXX_LONG_DOUBLE_BINARY_FORMAT == PPL_FLOAT_IEEE754_QUAD
| 
| int
| main() {
|   if (check(convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL),
|             "-8.[payload removed: 3927 characters]-1644")
|       && check(convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL),
|                "-[payload removed: 987 characters]")
|       && check(convert(0x0000000000000000ULL, 0x0000000000000001ULL),
|                "6.[payload removed: 10000 characters]-4966")
|       && check(convert(0x8000000000000000ULL, 0x0000000000000001ULL),
|                "-6.[payload removed: 10000 characters]-4966"))
|     return 0;
|   else
|     return 1;
| }
| 
| #elif PPL_CXX_LONG_DOUBLE_BINARY_FORMAT == PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| 
| int
| main() {
|   if (check(convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL),
|             "-7.[payload removed: 3878 characters]-1644")
|       && check(convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL),
|                "-[payload removed: 986 characters]")
|       && check(convert(0x0000000000000000ULL, 0x0000000000000001ULL),
|                "3.[payload removed: 10000 characters]-4951")
|       && check(convert(0x8000000000000000ULL, 0x0000000000000001ULL),
|                "3.[payload removed: 10000 characters]-4951"))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // PPL_CXX_LONG_DOUBLE_BINARY_FORMAT != FLOAT_INTEL_DOUBLE_EXTENDED
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // PPL_CXX_LONG_DOUBLE_BINARY_FORMAT != FLOAT_INTEL_DOUBLE_EXTENDED
| 
| #elif SIZEOF_LONG_DOUBLE == 8
| 
| double
| convert(uint32_t msp, uint32_t lsp) {
|   union {
|     long double value;
|     struct {
| #ifdef WORDS_BIGENDIAN
|       uint32_t msp;
|       uint32_t lsp;
| #else
|       uint32_t lsp;
|       uint32_t msp;
| #endif
|     } parts;
|   } u;
| 
|   u.parts.msp = msp;
|   u.parts.lsp = lsp;
|   return u.value;
| }
| 
| #if PPL_CXX_LONG_DOUBLE_BINARY_FORMAT == PPL_FLOAT_IEEE754_DOUBLE
| 
| int
| main() {
|   if (check(convert(0xaaacccaaUL, 0xacccaaacUL),
|             "-4.[payload removed: 289 characters]-103")
|       && check(convert(0xcccaaaccUL, 0xcaaacccaUL),
|                "-85705035845709846787631445265530356117787053916987832397725696")
|       && check(convert(0x00000000UL, 0x00000001UL),
|                "4.[payload removed: 751 characters]-324")
|       && check(convert(0x80000000UL, 0x00000001UL),
|                "-4.[payload removed: 751 characters]-324"))
|     return 0;
|   else
|     return 1;
| }
| 
| #else // PPL_CXX_LONG_DOUBLE_BINARY_FORMAT != FLOAT_IEEE754_DOUBLE
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // PPL_CXX_LONG_DOUBLE_BINARY_FORMAT != FLOAT_IEEE754_DOUBLE
| 
| #else // SIZEOF_LONG_DOUBLE != 8
| 
| int
| main() {
|   return 1;
| }
| 
| #endif // SIZEOF_LONG_DOUBLE != 8
| 
configure:13083: result: no
configure:13162: checking whether the C++ compiler supports flexible arrays
configure:13307: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:13311: $? = 0
configure:13317: ./conftest
configure:13321: $? = 0
configure:13323: result: yes
configure:13375: checking whether the IEEE inexact flag is supported in C++
configure:13477: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:13481: $? = 0
configure:13487: ./conftest
configure:13491: $? = 0
configure:13493: result: yes
configure:13546: checking if the compiler has the remainder bug
configure:13585: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:13589: $? = 0
configure:13595: ./conftest
configure:13599: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| /* end confdefs.h.  */
| 
| #include <climits>
| 
| int minus_one(int n) {
|   return (n+1)*(n-1)-n*n;
| }
| 
| int p(int x, int y) {
|   int z = x % y;
|   return z;
| }
| 
| int main(int argc, char** argv) {
|   if (p(INT_MIN, minus_one(argc)) != 0)
|     return 1;
|   else
|     return 0;
| }
| 
configure:13610: result: yes
configure:13653: checking whether the C++ compiler supports __attribute__ ((weak))
configure:13676: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:13683: $? = 0
configure:13688: result: yes
configure:13739: checking for fenv.h
configure:13746: result: yes
configure:13739: checking for ieeefp.h
configure:13746: result: no
configure:13750: checking getopt.h usability
configure:13767: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp:88:20: error: getopt.h: No such file or directory
configure:13774: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <getopt.h>
configure:13788: result: no
configure:13792: checking getopt.h presence
configure:13807: g++ -maix64 -E -fexceptions conftest.cpp
conftest.cpp:55:20: error: getopt.h: No such file or directory
configure:13814: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| /* end confdefs.h.  */
| #include <getopt.h>
configure:13828: result: no
configure:13861: checking for getopt.h
configure:13870: result: no
configure:13750: checking signal.h usability
configure:13767: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:13774: $? = 0
configure:13788: result: yes
configure:13792: checking signal.h presence
configure:13807: g++ -maix64 -E -fexceptions conftest.cpp
configure:13814: $? = 0
configure:13828: result: yes
configure:13861: checking for signal.h
configure:13870: result: yes
configure:13739: checking for string.h
configure:13746: result: yes
configure:13739: checking for strings.h
configure:13746: result: yes
configure:13750: checking sys/resource.h usability
configure:13767: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:13774: $? = 0
configure:13788: result: yes
configure:13792: checking sys/resource.h presence
configure:13807: g++ -maix64 -E -fexceptions conftest.cpp
configure:13814: $? = 0
configure:13828: result: yes
configure:13861: checking for sys/resource.h
configure:13870: result: yes
configure:13750: checking sys/time.h usability
configure:13767: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:13774: $? = 0
configure:13788: result: yes
configure:13792: checking sys/time.h presence
configure:13807: g++ -maix64 -E -fexceptions conftest.cpp
configure:13814: $? = 0
configure:13828: result: yes
configure:13861: checking for sys/time.h
configure:13870: result: yes
configure:13739: checking for sys/types.h
configure:13746: result: yes
configure:13739: checking for unistd.h
configure:13746: result: yes
configure:13887: checking whether ffs is declared
configure:13923: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:13930: $? = 0
configure:13945: result: yes
configure:13963: checking whether getenv is declared
configure:13993: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14000: $? = 0
configure:14015: result: yes
configure:14031: checking whether strtof is declared
configure:14061: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14068: $? = 0
configure:14083: result: yes
configure:14099: checking whether strtod is declared
configure:14129: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14136: $? = 0
configure:14151: result: yes
configure:14167: checking whether strtold is declared
configure:14197: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14204: $? = 0
configure:14219: result: yes
configure:14235: checking whether strtoll is declared
configure:14265: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14272: $? = 0
configure:14287: result: yes
configure:14303: checking whether strtoull is declared
configure:14333: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14340: $? = 0
configure:14355: result: yes
configure:14373: checking whether fma is declared
configure:14403: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14410: $? = 0
configure:14425: result: yes
configure:14441: checking whether fmaf is declared
configure:14471: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14478: $? = 0
configure:14493: result: yes
configure:14509: checking whether fmal is declared
configure:14539: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14546: $? = 0
configure:14561: result: yes
configure:14577: checking whether rintf is declared
configure:14607: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14614: $? = 0
configure:14629: result: yes
configure:14645: checking whether rintl is declared
configure:14675: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14682: $? = 0
configure:14697: result: yes
configure:14717: checking for int_fast16_t
configure:14745: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14752: $? = 0
configure:14779: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:110: error: expected primary-expression before ')' token
configure:14786: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((int_fast16_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:14809: result: yes
configure:14819: checking for int_fast32_t
configure:14847: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14854: $? = 0
configure:14881: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:111: error: expected primary-expression before ')' token
configure:14888: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((int_fast32_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:14911: result: yes
configure:14921: checking for int_fast64_t
configure:14949: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:14956: $? = 0
configure:14983: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:112: error: expected primary-expression before ')' token
configure:14990: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((int_fast64_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:15013: result: yes
configure:15023: checking for uint_fast16_t
configure:15051: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:15058: $? = 0
configure:15085: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:113: error: expected primary-expression before ')' token
configure:15092: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uint_fast16_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:15115: result: yes
configure:15125: checking for uint_fast32_t
configure:15153: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:15160: $? = 0
configure:15187: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:114: error: expected primary-expression before ')' token
configure:15194: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uint_fast32_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:15217: result: yes
configure:15227: checking for uint_fast64_t
configure:15255: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
configure:15262: $? = 0
configure:15289: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:115: error: expected primary-expression before ')' token
configure:15296: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uint_fast64_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:15319: result: yes
configure:15376: checking for ld used by GCC
configure:15440: result: /usr/bin/ld
configure:15449: checking if the linker (/usr/bin/ld) is GNU ld
configure:15462: result: no
configure:15469: checking for shared library run path origin
configure:15482: result: done
configure:15513: checking how to link with libgmp
configure:15902: result: /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a
configure:15942: checking how to link with libgmpxx
configure:16331: result: /ptmp/ddvento/install/milepost/install-gmp/lib/libgmpxx.a -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a
configure:16375: checking for the GMP library version 4.1.3 or above
configure:16495: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp  /ptmp/ddvento/install/milepost/install-gmp/lib/libgmpxx.a -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:16499: $? = 0
configure:16505: ./conftest
configure:16509: $? = 0
configure:16511: result: yes
configure:16539: checking size of mp_limb_t
configure:16850: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp  /ptmp/ddvento/install/milepost/install-gmp/lib/libgmpxx.a -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:16854: $? = 0
configure:16860: ./conftest
configure:16864: $? = 0
configure:16890: result: 8
configure:16901: checking whether GMP has been compiled with support for exceptions
configure:16951: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp  /ptmp/ddvento/install/milepost/install-gmp/lib/libgmpxx.a -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:16955: $? = 0
configure:16961: ./conftest
terminate called after throwing an instance of 'std::bad_alloc'
  what():  St9bad_alloc
./configure[16963]: 966698 Abort(coredump)
configure:16965: $? = 134
configure: program exited with status 134
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| /* end confdefs.h.  */
| 
| #include <gmpxx.h>
| #include <new>
| #include <cstddef>
| 
| static void*
| x_malloc(size_t) {
|   throw std::bad_alloc();
| }
| 
| static void*
| x_realloc(void*, size_t, size_t) {
|   throw std::bad_alloc();
| }
| 
| static void
| x_free(void*, size_t) {
| }
| 
| int main() {
|   mp_set_memory_functions(x_malloc, x_realloc, x_free);
|   try {
|     mpz_class n("3141592653589793238462643383279502884");
|   }
|   catch (std::bad_alloc&) {
|     return 0;
|   }
|   return 1;
| }
| 
configure:16976: result: no
configure:17041: checking for __mpz_struct._mp_alloc
configure:17070: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:17077: $? = 0
configure:17136: result: yes
configure:17148: checking for __mpz_struct._mp_size
configure:17177: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:17184: $? = 0
configure:17243: result: yes
configure:17255: checking for __mpz_struct._mp_d
configure:17284: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:17291: $? = 0
configure:17350: result: yes
configure:17387: checking for setitimer
configure:17443: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:17450: $? = 0
configure:17472: result: yes
configure:17488: checking whether to build the Parma Watchdog Library
configure:17520: result: yes
configure:17546: checking whether to build the ppl_lcdd program
configure:17555: result: yes
configure:17579: checking whether to build the ppl_lpsol program
configure:17588: result: yes
configure:17620: checking which interfaces are enabled
configure:17682: result: cxx c ocaml java
configure:17764: checking for javac
configure:17780: found /usr/java5/bin//javac
configure:17791: result: javac
configure:17854: checking whether javac supports enums
configure:17880: javac  Test.java
configure:17883: $? = 0
configure:17895: result: yes
configure:17906: checking for java
configure:17922: found /usr/java5/bin//java
configure:17933: result: java
configure:17998: checking for uudecode
configure:18014: found /usr/bin/uudecode
configure:18025: result: yes
configure:18034: checking if uudecode can decode base 64 file
configure:18061: result: yes
configure:18212: checking if java works
configure:18249: java  Test
configure:18252: $? = 0
configure:18265: result: yes
configure:18277: checking for jar
configure:18293: found /usr/java5/bin//jar
configure:18304: result: jar
configure:18372: checking for javah
configure:18388: found /usr/java5/bin//javah
configure:18399: result: javah
configure:18469: g++ -maix64 -E -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp
conftest.cpp:1:17: error: jni.h: No such file or directory
configure:18476: $? = 1
configure: failed program was:
| #include <jni.h>
configure:18501: g++ -maix64 -E -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I -I/aix conftest.cpp
conftest.cpp:1:17: error: jni.h: No such file or directory
configure:18508: $? = 1
configure: failed program was:
| #include <jni.h>
configure:18518: WARNING: unable to include <jni.h>
configure:18538: checking whether jlong can contain data pointers
configure:18568: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I -I/aix  conftest.cpp  >&5
conftest.cpp:87:17: error: jni.h: No such file or directory
conftest.cpp: In function 'int main()':
conftest.cpp:91: error: 'jlong' was not declared in this scope
configure:18572: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| /* end confdefs.h.  */
| #include <jni.h>
| 
|     int
|     main() {
|       if (sizeof(jlong) >= sizeof(void*))
|         return 0;
|       else
|         return 1;
|     }
| 
configure:18594: result: no
configure:18648: checking for ocamlc
configure:18678: result: no
configure:18705: checking for ocamlopt
configure:18735: result: no
configure:20219: checking for GNU M4 that supports accurate traces
configure:20261: result: /usr/local/bin//m4
configure:20264: checking how m4 supports trace files
configure:20274: result: --debugfile
configure:20359: checking which instantiations are enabled
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20480: result: Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>
configure:20486: checking whether tests should be run under Valgrind
configure:20544: result: no
configure:20564: checking whether `make check' does a thorough or quick check
configure:20577: result: quick
configure:20621: checking for a sed that does not truncate output
configure:20687: result: /usr/bin/sed
configure:20735: checking for ld used by gcc -maix64
configure:20802: result: /usr/bin/ld
configure:20811: checking if the linker (/usr/bin/ld) is GNU ld
configure:20826: result: no
configure:20838: checking for BSD- or MS-compatible name lister (nm)
configure:20887: result: /usr/bin/nm -B
configure:21005: checking the name lister (/usr/bin/nm -B) interface
configure:21012: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:21015: /usr/bin/nm -B "conftest.o"
configure:21018: output
        16 d TOC
         0 d _conftest.rw_
         0 D some_variable
configure:21025: result: BSD nm
configure:21028: checking whether ln -s works
configure:21032: result: yes
configure:21040: checking the maximum length of command line arguments
configure:21160: result: 307200
configure:21177: checking whether the shell understands some XSI constructs
configure:21187: result: yes
configure:21191: checking whether the shell understands "+="
configure:21197: result: no
configure:21232: checking for /usr/bin/ld option to reload object files
configure:21239: result: -r
configure:21308: checking for objdump
configure:21338: result: no
configure:21367: checking how to recognize dependent libraries
configure:21563: result: pass_all
configure:21623: checking for ar
configure:21639: found /usr/bin/ar
configure:21650: result: ar
configure:21728: checking for strip
configure:21744: found /usr/bin/strip
configure:21755: result: strip
configure:21827: checking for ranlib
configure:21843: found /usr/bin/ranlib
configure:21854: result: ranlib
configure:21944: checking command to parse /usr/bin/nm -B output from gcc -maix64 object
configure:22062: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:22065: $? = 0
configure:22069: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[	 ]\([BCDT][BCDT]*\)[	 ][	 ]*\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2 \2/p' \> conftest.nm
configure:22072: $? = 0
configure:22126: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp conftstm.o >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:22129: $? = 0
configure:22167: result: ok
configure:23032: checking for dlfcn.h
configure:23053: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:23060: $? = 0
configure:23077: result: yes
configure:23204: checking for C++ compiler version
configure:23212: g++ -maix64 --version >&5
g++ (GCC) 4.1.1
Copyright (C) 2006 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:23216: $? = 0
configure:23223: g++ -maix64 -v >&5
Using built-in specs.
Target: powerpc-ibm-aix5.3.0.0
Configured with: ../gcc-4.1.1/configure 
Thread model: aix
gcc version 4.1.1
configure:23227: $? = 0
configure:23234: g++ -maix64 -V >&5
g++: argument to '-V' missing

configure:23238: $? = 1
configure:23241: checking whether we are using the GNU C++ compiler
configure:23294: result: yes
configure:23303: checking whether g++ -maix64 accepts -g
configure:23441: result: yes
configure:23466: checking dependency style of g++ -maix64
configure:23557: result: gcc3
configure:23580: checking how to run the C++ preprocessor
configure:23694: result: g++ -maix64 -E
configure:23723: g++ -maix64 -E -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp
configure:23730: $? = 0
configure:23761: g++ -maix64 -E -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp
conftest.cpp:88:28: error: ac_nonexistent.h: No such file or directory
configure:23768: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:23980: checking for objdir
configure:23995: result: .libs
configure:24291: checking if gcc -maix64 supports -fno-rtti -fno-exceptions
configure:24309: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -fno-rtti -fno-exceptions conftest.c >&5
cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C
configure:24313: $? = 0
configure:24326: result: no
configure:24346: checking for gcc -maix64 option to produce PIC
configure:24618: result:  -DPIC
configure:24630: checking if gcc -maix64 PIC flag  -DPIC works
configure:24648: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  -DPIC -DPIC conftest.c >&5
configure:24652: $? = 0
configure:24665: result: yes
configure:24689: checking if gcc -maix64 static flag -static works
configure:24717: result: no
configure:24732: checking if gcc -maix64 supports -c -o file.o
configure:24753: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -o out/conftest2.o conftest.c >&5
configure:24757: $? = 0
configure:24779: result: yes
configure:24787: checking if gcc -maix64 supports -c -o file.o
configure:24834: result: yes
configure:24867: checking whether the gcc -maix64 linker (/usr/bin/ld) supports shared libraries
configure:25401: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.c  >&5
configure:25408: $? = 0
configure:25941: result: yes
configure:26180: checking dynamic linker characteristics
configure:26863: result: aix5.3.0.0 ld.so
configure:26965: checking how to hardcode library paths into programs
configure:26990: result: immediate
configure:27113: checking for shl_load
configure:27169: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.c  >&5
ld: 0711-317 ERROR: Undefined symbol: .shl_load
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
collect2: ld returned 8 exit status
configure:27176: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| /* Define shl_load to an innocuous variant, in case <limits.h> declares shl_load.
|    For example, HP-UX 11i <limits.h> declares gettimeofday.  */
| #define shl_load innocuous_shl_load
| 
| /* System header to define __stub macros and hopefully few prototypes,
|     which can conflict with char shl_load (); below.
|     Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
|     <limits.h> exists even on freestanding compilers.  */
| 
| #ifdef __STDC__
| # include <limits.h>
| #else
| # include <assert.h>
| #endif
| 
| #undef shl_load
| 
| /* Override any GCC internal prototype to avoid an error.
|    Use char because int might match the return type of a GCC
|    builtin and then its argument prototype would still apply.  */
| #ifdef __cplusplus
| extern "C"
| #endif
| char shl_load ();
| /* The GNU C library defines this for functions which it implements
|     to always fail with ENOSYS.  Some functions are actually named
|     something starting with __ and the normal name is an alias.  */
| #if defined __stub_shl_load || defined __stub___shl_load
| choke me
| #endif
| 
| int
| main ()
| {
| return shl_load ();
|   ;
|   return 0;
| }
configure:27196: result: no
configure:27201: checking for shl_load in -ldld
configure:27236: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.c -ldld   >&5
collect2: library libdld not found
configure:27243: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| 
| /* Override any GCC internal prototype to avoid an error.
|    Use char because int might match the return type of a GCC
|    builtin and then its argument prototype would still apply.  */
| #ifdef __cplusplus
| extern "C"
| #endif
| char shl_load ();
| int
| main ()
| {
| return shl_load ();
|   ;
|   return 0;
| }
configure:27264: result: no
configure:27269: checking for dlopen
configure:27325: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.c  >&5
configure:27332: $? = 0
configure:27352: result: yes
configure:27597: checking whether a program can dlopen itself
configure:27667: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -DHAVE_DLFCN_H  -Wl,-bexpall conftest.c   >&5
configure:27670: $? = 0
configure:27688: result: yes
configure:27693: checking whether a statically linked program can dlopen itself
configure:27763: gcc -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -DHAVE_DLFCN_H  -Wl,-bexpall  conftest.c   >&5
configure:27766: $? = 0
configure:27784: result: yes
configure:27823: checking whether stripping libraries is possible
configure:27845: result: no
configure:27863: checking if libtool supports shared libraries
configure:27865: result: yes
configure:27868: checking whether to build shared libraries
configure:27889: result: yes
configure:27892: checking whether to build static libraries
configure:27896: result: no
configure:28046: checking for ld used by g++ -maix64
configure:28113: result: /usr/bin/ld
configure:28122: checking if the linker (/usr/bin/ld) is GNU ld
configure:28137: result: no
configure:28192: checking whether the g++ -maix64 linker (/usr/bin/ld) supports shared libraries
configure:28386: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:28393: $? = 0
configure:29167: result: yes
configure:29195: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:29198: $? = 0
configure:29380: checking for g++ -maix64 option to produce PIC
configure:29697: result:  -DPIC
configure:29706: checking if g++ -maix64 PIC flag  -DPIC works
configure:29724: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  -DPIC -DPIC conftest.cpp >&5
configure:29728: $? = 0
configure:29741: result: yes
configure:29762: checking if g++ -maix64 static flag -static works
configure:29790: result: no
configure:29802: checking if g++ -maix64 supports -c -o file.o
configure:29823: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include -o out/conftest2.o conftest.cpp >&5
configure:29827: $? = 0
configure:29849: result: yes
configure:29854: checking if g++ -maix64 supports -c -o file.o
configure:29901: result: yes
configure:29931: checking whether the g++ -maix64 linker (/usr/bin/ld) supports shared libraries
configure:29957: result: yes
configure:30094: checking dynamic linker characteristics
configure:30725: result: aix5.3.0.0 ld.so
configure:30776: checking how to hardcode library paths into programs
configure:30801: result: immediate
configure:30879: checking for md5sum
configure:30895: found /usr/bin/md5sum
configure:30906: result: md5sum
configure:30925: checking for the text md5sum command
configure:30933: result: md5sum -t
configure:30964: checking glpk.h usability
configure:30981: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.c >&5
conftest.c:122:18: error: glpk.h: No such file or directory
configure:30988: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <glpk.h>
configure:31002: result: no
configure:31006: checking glpk.h presence
configure:31021: gcc -maix64 -E -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.c
conftest.c:89:18: error: glpk.h: No such file or directory
configure:31028: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <glpk.h>
configure:31042: result: no
configure:31075: checking for glpk.h
configure:31084: result: no
configure:30964: checking glpk/glpk.h usability
configure:30981: gcc -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.c >&5
conftest.c:122:23: error: glpk/glpk.h: No such file or directory
configure:30988: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <glpk/glpk.h>
configure:31002: result: no
configure:31006: checking glpk/glpk.h presence
configure:31021: gcc -maix64 -E -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.c
conftest.c:89:23: error: glpk/glpk.h: No such file or directory
configure:31028: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <glpk/glpk.h>
configure:31042: result: no
configure:31075: checking for glpk/glpk.h
configure:31084: result: no
configure:31418: checking whether RLIMIT_DATA is declared
configure:31452: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:31459: $? = 0
configure:31474: result: yes
configure:31490: checking whether RLIMIT_RSS is declared
configure:31524: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:31531: $? = 0
configure:31546: result: yes
configure:31562: checking whether RLIMIT_VMEM is declared
configure:31596: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:101: error: 'RLIMIT_VMEM' was not declared in this scope
configure:31603: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 1
| #define HAVE_DECL_RLIMIT_RSS 1
| /* end confdefs.h.  */
| 
| #ifdef HAVE_SYS_RESOURCE_H
| # include <sys/resource.h>
| #endif
| 
| 
| int
| main ()
| {
| #ifndef RLIMIT_VMEM
|   (void) RLIMIT_VMEM;
| #endif
| 
|   ;
|   return 0;
| }
configure:31618: result: no
configure:31634: checking whether RLIMIT_AS is declared
configure:31668: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:31675: $? = 0
configure:31690: result: yes
configure:31709: checking whether getrusage is declared
configure:31746: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:31753: $? = 0
configure:31768: result: yes
configure:31788: checking for timeval
configure:31816: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:31823: $? = 0
configure:31850: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:130: error: expected primary-expression before ')' token
configure:31857: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 1
| #define HAVE_DECL_RLIMIT_RSS 1
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 1
| #define HAVE_DECL_GETRUSAGE 1
| /* end confdefs.h.  */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| #  include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| #  include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((timeval)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:31880: result: yes
configure:31891: checking for siginfo_t
configure:31922: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
configure:31929: $? = 0
configure:31959: g++ -maix64 -c  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:102: error: expected primary-expression before ')' token
configure:31966: $? = 1
configure: failed program was:
| /* confdefs.h.  */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.10.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define WORDS_BIGENDIAN 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 8
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_FLOAT 0
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_DOUBLE 0
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
| #define PPL_SUPPORTED_LONG_DOUBLE 0
| #define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_HAS_REMAINDER_BUG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 0
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_SETITIMER 1
| #define PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 1
| #define HAVE_DECL_RLIMIT_RSS 1
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 1
| #define HAVE_DECL_GETRUSAGE 1
| #define HAVE_TIMEVAL 1
| /* end confdefs.h.  */
| 
| #include <signal.h>
| 
| 
| int
| main ()
| {
| if (sizeof ((siginfo_t)))
| 	  return 0;
|   ;
|   return 0;
| }
configure:31989: result: yes
configure:32013: checking whether we can limit memory in C++ using setrlimit()
configure:32099: g++ -maix64 -o conftest  -g -O2 -frounding-math -fexceptions -fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include  conftest.cpp  >&5
ld: 0711-224 WARNING: Duplicate symbol: .__divti3
ld: 0711-224 WARNING: Duplicate symbol: .__modti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivti3
ld: 0711-224 WARNING: Duplicate symbol: .__umodti3
ld: 0711-224 WARNING: Duplicate symbol: .__udivmodti4
ld: 0711-345 Use the -bloadmap or -bnoquiet option to obtain more information.
configure:32103: $? = 0
configure:32109: ./conftest
configure:32113: $? = 0
configure:32115: result: yes
configure:32652: creating ./config.status

## ---------------------- ##
## Running config.status. ##
## ---------------------- ##

This file was extended by the Parma Polyhedra Library config.status 0.10.2, which was
generated by GNU Autoconf 2.63.  Invocation command line was

  CONFIG_FILES    = 
  CONFIG_HEADERS  = 
  CONFIG_LINKS    = 
  CONFIG_COMMANDS = 
  $ ./config.status 

on be1105en.ucar.edu

config.status:1358: creating Makefile
config.status:1358: creating ppl.lsm
config.status:1358: creating src/Makefile
config.status:1358: creating src/version.hh
config.status:1358: creating src/ppl-config.cc
config.status:1358: creating tests/Makefile
config.status:1358: creating tests/BD_Shape/Makefile
config.status:1358: creating tests/Box/Makefile
config.status:1358: creating tests/Grid/Makefile
config.status:1358: creating tests/MIP_Problem/Makefile
config.status:1358: creating tests/Octagonal_Shape/Makefile
config.status:1358: creating tests/Partially_Reduced_Product/Makefile
config.status:1358: creating tests/Polyhedron/Makefile
config.status:1358: creating tests/Powerset/Makefile
config.status:1358: creating utils/Makefile
config.status:1358: creating m4/Makefile
config.status:1358: creating demos/Makefile
config.status:1358: creating demos/ppl_lcdd/Makefile
config.status:1358: creating demos/ppl_lcdd/examples/Makefile
config.status:1358: creating demos/ppl_lpsol/Makefile
config.status:1358: creating demos/ppl_lpsol/examples/Makefile
config.status:1358: creating doc/Makefile
config.status:1358: creating doc/user.doxyconf-latex
config.status:1358: creating doc/devref.doxyconf-latex
config.status:1358: creating doc/user.doxyconf-html
config.status:1358: creating doc/devref.doxyconf-html
config.status:1358: creating doc/user-language-interface.doxyconf
config.status:1358: creating doc/devref-language-interface.doxyconf
config.status:1358: creating interfaces/Makefile
config.status:1358: creating interfaces/C/Makefile
config.status:1358: creating interfaces/C/ppl_c_version.h
config.status:1358: creating interfaces/C/tests/Makefile
config.status:1358: creating interfaces/Java/Makefile
config.status:1358: creating interfaces/Java/jni/Makefile
config.status:1358: creating interfaces/Java/tests/Makefile
config.status:1358: creating interfaces/Java/parma_polyhedra_library/Makefile
config.status:1358: creating interfaces/OCaml/Makefile
config.status:1358: creating interfaces/OCaml/tests/Makefile
config.status:1358: creating interfaces/Prolog/Makefile
config.status:1358: creating interfaces/Prolog/Ciao/Makefile
config.status:1358: creating interfaces/Prolog/GNU/Makefile
config.status:1358: creating interfaces/Prolog/SICStus/Makefile
config.status:1358: creating interfaces/Prolog/SWI/Makefile
config.status:1358: creating interfaces/Prolog/XSB/Makefile
config.status:1358: creating interfaces/Prolog/YAP/Makefile
config.status:1358: creating interfaces/Prolog/tests/Makefile
config.status:1358: creating config.h
config.status:1632: executing depfiles commands
config.status:1632: executing libtool commands
configure:35242: === configuring in Watchdog (/ptmp/ddvento/install/ppl-0.10.2/Watchdog)
configure:35345: running /bin/sh ./configure --disable-option-checking '--prefix=/contrib/ppl-0.10.2-gcc'  '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions' --cache-file=/dev/null --srcdir=.
configure:35366: WARNING: CANNOT PROPAGATE EXCEPTIONS BACK FROM GMP:
*** MEMORY EXHAUSTION MAY RESULT IN ABRUPT TERMINATION.
*** This is OK, if you do not plan to use the bounded memory capabilities
*** offered by the PPL.  Otherwise, if you are using GCC or the Intel C/C++
*** compiler, please make sure you use a version of GMP compiled with the
*** `-fexceptions' compiler option.
*** To build such a version, you can configure GMP as follows:
*** CPPFLAGS=-fexceptions ./configure --enable-cxx --prefix=/usr/local

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

ac_cv_build=powerpc-ibm-aix5.3.0.0
ac_cv_c_bigendian=yes
ac_cv_c_compiler_gnu=yes
ac_cv_c_const=yes
ac_cv_c_inline=inline
ac_cv_c_typeof=typeof
ac_cv_can_control_fpu=1
ac_cv_cxx_compiler_gnu=yes
ac_cv_cxx_has_remainder_bug=yes
ac_cv_env_CCC_set=''
ac_cv_env_CCC_value=''
ac_cv_env_CC_set=set
ac_cv_env_CC_value='gcc -maix64'
ac_cv_env_CFLAGS_set=set
ac_cv_env_CFLAGS_value=-fexceptions
ac_cv_env_CPPFLAGS_set=set
ac_cv_env_CPPFLAGS_value=-fexceptions
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=set
ac_cv_env_CXXFLAGS_value=-fexceptions
ac_cv_env_CXX_set=set
ac_cv_env_CXX_value='g++ -maix64'
ac_cv_env_LDFLAGS_set=''
ac_cv_env_LDFLAGS_value=''
ac_cv_env_LIBS_set=''
ac_cv_env_LIBS_value=''
ac_cv_env_M4_set=''
ac_cv_env_M4_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_func_dlopen=yes
ac_cv_func_setitimer=yes
ac_cv_func_shl_load=no
ac_cv_gmp_supports_exceptions=no
ac_cv_have_decl_RLIMIT_AS=yes
ac_cv_have_decl_RLIMIT_DATA=yes
ac_cv_have_decl_RLIMIT_RSS=yes
ac_cv_have_decl_RLIMIT_VMEM=no
ac_cv_have_decl_ffs=yes
ac_cv_have_decl_fma=yes
ac_cv_have_decl_fmaf=yes
ac_cv_have_decl_fmal=yes
ac_cv_have_decl_getenv=yes
ac_cv_have_decl_getrusage=yes
ac_cv_have_decl_rintf=yes
ac_cv_have_decl_rintl=yes
ac_cv_have_decl_strtod=yes
ac_cv_have_decl_strtof=yes
ac_cv_have_decl_strtold=yes
ac_cv_have_decl_strtoll=yes
ac_cv_have_decl_strtoull=yes
ac_cv_have_gmp=yes
ac_cv_header_dlfcn_h=yes
ac_cv_header_fenv_h=yes
ac_cv_header_getopt_h=no
ac_cv_header_glpk_glpk_h=no
ac_cv_header_glpk_h=no
ac_cv_header_ieeefp_h=no
ac_cv_header_inttypes_h=yes
ac_cv_header_memory_h=yes
ac_cv_header_signal_h=yes
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_resource_h=yes
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_time_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_unistd_h=yes
ac_cv_host=powerpc-ibm-aix5.3.0.0
ac_cv_javac_supports_enums=yes
ac_cv_lib_dld_shl_load=no
ac_cv_libgmp_cppflags=-I/ptmp/ddvento/install/milepost/install-gmp/include
ac_cv_libgmp_libs=/ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a
ac_cv_libgmp_ltlibs='-L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmp'
ac_cv_libgmpxx_cppflags=''
ac_cv_libgmpxx_libs='/ptmp/ddvento/install/milepost/install-gmp/lib/libgmpxx.a -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a'
ac_cv_libgmpxx_ltlibs='-L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmpxx -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib -L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmp'
ac_cv_member___mpz_struct__mp_alloc=yes
ac_cv_member___mpz_struct__mp_d=yes
ac_cv_member___mpz_struct__mp_size=yes
ac_cv_objext=o
ac_cv_path_EGREP='/usr/local/bin//grep -E'
ac_cv_path_FGREP='/usr/local/bin//grep -F'
ac_cv_path_GREP=/usr/local/bin//grep
ac_cv_path_M4=/usr/local/bin//m4
ac_cv_path_PERL=/usr/bin/perl
ac_cv_path_SED=/usr/bin/sed
ac_cv_path_install='/usr/local/bin//install -c'
ac_cv_path_mkdir=/usr/local/bin//mkdir
ac_cv_prog_AWK=nawk
ac_cv_prog_CPP='gcc -maix64 -E'
ac_cv_prog_CXXCPP='g++ -maix64 -E'
ac_cv_prog_JAR=jar
ac_cv_prog_JAVA=java
ac_cv_prog_JAVAC=javac
ac_cv_prog_JAVAH=javah
ac_cv_prog_MD5SUM=md5sum
ac_cv_prog_ac_ct_AR=ar
ac_cv_prog_ac_ct_CC='gcc -maix64'
ac_cv_prog_ac_ct_RANLIB=ranlib
ac_cv_prog_ac_ct_STRIP=strip
ac_cv_prog_cc_c89=''
ac_cv_prog_cc_g=yes
ac_cv_prog_cxx_g=yes
ac_cv_prog_gnu_m4_debugfile=--debugfile
ac_cv_prog_java_works=yes
ac_cv_prog_make_make_set=yes
ac_cv_prog_text_md5sum='md5sum -t'
ac_cv_prog_uudecode=yes
ac_cv_prog_uudecode_base64=yes
ac_cv_sizeof_char=1
ac_cv_sizeof_double=8
ac_cv_sizeof_float=4
ac_cv_sizeof_fp=8
ac_cv_sizeof_int=4
ac_cv_sizeof_intp=8
ac_cv_sizeof_long=8
ac_cv_sizeof_long_double=8
ac_cv_sizeof_long_long=8
ac_cv_sizeof_mp_limb_t=8
ac_cv_sizeof_short=2
ac_cv_sizeof_size_t=8
ac_cv_type_int_fast16_t=yes
ac_cv_type_int_fast32_t=yes
ac_cv_type_int_fast64_t=yes
ac_cv_type_siginfo_t=yes
ac_cv_type_timeval=yes
ac_cv_type_uint_fast16_t=yes
ac_cv_type_uint_fast32_t=yes
ac_cv_type_uint_fast64_t=yes
acl_cv_hardcode_direct=yes
acl_cv_hardcode_libdir_flag_spec='${wl}-blibpath:$libdir:/usr/local/lib/gcc/powerpc-ibm-aix5.3.0.0/4.1.1/ppc64:/usr/local/lib/gcc/powerpc-ibm-aix5.3.0.0/4.1.1/../../../ppc64:/usr/lib:/lib                                         '
acl_cv_hardcode_libdir_separator=:
acl_cv_hardcode_minus_L=no
acl_cv_libext=a
acl_cv_libname_spec='lib$name'
acl_cv_library_names_spec='$libname$shrext'
acl_cv_path_LD=/usr/bin/ld
acl_cv_prog_gnu_ld=no
acl_cv_rpath=done
acl_cv_shlibext=so
acl_cv_wl=-Wl,
am_cv_CC_dependencies_compiler_type=gcc3
am_cv_CXX_dependencies_compiler_type=gcc3
am_cv_prog_tar_ustar=gnutar
lt_cv_deplibs_check_method=pass_all
lt_cv_dlopen=dlopen
lt_cv_dlopen_libs=''
lt_cv_dlopen_self=yes
lt_cv_dlopen_self_static=yes
lt_cv_file_magic_cmd='$MAGIC_CMD'
lt_cv_file_magic_test_file=''
lt_cv_ld_reload_flag=-r
lt_cv_nm_interface='BSD nm'
lt_cv_objdir=.libs
lt_cv_path_LD=/usr/bin/ld
lt_cv_path_LDCXX=/usr/bin/ld
lt_cv_path_NM='/usr/bin/nm -B'
lt_cv_prog_compiler_c_o=yes
lt_cv_prog_compiler_c_o_CXX=yes
lt_cv_prog_compiler_pic_works=yes
lt_cv_prog_compiler_pic_works_CXX=yes
lt_cv_prog_compiler_rtti_exceptions=no
lt_cv_prog_compiler_static_works=no
lt_cv_prog_compiler_static_works_CXX=no
lt_cv_prog_gnu_ld=no
lt_cv_prog_gnu_ldcxx=no
lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[	 ]\([BCDT][BCDT]*\)[	 ][	 ]*\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2 \2/p'\'
lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: \([^ ]*\) $/  {\"\1\", (void *) 0},/p'\'' -e '\''s/^[BCDT]* \([^ ]*\) \([^ ]*\)$/  {"\2", (void *) \&\2},/p'\'
lt_cv_sys_global_symbol_to_c_name_address_lib_prefix='sed -n -e '\''s/^: \([^ ]*\) $/  {\"\1\", (void *) 0},/p'\'' -e '\''s/^[BCDT]* \([^ ]*\) \(lib[^ ]*\)$/  {"\2", (void *) \&\2},/p'\'' -e '\''s/^[BCDT]* \([^ ]*\) \([^ ]*\)$/  {"lib\2", (void *) \&\2},/p'\'
lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^T .* \(.*\)$/extern int \1();/p'\'' -e '\''s/^[BCDT]* .* \(.*\)$/extern char \1;/p'\'
lt_cv_sys_max_cmd_len=307200

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

ACLOCAL='${SHELL} /ptmp/ddvento/install/ppl-0.10.2/missing --run aclocal-1.10'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='${SHELL} /ptmp/ddvento/install/ppl-0.10.2/missing --run tar'
AR='ar'
ASSERTIONS_ENABLED_FALSE=''
ASSERTIONS_ENABLED_TRUE='#'
AUTOCONF='${SHELL} /ptmp/ddvento/install/ppl-0.10.2/missing --run autoconf'
AUTOHEADER='${SHELL} /ptmp/ddvento/install/ppl-0.10.2/missing --run autoheader'
AUTOMAKE='${SHELL} /ptmp/ddvento/install/ppl-0.10.2/missing --run automake-1.10'
AWK='nawk'
BUILD_CIAO_PROLOG_INTERFACE_FALSE=''
BUILD_CIAO_PROLOG_INTERFACE_TRUE='#'
BUILD_CXX_INTERFACE_FALSE='#'
BUILD_CXX_INTERFACE_TRUE=''
BUILD_C_INTERFACE_FALSE='#'
BUILD_C_INTERFACE_TRUE=''
BUILD_GNU_PROLOG_INTERFACE_FALSE=''
BUILD_GNU_PROLOG_INTERFACE_TRUE='#'
BUILD_JAVA_INTERFACE_FALSE=''
BUILD_JAVA_INTERFACE_TRUE='#'
BUILD_OCAML_INTERFACE_FALSE=''
BUILD_OCAML_INTERFACE_TRUE='#'
BUILD_PPL_LCDD_FALSE='#'
BUILD_PPL_LCDD_TRUE=''
BUILD_PPL_LPSOL_FALSE='#'
BUILD_PPL_LPSOL_TRUE=''
BUILD_SICSTUS_PROLOG_INTERFACE_FALSE=''
BUILD_SICSTUS_PROLOG_INTERFACE_TRUE='#'
BUILD_SOME_PROLOG_INTERFACES_FALSE=''
BUILD_SOME_PROLOG_INTERFACES_TRUE='#'
BUILD_SWI_PROLOG_INTERFACE_FALSE=''
BUILD_SWI_PROLOG_INTERFACE_TRUE='#'
BUILD_WATCHDOG_LIBRARY_FALSE='#'
BUILD_WATCHDOG_LIBRARY_TRUE=''
BUILD_XSB_PROLOG_INTERFACE_FALSE=''
BUILD_XSB_PROLOG_INTERFACE_TRUE='#'
BUILD_YAP_PROLOG_INTERFACE_FALSE=''
BUILD_YAP_PROLOG_INTERFACE_TRUE='#'
CAN_CONTROL_FPU_FALSE='#'
CAN_CONTROL_FPU_TRUE=''
CC='gcc -maix64'
CCDEPMODE='depmode=gcc3'
CFLAGS=' -g -O2 -frounding-math -fexceptions -W -Wall'
CIAO_PROLOG=''
CIAO_PROLOG_INCLUDE_OPTIONS=''
CONFIGURE_OPTIONS=''
CPP='gcc -maix64 -E'
CPPFLAGS='-fexceptions -I/ptmp/ddvento/install/milepost/install-gmp/include'
CXX='g++ -maix64'
CXXCPP='g++ -maix64 -E'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS=' -g -O2 -frounding-math -fexceptions -W -Wall'
CYGPATH_W='echo'
DEBUGGING_ENABLED_FALSE='#'
DEBUGGING_ENABLED_TRUE=''
DEFS='-DHAVE_CONFIG_H'
DEPDIR='.deps'
DSYMUTIL=''
DUMPBIN=''
ECHO_C='\c'
ECHO_N=''
ECHO_T=''
EGREP='/usr/local/bin//grep -E'
ENABLE_SHARED_FALSE='#'
ENABLE_SHARED_TRUE=''
ENABLE_STATIC_FALSE=''
ENABLE_STATIC_TRUE='#'
EXEEXT=''
FGREP='/usr/local/bin//grep -F'
GCC_FALSE='#'
GCC_TRUE=''
GNU_PROLOG=''
GREP='/usr/local/bin//grep'
HAVE_GLPK_FALSE=''
HAVE_GLPK_TRUE='#'
HAVE_MD5SUM_FALSE='#'
HAVE_MD5SUM_TRUE=''
HAVE_OCAMLC_FALSE=''
HAVE_OCAMLC_TRUE='#'
HAVE_OCAMLOPT_FALSE=''
HAVE_OCAMLOPT_TRUE='#'
HAVE_PERL_FALSE='#'
HAVE_PERL_TRUE=''
HOST_CPU_X86_64_FALSE=''
HOST_CPU_X86_64_TRUE='#'
HOST_OS_CYGWIN_FALSE=''
HOST_OS_CYGWIN_TRUE='#'
HOST_OS_DARWIN_FALSE=''
HOST_OS_DARWIN_TRUE='#'
HOST_OS_MINGW_FALSE=''
HOST_OS_MINGW_TRUE='#'
HOST_OS_SOLARIS_FALSE=''
HOST_OS_SOLARIS_TRUE='#'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
ISODATE='2009-09-18'
JAR='jar'
JAVA='java'
JAVAC='javac'
JAVAH='no'
JNIFLAGS='-I -I/aix'
LD='/usr/bin/ld'
LDFLAGS=''
LIBEXT='a'
LIBGMP='/ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a'
LIBGMPXX='/ptmp/ddvento/install/milepost/install-gmp/lib/libgmpxx.a -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib /ptmp/ddvento/install/milepost/install-gmp/lib/libgmp.a'
LIBOBJS=''
LIBS=''
LIBTOOL='$(SHELL) $(top_builddir)/libtool'
LIPO=''
LN_S='ln -s'
LTLIBGMP='-L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmp'
LTLIBGMPXX='-L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmpxx -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib -L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmp'
LTLIBOBJS=''
M4='/usr/local/bin//m4'
M4_DEBUGFILE='--debugfile'
MAKEINFO='${SHELL} /ptmp/ddvento/install/ppl-0.10.2/missing --run makeinfo'
MD5SUM='md5sum'
MKDIR_P='/usr/local/bin//mkdir -p'
NM='/usr/bin/nm -B'
NMEDIT=''
NO_UNDEFINED_FALSE=''
NO_UNDEFINED_TRUE='#'
OBJDUMP='false'
OBJEXT='o'
OCAMLC=''
OCAMLOPT=''
OTOOL64=''
OTOOL=''
PACKAGE='ppl'
PACKAGE_BUGREPORT='ppl-devel@cs.unipr.it'
PACKAGE_NAME='the Parma Polyhedra Library'
PACKAGE_STRING='the Parma Polyhedra Library 0.10.2'
PACKAGE_TARNAME='ppl'
PACKAGE_VERSION='0.10.2'
PATH_SEPARATOR=':'
PERL='/usr/bin/perl'
PPL_VERSION_BETA='0'
PPL_VERSION_MAJOR='0'
PPL_VERSION_MINOR='10'
PPL_VERSION_REVISION='2'
RANLIB='ranlib'
SED='/usr/bin/sed'
SET_MAKE=''
SHELL='/bin/sh'
SHREXT='.so'
SICSTUS_PROLOG_INCLUDE_OPTIONS=''
STRIP='strip'
SUPPORTED_DOUBLE_FALSE=''
SUPPORTED_DOUBLE_TRUE='#'
SUPPORTED_FLOAT_FALSE=''
SUPPORTED_FLOAT_TRUE='#'
SUPPORTED_LONG_DOUBLE_FALSE=''
SUPPORTED_LONG_DOUBLE_TRUE='#'
SWI_PROLOG=''
SWI_PROLOG_INCLUDE_OPTIONS=''
SWI_PROLOG_LD_OPTIONS=''
TEXT_MD5SUM='md5sum -t'
THOROUGH_MAKE_CHECK_FALSE=''
THOROUGH_MAKE_CHECK_TRUE='#'
USE_CHECKED_INTEGERS_FALSE=''
USE_CHECKED_INTEGERS_TRUE='#'
USE_GMP_INTEGERS_FALSE='#'
USE_GMP_INTEGERS_TRUE=''
USE_INT16_FALSE=''
USE_INT16_TRUE='#'
USE_INT32_FALSE=''
USE_INT32_TRUE='#'
USE_INT64_FALSE=''
USE_INT64_TRUE='#'
USE_INT8_FALSE=''
USE_INT8_TRUE='#'
USE_NATIVE_INTEGERS_FALSE=''
USE_NATIVE_INTEGERS_TRUE='#'
USE_PRECOMPILED_HEADERS_FALSE=''
USE_PRECOMPILED_HEADERS_TRUE='#'
VALGRIND=''
VALGRIND_TESTS_ENABLED_FALSE=''
VALGRIND_TESTS_ENABLED_TRUE='#'
VERSION='0.10.2'
XSB_PROLOG_INCLUDE_OPTIONS=''
YAP_PROLOG=''
ac_ct_CC='gcc -maix64'
ac_ct_CXX=''
ac_ct_DUMPBIN=''
am__fastdepCC_FALSE='#'
am__fastdepCC_TRUE=''
am__fastdepCXX_FALSE='#'
am__fastdepCXX_TRUE=''
am__include='include'
am__isrc=''
am__leading_dot='.'
am__quote=''
am__tar='gtar --format=ustar -chf - "$$tardir"'
am__untar='gtar -xf -'
bindir='${exec_prefix}/bin'
build='powerpc-ibm-aix5.3.0.0'
build_alias=''
build_cpu='powerpc'
build_os='aix5.3.0.0'
build_vendor='ibm'
ciao_prolog=''
coefficient_mnemonic='mpz'
datadir='${datarootdir}'
datarootdir='${prefix}/share'
debug_flag='-DNDEBUG=1'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
exec_prefix='${prefix}'
extra_includes=''
extra_libraries=' -lm -L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmpxx -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src -L/ptmp/jeph/gcc_build/powerpc-ibm-aix5.3.0.0/ppc64/libstdc++-v3/src/.libs -L/ptmp/jeph/gcc_build/./gcc/ppc64 -L/usr/local/lib -L/ptmp/ddvento/install/milepost/install-gmp/lib -lgmp'
host='powerpc-ibm-aix5.3.0.0'
host_alias=''
host_cpu='powerpc'
host_os='aix5.3.0.0'
host_vendor='ibm'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='$(SHELL) /ptmp/ddvento/install/ppl-0.10.2/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
lt_ECHO='/usr/local/bin//echo'
mandir='${datarootdir}/man'
mkdir_p='/usr/local/bin//mkdir -p'
mlgmp_dir='+gmp'
ocamlc_root=''
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/contrib/ppl-0.10.2-gcc'
program_transform_name='s,x,x,'
psdir='${docdir}'
required_instantiations='Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>'
required_instantiations_c_cxx_headers='ppl_c_Polyhedron.hh ppl_c_Grid.hh ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh ppl_c_BD_Shape_mpq_class.hh ppl_c_Octagonal_Shape_mpz_class.hh ppl_c_Octagonal_Shape_mpq_class.hh ppl_c_Constraints_Product_C_Polyhedron_Grid.hh ppl_c_Pointset_Powerset_C_Polyhedron.hh ppl_c_Pointset_Powerset_NNC_Polyhedron.hh'
required_instantiations_c_cxx_objects='ppl_c_Polyhedron.lo ppl_c_Grid.lo ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo ppl_c_BD_Shape_mpq_class.lo ppl_c_Octagonal_Shape_mpz_class.lo ppl_c_Octagonal_Shape_mpq_class.lo ppl_c_Constraints_Product_C_Polyhedron_Grid.lo ppl_c_Pointset_Powerset_C_Polyhedron.lo ppl_c_Pointset_Powerset_NNC_Polyhedron.lo'
required_instantiations_c_cxx_sources='ppl_c_Polyhedron.cc ppl_c_Grid.cc ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc ppl_c_BD_Shape_mpq_class.cc ppl_c_Octagonal_Shape_mpz_class.cc ppl_c_Octagonal_Shape_mpq_class.cc ppl_c_Constraints_Product_C_Polyhedron_Grid.cc ppl_c_Pointset_Powerset_C_Polyhedron.cc ppl_c_Pointset_Powerset_NNC_Polyhedron.cc'
required_instantiations_canonical_names='Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@BD_Shape_mpq_class@Octagonal_Shape_mpz_class@Octagonal_Shape_mpq_class@Constraints_Product_C_Polyhedron_Grid@Pointset_Powerset_C_Polyhedron@Pointset_Powerset_NNC_Polyhedron'
required_instantiations_java_classes='Polyhedron.class C_Polyhedron.class NNC_Polyhedron.class Grid.class Rational_Box.class BD_Shape_mpz_class.class BD_Shape_mpq_class.class Octagonal_Shape_mpz_class.class Octagonal_Shape_mpq_class.class Constraints_Product_C_Polyhedron_Grid.class Pointset_Powerset_C_Polyhedron.class Pointset_Powerset_C_Polyhedron_Iterator.class Pointset_Powerset_NNC_Polyhedron.class Pointset_Powerset_NNC_Polyhedron_Iterator.class'
required_instantiations_java_cxx_headers='parma_polyhedra_library.Polyhedron parma_polyhedra_library.C_Polyhedron parma_polyhedra_library.NNC_Polyhedron parma_polyhedra_library.Grid parma_polyhedra_library.Rational_Box parma_polyhedra_library.BD_Shape_mpz_class parma_polyhedra_library.BD_Shape_mpq_class parma_polyhedra_library.Octagonal_Shape_mpz_class parma_polyhedra_library.Octagonal_Shape_mpq_class parma_polyhedra_library.Constraints_Product_C_Polyhedron_Grid parma_polyhedra_library.Pointset_Powerset_C_Polyhedron parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron_Iterator'
required_instantiations_java_cxx_headers_sources='parma_polyhedra_library_Polyhedron.h parma_polyhedra_library_C_Polyhedron.h parma_polyhedra_library_NNC_Polyhedron.h parma_polyhedra_library_Grid.h parma_polyhedra_library_Rational_Box.h parma_polyhedra_library_BD_Shape_mpz_class.h parma_polyhedra_library_BD_Shape_mpq_class.h parma_polyhedra_library_Octagonal_Shape_mpz_class.h parma_polyhedra_library_Octagonal_Shape_mpq_class.h parma_polyhedra_library_Constraints_Product_C_Polyhedron_Grid.h parma_polyhedra_library_Pointset_Powerset_C_Polyhedron.h parma_polyhedra_library_Pointset_Powerset_C_Polyhedron_Iterator.h parma_polyhedra_library_Pointset_Powerset_NNC_Polyhedron.h parma_polyhedra_library_Pointset_Powerset_NNC_Polyhedron_Iterator.h'
required_instantiations_java_cxx_objects='ppl_java_Polyhedron.lo ppl_java_Grid.lo ppl_java_Rational_Box.lo ppl_java_BD_Shape_mpz_class.lo ppl_java_BD_Shape_mpq_class.lo ppl_java_Octagonal_Shape_mpz_class.lo ppl_java_Octagonal_Shape_mpq_class.lo ppl_java_Constraints_Product_C_Polyhedron_Grid.lo ppl_java_Pointset_Powerset_C_Polyhedron.lo ppl_java_Pointset_Powerset_NNC_Polyhedron.lo'
required_instantiations_java_cxx_sources='ppl_java_Polyhedron.cc ppl_java_Grid.cc ppl_java_Rational_Box.cc ppl_java_BD_Shape_mpz_class.cc ppl_java_BD_Shape_mpq_class.cc ppl_java_Octagonal_Shape_mpz_class.cc ppl_java_Octagonal_Shape_mpq_class.cc ppl_java_Constraints_Product_C_Polyhedron_Grid.cc ppl_java_Pointset_Powerset_C_Polyhedron.cc ppl_java_Pointset_Powerset_NNC_Polyhedron.cc'
required_instantiations_java_sources='Polyhedron.java C_Polyhedron.java NNC_Polyhedron.java Grid.java Rational_Box.java BD_Shape_mpz_class.java BD_Shape_mpq_class.java Octagonal_Shape_mpz_class.java Octagonal_Shape_mpq_class.java Constraints_Product_C_Polyhedron_Grid.java Pointset_Powerset_C_Polyhedron.java Pointset_Powerset_C_Polyhedron_Iterator.java Pointset_Powerset_NNC_Polyhedron.java Pointset_Powerset_NNC_Polyhedron_Iterator.java'
required_instantiations_ocaml_cxx_headers='ppl_ocaml_Polyhedron.hh ppl_ocaml_Grid.hh ppl_ocaml_Rational_Box.hh ppl_ocaml_BD_Shape_mpz_class.hh ppl_ocaml_BD_Shape_mpq_class.hh ppl_ocaml_Octagonal_Shape_mpz_class.hh ppl_ocaml_Octagonal_Shape_mpq_class.hh ppl_ocaml_Constraints_Product_C_Polyhedron_Grid.hh ppl_ocaml_Pointset_Powerset_C_Polyhedron.hh ppl_ocaml_Pointset_Powerset_NNC_Polyhedron.hh'
required_instantiations_ocaml_cxx_objects='ppl_ocaml_Polyhedron.o ppl_ocaml_Grid.o ppl_ocaml_Rational_Box.o ppl_ocaml_BD_Shape_mpz_class.o ppl_ocaml_BD_Shape_mpq_class.o ppl_ocaml_Octagonal_Shape_mpz_class.o ppl_ocaml_Octagonal_Shape_mpq_class.o ppl_ocaml_Constraints_Product_C_Polyhedron_Grid.o ppl_ocaml_Pointset_Powerset_C_Polyhedron.o ppl_ocaml_Pointset_Powerset_NNC_Polyhedron.o'
required_instantiations_ocaml_cxx_sources='ppl_ocaml_Polyhedron.cc ppl_ocaml_Grid.cc ppl_ocaml_Rational_Box.cc ppl_ocaml_BD_Shape_mpz_class.cc ppl_ocaml_BD_Shape_mpq_class.cc ppl_ocaml_Octagonal_Shape_mpz_class.cc ppl_ocaml_Octagonal_Shape_mpq_class.cc ppl_ocaml_Constraints_Product_C_Polyhedron_Grid.cc ppl_ocaml_Pointset_Powerset_C_Polyhedron.cc ppl_ocaml_Pointset_Powerset_NNC_Polyhedron.cc'
required_instantiations_prolog_cxx_headers='ppl_prolog_Polyhedron.hh ppl_prolog_Grid.hh ppl_prolog_Rational_Box.hh ppl_prolog_BD_Shape_mpz_class.hh ppl_prolog_BD_Shape_mpq_class.hh ppl_prolog_Octagonal_Shape_mpz_class.hh ppl_prolog_Octagonal_Shape_mpq_class.hh ppl_prolog_Constraints_Product_C_Polyhedron_Grid.hh ppl_prolog_Pointset_Powerset_C_Polyhedron.hh ppl_prolog_Pointset_Powerset_NNC_Polyhedron.hh'
required_instantiations_prolog_cxx_objects='ppl_prolog_Polyhedron.lo ppl_prolog_Grid.lo ppl_prolog_Rational_Box.lo ppl_prolog_BD_Shape_mpz_class.lo ppl_prolog_BD_Shape_mpq_class.lo ppl_prolog_Octagonal_Shape_mpz_class.lo ppl_prolog_Octagonal_Shape_mpq_class.lo ppl_prolog_Constraints_Product_C_Polyhedron_Grid.lo ppl_prolog_Pointset_Powerset_C_Polyhedron.lo ppl_prolog_Pointset_Powerset_NNC_Polyhedron.lo'
required_instantiations_prolog_cxx_sources='ppl_prolog_Polyhedron.cc ppl_prolog_Grid.cc ppl_prolog_Rational_Box.cc ppl_prolog_BD_Shape_mpz_class.cc ppl_prolog_BD_Shape_mpq_class.cc ppl_prolog_Octagonal_Shape_mpz_class.cc ppl_prolog_Octagonal_Shape_mpq_class.cc ppl_prolog_Constraints_Product_C_Polyhedron_Grid.cc ppl_prolog_Pointset_Powerset_C_Polyhedron.cc ppl_prolog_Pointset_Powerset_NNC_Polyhedron.cc'
required_instantiations_prolog_generated_test_sources='ppl_prolog_generated_test_Polyhedron.pl ppl_prolog_generated_test_Grid.pl ppl_prolog_generated_test_Rational_Box.pl ppl_prolog_generated_test_BD_Shape_mpz_class.pl ppl_prolog_generated_test_BD_Shape_mpq_class.pl ppl_prolog_generated_test_Octagonal_Shape_mpz_class.pl ppl_prolog_generated_test_Octagonal_Shape_mpq_class.pl ppl_prolog_generated_test_Constraints_Product_C_Polyhedron_Grid.pl ppl_prolog_generated_test_Pointset_Powerset_C_Polyhedron.pl ppl_prolog_generated_test_Pointset_Powerset_NNC_Polyhedron.pl'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sicstus_prolog=''
subdirs=' Watchdog'
swi_prolog=''
sysconfdir='${prefix}/etc'
target_alias=''
uudecode='yes'
xsb_prolog=''

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

#define PACKAGE_NAME "the Parma Polyhedra Library"
#define PACKAGE_TARNAME "ppl"
#define PACKAGE_VERSION "0.10.2"
#define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2"
#define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
#define PPL_CONFIGURE_OPTIONS " '--prefix=/contrib/ppl-0.10.2-gcc' '--with-libgmp-prefix=/ptmp/ddvento/install/milepost/install-gmp' '--enable-cxx' 'CC=gcc -maix64' 'CFLAGS=-fexceptions' 'CPPFLAGS=-fexceptions' 'CXX=g++ -maix64' 'CXXFLAGS=-fexceptions'"
#define PPL_NDEBUG 1
#define PPL_FPMATH_MAY_USE_387 1
#define PPL_FPMATH_MAY_USE_SSE 1
#define PPL_COEFFICIENT_TYPE mpz_class
#define PPL_COEFFICIENT_BITS 0
#define PPL_GMP_INTEGERS 1
#define STDC_HEADERS 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_SYS_STAT_H 1
#define HAVE_STDLIB_H 1
#define HAVE_STRING_H 1
#define HAVE_MEMORY_H 1
#define HAVE_STRINGS_H 1
#define HAVE_INTTYPES_H 1
#define HAVE_STDINT_H 1
#define HAVE_UNISTD_H 1
#define WORDS_BIGENDIAN 1
#define HAVE_TYPEOF 1
#define SIZEOF_CHAR 1
#define SIZEOF_SHORT 2
#define SIZEOF_INT 4
#define SIZEOF_LONG 8
#define SIZEOF_LONG_LONG 8
#define SIZEOF_SIZE_T 8
#define SIZEOF_FLOAT 4
#define SIZEOF_DOUBLE 8
#define SIZEOF_LONG_DOUBLE 8
#define SIZEOF_INTP 8
#define SIZEOF_FP 8
#define HAVE_FENV_H 1
#define PPL_CAN_CONTROL_FPU 1
#define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 0
#define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
#define PPL_CXX_FLOAT_EXACT_OUTPUT 0
#define PPL_SUPPORTED_FLOAT 0
#define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
#define PPL_CXX_DOUBLE_EXACT_OUTPUT 0
#define PPL_SUPPORTED_DOUBLE 0
#define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
#define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 0
#define PPL_SUPPORTED_LONG_DOUBLE 0
#define PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS 1
#define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
#define PPL_CXX_HAS_REMAINDER_BUG 1
#define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
#define HAVE_FENV_H 1
#define HAVE_SIGNAL_H 1
#define HAVE_STRING_H 1
#define HAVE_STRINGS_H 1
#define HAVE_SYS_RESOURCE_H 1
#define HAVE_SYS_TIME_H 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_UNISTD_H 1
#define HAVE_DECL_FFS 1
#define HAVE_DECL_GETENV 1
#define HAVE_DECL_STRTOF 1
#define HAVE_DECL_STRTOD 1
#define HAVE_DECL_STRTOLD 1
#define HAVE_DECL_STRTOLL 1
#define HAVE_DECL_STRTOULL 1
#define HAVE_DECL_FMA 1
#define HAVE_DECL_FMAF 1
#define HAVE_DECL_FMAL 1
#define HAVE_DECL_RINTF 1
#define HAVE_DECL_RINTL 1
#define HAVE_INT_FAST16_T 1
#define HAVE_INT_FAST32_T 1
#define HAVE_INT_FAST64_T 1
#define HAVE_UINT_FAST16_T 1
#define HAVE_UINT_FAST32_T 1
#define HAVE_UINT_FAST64_T 1
#define SIZEOF_MP_LIMB_T 8
#define PPL_GMP_SUPPORTS_EXCEPTIONS 0
#define HAVE___MPZ_STRUCT__MP_ALLOC 1
#define HAVE___MPZ_STRUCT__MP_SIZE 1
#define HAVE___MPZ_STRUCT__MP_D 1
#define HAVE_SETITIMER 1
#define PPL_WATCHDOG_LIBRARY_ENABLED 1
#define HAVE_DLFCN_H 1
#define LT_OBJDIR ".libs/"
#define HAVE_DECL_RLIMIT_DATA 1
#define HAVE_DECL_RLIMIT_RSS 1
#define HAVE_DECL_RLIMIT_VMEM 0
#define HAVE_DECL_RLIMIT_AS 1
#define HAVE_DECL_GETRUSAGE 1
#define HAVE_TIMEVAL 1
#define HAVE_SIGINFO_T 1
#define PPL_CXX_SUPPORTS_LIMITING_MEMORY 1

configure: exit 0
