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 --enable-nterfaces=java,

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

hostname = uhzzre-mobile
uname -m = i686
uname -r = 1.0.11(0.46/3/2)
uname -s = MINGW32_NT-6.1
uname -v = 2009-07-11 17:46

/usr/bin/uname -p = unknown
/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       = unknown
/bin/universe          = unknown

PATH: .
PATH: /usr/local/bin
PATH: /mingw/bin
PATH: /bin
PATH: /c/Program Files (x86)/PC Connectivity Solution/
PATH: /c/Program Files (x86)/MiKTeX 2.8/miktex/bin
PATH: /c/Program Files/Common Files/Microsoft Shared/Windows Live
PATH: /c/Windows/system32
PATH: /c/Windows
PATH: /c/Windows/System32/Wbem
PATH: /c/Windows/System32/WindowsPowerShell/v1.0/
PATH: /c/Program Files/TortoiseSVN/bin
PATH: /c/Program Files/TortoiseHg
PATH: /c/Program Files (x86)/Microsoft SQL Server/90/Tools/binn/
PATH: /c/Program Files/Common Files/Microsoft Shared/Windows Live
PATH: /c/Program Files/Java/jdk1.6.0_16/bin


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

configure:2298: checking build system type
configure:2316: result: i686-pc-mingw32
configure:2338: checking host system type
configure:2353: result: i686-pc-mingw32
configure:2393: checking for a BSD-compatible install
configure:2461: result: /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: /bin/mkdir -p
configure:2592: checking for gawk
configure:2608: found /bin/gawk
configure:2619: result: gawk
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 (GNU tar) 1.19.90
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 tar --format=ustar -chf - "$tardir" >conftest.tar
configure:2881: $? = 0
configure:2885: tar -xf - <conftest.tar
tar: conftest.dir/file: time stamp 2009-11-23 10:31:55 is 0.381 s in the future
tar: conftest.dir: time stamp 2009-11-23 10:31:55 is 0.381 s in the future
configure:2888: $? = 0
configure:2901: result: gnutar
configure:3027: checking for gcc
configure:3043: found /mingw/bin/gcc
configure:3054: result: gcc
configure:3286: checking for C compiler version
configure:3294: gcc --version >&5
gcc.exe (TDM-2 mingw32) 4.4.1
Copyright (C) 2009 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 -v >&5
Using built-in specs.
Target: mingw32
Configured with: ../../gcc-4.4.1/configure --prefix=/mingw --build=mingw32 --enable-languages=c,ada,c++,fortran,objc,obj-c++ --disable-nls --disable-win32-registry --enable-libgomp --enable-cxx-flags='-fno-function-sections -fno-data-sections' --disable-werror --enable-threads --disable-symvers --enable-version-specific-runtime-libs --enable-fully-dynamic-string --with-pkgversion='TDM-2 mingw32' --enable-sjlj-exceptions --with-bugurl=http://www.tdragon.net/recentgcc/bugs.php
Thread model: win32
gcc version 4.4.1 (TDM-2 mingw32) 
configure:3309: $? = 0
configure:3316: gcc -V >&5
gcc.exe: '-V' option must have argument
configure:3320: $? = 1
configure:3343: checking for C compiler default output file name
configure:3365: gcc    conftest.c  >&5
configure:3369: $? = 0
configure:3407: result: a.exe
configure:3426: checking whether the C compiler works
configure:3436: ./a.exe
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 -o conftest.exe    conftest.c  >&5
configure:3482: $? = 0
configure:3508: result: .exe
configure:3514: checking for suffix of object files
configure:3540: gcc -c   conftest.c >&5
configure:3544: $? = 0
configure:3569: result: o
configure:3573: checking whether we are using the GNU C compiler
configure:3602: gcc -c   conftest.c >&5
configure:3609: $? = 0
configure:3626: result: yes
configure:3635: checking whether gcc accepts -g
configure:3665: gcc -c -g  conftest.c >&5
configure:3672: $? = 0
configure:3773: result: yes
configure:3790: checking for gcc option to accept ISO C89
configure:3864: gcc  -c -g -O2  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
configure:4067: result: gcc3
configure:4096: checking whether we are actually using the Intel C compiler
configure:4123: gcc -c   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 " '--enable-nterfaces=java,'"
| /* end confdefs.h.  */
| 
| #ifndef __INTEL_COMPILER
| choke me
| #endif
| 
configure:4142: result: no
configure:4215: checking for g++
configure:4231: found /mingw/bin/g++
configure:4242: result: g++
configure:4269: checking for C++ compiler version
configure:4277: g++ --version >&5
g++.exe (TDM-2 mingw32) 4.4.1
Copyright (C) 2009 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++ -v >&5
Using built-in specs.
Target: mingw32
Configured with: ../../gcc-4.4.1/configure --prefix=/mingw --build=mingw32 --enable-languages=c,ada,c++,fortran,objc,obj-c++ --disable-nls --disable-win32-registry --enable-libgomp --enable-cxx-flags='-fno-function-sections -fno-data-sections' --disable-werror --enable-threads --disable-symvers --enable-version-specific-runtime-libs --enable-fully-dynamic-string --with-pkgversion='TDM-2 mingw32' --enable-sjlj-exceptions --with-bugurl=http://www.tdragon.net/recentgcc/bugs.php
Thread model: win32
gcc version 4.4.1 (TDM-2 mingw32) 
configure:4292: $? = 0
configure:4299: g++ -V >&5
g++.exe: '-V' option must have argument
configure:4303: $? = 1
configure:4306: checking whether we are using the GNU C++ compiler
configure:4335: g++ -c   conftest.cpp >&5
configure:4342: $? = 0
configure:4359: result: yes
configure:4368: checking whether g++ accepts -g
configure:4398: g++ -c -g  conftest.cpp >&5
configure:4405: $? = 0
configure:4506: result: yes
configure:4531: checking dependency style of g++
configure:4622: result: gcc3
configure:4642: checking whether we are actually using the Intel C++ compiler
configure:4669: g++ -c   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 " '--enable-nterfaces=java,'"
| /* 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: /bin/grep
configure:4767: checking for fgrep
configure:4831: result: /bin/grep -F
configure:4836: checking for egrep
configure:4900: result: /bin/grep -E
configure:4905: checking for a sed that does not truncate output
configure:4971: result: /bin/sed
configure:4981: checking how to run the C++ preprocessor
configure:5017: g++ -E  conftest.cpp
configure:5024: $? = 0
configure:5055: g++ -E  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 " '--enable-nterfaces=java,'"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:5095: result: g++ -E
configure:5124: g++ -E  conftest.cpp
configure:5131: $? = 0
configure:5162: g++ -E  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 " '--enable-nterfaces=java,'"
| /* 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: /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:6061: result: no
configure:6086: checking for an ANSI C-conforming const
configure:6161: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6168: $? = 0
configure:6183: result: yes
configure:6193: checking for inline
configure:6219: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6226: $? = 0
configure:6244: result: inline
configure:6268: checking how to run the C preprocessor
configure:6308: gcc -E  conftest.c
configure:6315: $? = 0
configure:6346: gcc -E  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 " '--enable-nterfaces=java,'"
| #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 -E
configure:6415: gcc -E  conftest.c
configure:6422: $? = 0
configure:6453: gcc -E  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 " '--enable-nterfaces=java,'"
| #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 -c  -g -O2 -frounding-math   conftest.c >&5
configure:6537: $? = 0
configure:6636: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:6640: $? = 0
configure:6646: ./conftest.exe
configure:6650: $? = 0
configure:6668: result: yes
configure:6692: checking for sys/types.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for sys/stat.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for stdlib.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for string.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for memory.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for strings.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for inttypes.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for stdint.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6692: checking for unistd.h
configure:6713: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:6720: $? = 0
configure:6737: result: yes
configure:6752: checking whether byte ordering is bigendian
configure:6777: gcc -c  -g -O2 -frounding-math   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 " '--enable-nterfaces=java,'"
| #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 -c  -g -O2 -frounding-math   conftest.c >&5
configure:6841: $? = 0
configure:6873: gcc -c  -g -O2 -frounding-math   conftest.c >&5
conftest.c: In function 'main':
conftest.c:32: error: 'not' undeclared (first use in this function)
conftest.c:32: error: (Each undeclared identifier is reported only once
conftest.c:32: error: for each function it appears in.)
conftest.c:32: error: expected ';' before 'big'
configure:6880: $? = 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 " '--enable-nterfaces=java,'"
| #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.  */
| #include <sys/types.h>
| 		#include <sys/param.h>
| 
| int
| main ()
| {
| #if BYTE_ORDER != BIG_ENDIAN
| 		 not big endian
| 		#endif
| 
|   ;
|   return 0;
| }
configure:7132: result: no
configure:7158: checking for typeof syntax and keyword spelling
configure:7199: gcc -c  -g -O2 -frounding-math   conftest.c >&5
configure:7206: $? = 0
configure:7223: result: typeof
configure:7246: checking size of char
configure:7551: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:7555: $? = 0
configure:7561: ./conftest.exe
configure:7565: $? = 0
configure:7591: result: 1
configure:7605: checking size of short
configure:7910: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:7914: $? = 0
configure:7920: ./conftest.exe
configure:7924: $? = 0
configure:7950: result: 2
configure:7964: checking size of int
configure:8269: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:8273: $? = 0
configure:8279: ./conftest.exe
configure:8283: $? = 0
configure:8309: result: 4
configure:8323: checking size of long
configure:8628: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:8632: $? = 0
configure:8638: ./conftest.exe
configure:8642: $? = 0
configure:8668: result: 4
configure:8682: checking size of long long
configure:8987: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:8991: $? = 0
configure:8997: ./conftest.exe
configure:9001: $? = 0
configure:9027: result: 8
configure:9041: checking size of size_t
configure:9346: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:9350: $? = 0
configure:9356: ./conftest.exe
configure:9360: $? = 0
configure:9386: result: 4
configure:9400: checking size of float
configure:9705: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:9709: $? = 0
configure:9715: ./conftest.exe
configure:9719: $? = 0
configure:9745: result: 4
configure:9759: checking size of double
configure:10064: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:10068: $? = 0
configure:10074: ./conftest.exe
configure:10078: $? = 0
configure:10104: result: 8
configure:10118: checking size of long double
configure:10423: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:10427: $? = 0
configure:10433: ./conftest.exe
configure:10437: $? = 0
configure:10463: result: 12
configure:10480: checking size of int*
configure:10785: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:10789: $? = 0
configure:10795: ./conftest.exe
configure:10799: $? = 0
configure:10825: result: 4
configure:10839: checking size of fp
configure:11150: gcc -o conftest.exe  -g -O2 -frounding-math    conftest.c  >&5
configure:11154: $? = 0
configure:11160: ./conftest.exe
configure:11164: $? = 0
configure:11190: result: 4
configure:11237: checking fenv.h usability
configure:11254: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:11261: $? = 0
configure:11275: result: yes
configure:11279: checking fenv.h presence
configure:11294: g++ -E  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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp:71: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #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++ -E  conftest.cpp
conftest.cpp:38: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #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++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  -lm >&5
configure:11531: $? = 0
configure:11537: ./conftest.exe
configure:11541: $? = 0
configure:11543: result: yes
configure:11594: checking whether the C++ compiler provides proper long doubles
configure:11627: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:11631: $? = 0
configure:11637: ./conftest.exe
configure:11641: $? = 0
configure:11643: result: yes
configure:11695: checking the binary format of C++ floats
configure:11763: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:11767: $? = 0
configure:11773: ./conftest.exe
configure:11777: $? = 0
configure:11799: result: IEEE754 Single Precision
configure:11812: checking whether C++ provides exact output for floats
configure:11918: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:11922: $? = 0
configure:11928: ./conftest.exe
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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:12093: $? = 0
configure:12099: ./conftest.exe
configure:12103: $? = 0
configure:12125: result: IEEE754 Double Precision
configure:12139: checking whether C++ provides exact output for doubles
configure:12254: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:12258: $? = 0
configure:12264: ./conftest.exe
configure:12268: $? = 0
configure:12270: result: yes
configure:12347: checking the binary format of C++ long doubles
configure:12425: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:12429: $? = 0
configure:12435: ./conftest.exe
configure:12439: $? = 0
configure:12816: result: Intel Double-Extended
configure:12830: checking whether C++ provides exact output for long doubles
configure:13058: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:13062: $? = 0
configure:13068: ./conftest.exe
configure:13072: $? = 0
configure:13074: result: yes
configure:13162: checking whether the C++ compiler supports flexible arrays
configure:13307: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:13311: $? = 0
configure:13317: ./conftest.exe
configure:13321: $? = 0
configure:13323: result: yes
configure:13375: checking whether the IEEE inexact flag is supported in C++
configure:13477: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:13481: $? = 0
configure:13487: ./conftest.exe
configure:13491: $? = 0
configure:13493: result: yes
configure:13546: checking if the compiler has the remainder bug
configure:13585: g++ -o conftest.exe  -g -O2 -frounding-math    conftest.cpp  >&5
configure:13589: $? = 0
configure:13595: ./conftest.exe
configure:13599: $? = 149
configure: program exited with status 149
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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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++ -c  -g -O2 -frounding-math   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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:13774: $? = 0
configure:13788: result: yes
configure:13792: checking getopt.h presence
configure:13807: g++ -E  conftest.cpp
configure:13814: $? = 0
configure:13828: result: yes
configure:13861: checking for getopt.h
configure:13870: result: yes
configure:13750: checking signal.h usability
configure:13767: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:13774: $? = 0
configure:13788: result: yes
configure:13792: checking signal.h presence
configure:13807: g++ -E  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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp:91:26: error: sys/resource.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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_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 <sys/resource.h>
configure:13788: result: no
configure:13792: checking sys/resource.h presence
configure:13807: g++ -E  conftest.cpp
conftest.cpp:58:26: error: sys/resource.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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| /* end confdefs.h.  */
| #include <sys/resource.h>
configure:13828: result: no
configure:13861: checking for sys/resource.h
configure:13870: result: no
configure:13750: checking sys/time.h usability
configure:13767: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:13774: $? = 0
configure:13788: result: yes
configure:13792: checking sys/time.h presence
configure:13807: g++ -E  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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:73: error: 'ffs' was not declared in this scope
configure:13930: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| /* end confdefs.h.  */
| 
| #if defined(HAVE_STRINGS_H)
| # include <strings.h>
| #elif defined(HAVE_STRING_H)
| # include <string.h>
| #endif
| 
| 
| int
| main ()
| {
| #ifndef ffs
|   (void) ffs;
| #endif
| 
|   ;
|   return 0;
| }
configure:13945: result: no
configure:13963: checking whether getenv is declared
configure:13993: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14000: $? = 0
configure:14015: result: yes
configure:14031: checking whether strtof is declared
configure:14061: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14068: $? = 0
configure:14083: result: yes
configure:14099: checking whether strtod is declared
configure:14129: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14136: $? = 0
configure:14151: result: yes
configure:14167: checking whether strtold is declared
configure:14197: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14204: $? = 0
configure:14219: result: yes
configure:14235: checking whether strtoll is declared
configure:14265: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14272: $? = 0
configure:14287: result: yes
configure:14303: checking whether strtoull is declared
configure:14333: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14340: $? = 0
configure:14355: result: yes
configure:14373: checking whether fma is declared
configure:14403: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14410: $? = 0
configure:14425: result: yes
configure:14441: checking whether fmaf is declared
configure:14471: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14478: $? = 0
configure:14493: result: yes
configure:14509: checking whether fmal is declared
configure:14539: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14546: $? = 0
configure:14561: result: yes
configure:14577: checking whether rintf is declared
configure:14607: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14614: $? = 0
configure:14629: result: yes
configure:14645: checking whether rintl is declared
configure:14675: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14682: $? = 0
configure:14697: result: yes
configure:14717: checking for int_fast16_t
configure:14745: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14752: $? = 0
configure:14779: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:109: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14854: $? = 0
configure:14881: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:110: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:14956: $? = 0
configure:14983: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:111: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:15058: $? = 0
configure:15085: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:112: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:15160: $? = 0
configure:15187: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:113: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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++ -c  -g -O2 -frounding-math   conftest.cpp >&5
configure:15262: $? = 0
configure:15289: g++ -c  -g -O2 -frounding-math   conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:114: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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: c:/mingw/mingw32/bin/ld.exe
configure:15449: checking if the linker (c:/mingw/mingw32/bin/ld.exe) is GNU ld
configure:15462: result: yes
configure:15469: checking for shared library run path origin
configure:15482: result: done
configure:15513: checking how to link with libgmp
configure:15902: result: /usr/local/lib/libgmp.a
configure:15942: checking how to link with libgmpxx
configure:16331: result: /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a
configure:16375: checking for the GMP library version 4.1.3 or above
configure:16495: g++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include  conftest.cpp  /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a >&5
configure:16499: $? = 0
configure:16505: ./conftest.exe
configure:16509: $? = 0
configure:16511: result: yes
configure:16539: checking size of mp_limb_t
configure:16850: g++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include  conftest.cpp  /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a >&5
configure:16854: $? = 0
configure:16860: ./conftest.exe
configure:16864: $? = 0
configure:16890: result: 4
configure:16901: checking whether GMP has been compiled with support for exceptions
configure:16951: g++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include  conftest.cpp  /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a >&5
configure:16955: $? = 0
configure:16961: ./conftest.exe
configure:16965: $? = 0
configure:16967: result: yes
configure:17041: checking for __mpz_struct._mp_alloc
configure:17070: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:17077: $? = 0
configure:17136: result: yes
configure:17148: checking for __mpz_struct._mp_size
configure:17177: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:17184: $? = 0
configure:17243: result: yes
configure:17255: checking for __mpz_struct._mp_d
configure:17284: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:17291: $? = 0
configure:17350: result: yes
configure:17387: checking for setitimer
configure:17443: g++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include  conftest.cpp  >&5
C:\Users\uhzzre\AppData\Local\Temp\ccMKvIN4.o: In function `main':
c:\kjk\inne\ppl\ppl-0.10.2/conftest.cpp:118: undefined reference to `setitimer'
collect2: ld returned 1 exit status
configure:17450: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| /* end confdefs.h.  */
| /* Define setitimer to an innocuous variant, in case <limits.h> declares setitimer.
|    For example, HP-UX 11i <limits.h> declares gettimeofday.  */
| #define setitimer innocuous_setitimer
| 
| /* System header to define __stub macros and hopefully few prototypes,
|     which can conflict with char setitimer (); 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 setitimer
| 
| /* 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 setitimer ();
| /* 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_setitimer || defined __stub___setitimer
| choke me
| #endif
| 
| int
| main ()
| {
| return setitimer ();
|   ;
|   return 0;
| }
configure:17472: result: no
configure:17488: checking whether to build the Parma Watchdog Library
configure:17520: result: no
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.exe
configure:17780: found /c/Program Files/Java/jdk1.6.0_16/bin/javac.exe
configure:17791: result: javac.exe
configure:17854: checking whether javac.exe supports enums
configure:17880: javac.exe  Test.java
configure:17883: $? = 0
configure:17895: result: yes
configure:17906: checking for java.exe
configure:17922: found /c/Windows/system32/java.exe
configure:17933: result: java.exe
configure:17998: checking for uudecode.exe
configure:18028: result: no
configure:18212: checking if java.exe works
configure:18230: javac.exe  Test.java
configure:18233: $? = 0
configure:18249: java.exe  Test
configure:18252: $? = 0
configure:18265: result: yes
configure:18277: checking for jar.exe
configure:18293: found /c/Program Files/Java/jdk1.6.0_16/bin/jar.exe
configure:18304: result: jar.exe
configure:18372: checking for javah
configure:18388: found /c/Program Files/Java/jdk1.6.0_16/bin/javah
configure:18399: result: javah
configure:18469: g++ -E -I/usr/local/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++ -E -I/usr/local/include -I -I/mingw 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++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include -I -I/mingw  conftest.cpp  >&5
conftest.cpp:84:17: error: jni.h: No such file or directory
conftest.cpp: In function 'int main()':
conftest.cpp:88: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 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:20359: checking which instantiations are enabled
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -I. conftest.cpp >&5
configure:20432: $? = 0
configure:20425: g++ -c  -g -O2 -frounding-math  -I/usr/local/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>@Double_Box@BD_Shape<double>@Octagonal_Shape<double>
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: /bin/sed
configure:20735: checking for ld used by gcc
configure:20802: result: c:/mingw/mingw32/bin/ld.exe
configure:20811: checking if the linker (c:/mingw/mingw32/bin/ld.exe) is GNU ld
configure:20826: result: yes
configure:20838: checking for BSD- or MS-compatible name lister (nm)
configure:20887: result: /mingw/bin/nm
configure:21005: checking the name lister (/mingw/bin/nm) interface
configure:21012: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:21015: /mingw/bin/nm "conftest.o"
configure:21018: output
00000000 b .bss
00000000 d .data
00000000 N .debug_abbrev
00000000 N .debug_info
00000000 N .debug_line
00000000 N .debug_pubnames
00000000 t .text
00000000 B _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: 8192
configure:21177: checking whether the shell understands some XSI constructs
configure:21187: result: yes
configure:21191: checking whether the shell understands "+="
configure:21197: result: yes
configure:21232: checking for c:/mingw/mingw32/bin/ld.exe option to reload object files
configure:21239: result: -r
configure:21308: checking for objdump
configure:21324: found /mingw/bin/objdump
configure:21335: result: objdump
configure:21367: checking how to recognize dependent libraries
configure:21563: result: file_magic ^x86 archive import|^x86 DLL
configure:21623: checking for ar
configure:21639: found /mingw/bin/ar
configure:21650: result: ar
configure:21728: checking for strip
configure:21744: found /mingw/bin/strip
configure:21755: result: strip
configure:21827: checking for ranlib
configure:21843: found /mingw/bin/ranlib
configure:21854: result: ranlib
configure:21944: checking command to parse /mingw/bin/nm output from gcc object
configure:22062: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:22065: $? = 0
configure:22069: /mingw/bin/nm conftest.o \| sed -n -e 's/^.*[	 ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[	 ][	 ]*\([_A-Za-z][_A-Za-z0-9]*\)\{0,1\}$/\1 \2 \2/p' \> conftest.nm
configure:22072: $? = 0
cannot find nm_test_var in conftest.nm
configure:22062: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:22065: $? = 0
configure:22069: /mingw/bin/nm conftest.o \| sed -n -e 's/^.*[	 ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[	 ][	 ]*_\([_A-Za-z][_A-Za-z0-9]*\)\{0,1\}$/\1 _\2 \2/p' \> conftest.nm
configure:22072: $? = 0
configure:22126: g++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include  conftest.cpp conftstm.o >&5
configure:22129: $? = 0
configure:22167: result: ok
configure:23032: checking for dlfcn.h
configure:23053: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp:118:19: error: dlfcn.h: No such file or directory
configure:23060: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 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 <dlfcn.h>
configure:23077: result: no
configure:23204: checking for C++ compiler version
configure:23212: g++ --version >&5
g++.exe (TDM-2 mingw32) 4.4.1
Copyright (C) 2009 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++ -v >&5
Using built-in specs.
Target: mingw32
Configured with: ../../gcc-4.4.1/configure --prefix=/mingw --build=mingw32 --enable-languages=c,ada,c++,fortran,objc,obj-c++ --disable-nls --disable-win32-registry --enable-libgomp --enable-cxx-flags='-fno-function-sections -fno-data-sections' --disable-werror --enable-threads --disable-symvers --enable-version-specific-runtime-libs --enable-fully-dynamic-string --with-pkgversion='TDM-2 mingw32' --enable-sjlj-exceptions --with-bugurl=http://www.tdragon.net/recentgcc/bugs.php
Thread model: win32
gcc version 4.4.1 (TDM-2 mingw32) 
configure:23227: $? = 0
configure:23234: g++ -V >&5
g++.exe: '-V' option must have argument
configure:23238: $? = 1
configure:23241: checking whether we are using the GNU C++ compiler
configure:23294: result: yes
configure:23303: checking whether g++ accepts -g
configure:23441: result: yes
configure:23466: checking dependency style of g++
configure:23557: result: gcc3
configure:23580: checking how to run the C++ preprocessor
configure:23694: result: g++ -E
configure:23723: g++ -E -I/usr/local/include conftest.cpp
configure:23730: $? = 0
configure:23761: g++ -E -I/usr/local/include conftest.cpp
conftest.cpp:84: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:23980: checking for objdir
configure:23995: result: .libs
configure:24291: checking if gcc supports -fno-rtti -fno-exceptions
configure:24309: gcc -c  -g -O2 -frounding-math  -I/usr/local/include -fno-rtti -fno-exceptions conftest.c >&5
cc1.exe: 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 option to produce PIC
configure:24618: result: -DDLL_EXPORT -DPIC
configure:24630: checking if gcc PIC flag -DDLL_EXPORT -DPIC works
configure:24648: gcc -c  -g -O2 -frounding-math  -I/usr/local/include -DDLL_EXPORT -DPIC -DPIC conftest.c >&5
configure:24652: $? = 0
configure:24665: result: yes
configure:24689: checking if gcc static flag -static works
configure:24717: result: yes
configure:24732: checking if gcc supports -c -o file.o
configure:24753: gcc -c  -g -O2 -frounding-math  -I/usr/local/include -o out/conftest2.o conftest.c >&5
configure:24757: $? = 0
configure:24779: result: yes
configure:24787: checking if gcc supports -c -o file.o
configure:24834: result: yes
configure:24867: checking whether the gcc linker (c:/mingw/mingw32/bin/ld.exe) supports shared libraries
configure:25941: result: yes
configure:25978: checking whether -lc should be explicitly linked in
configure:25983: gcc -c  -g -O2 -frounding-math  -I/usr/local/include conftest.c >&5
configure:25986: $? = 0
configure:26001: gcc -shared conftest.o  -v -o ./conftest -Wl,--enable-auto-image-base -Xlinker --out-implib -Xlinker conftest 2\>\&1 \| /bin/grep  -lc  \>/dev/null 2\>\&1
configure:26004: $? = 1
configure:26016: result: yes
configure:26180: checking dynamic linker characteristics
configure:26863: result: Win32 ld.exe
configure:26965: checking how to hardcode library paths into programs
configure:26990: result: immediate
configure:27823: checking whether stripping libraries is possible
configure:27828: result: yes
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: yes
configure:28046: checking for ld used by g++
configure:28113: result: c:/mingw/mingw32/bin/ld.exe
configure:28122: checking if the linker (c:/mingw/mingw32/bin/ld.exe) is GNU ld
configure:28137: result: yes
configure:28192: checking whether the g++ linker (c:/mingw/mingw32/bin/ld.exe) supports shared libraries
configure:29167: result: yes
configure:29195: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
configure:29198: $? = 0
configure:29380: checking for g++ option to produce PIC
configure:29697: result: -DDLL_EXPORT -DPIC
configure:29706: checking if g++ PIC flag -DDLL_EXPORT -DPIC works
configure:29724: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -DDLL_EXPORT -DPIC -DPIC conftest.cpp >&5
configure:29728: $? = 0
configure:29741: result: yes
configure:29762: checking if g++ static flag -static works
configure:29790: result: yes
configure:29802: checking if g++ supports -c -o file.o
configure:29823: g++ -c  -g -O2 -frounding-math  -I/usr/local/include -o out/conftest2.o conftest.cpp >&5
configure:29827: $? = 0
configure:29849: result: yes
configure:29854: checking if g++ supports -c -o file.o
configure:29901: result: yes
configure:29931: checking whether the g++ linker (c:/mingw/mingw32/bin/ld.exe) supports shared libraries
configure:29957: result: yes
configure:30094: checking dynamic linker characteristics
configure:30725: result: Win32 ld.exe
configure:30776: checking how to hardcode library paths into programs
configure:30801: result: immediate
configure:30879: checking for md5sum
configure:30895: found /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 -c  -g -O2 -frounding-math  -I/usr/local/include conftest.c >&5
conftest.c:118: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 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 -E -I/usr/local/include conftest.c
conftest.c:85: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 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 -c  -g -O2 -frounding-math  -I/usr/local/include conftest.c >&5
conftest.c:118: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 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 -E -I/usr/local/include conftest.c
conftest.c:85: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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 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++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:95: error: 'RLIMIT_DATA' was not declared in this scope
configure:31459: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| 
| #ifdef HAVE_SYS_RESOURCE_H
| # include <sys/resource.h>
| #endif
| 
| 
| int
| main ()
| {
| #ifndef RLIMIT_DATA
|   (void) RLIMIT_DATA;
| #endif
| 
|   ;
|   return 0;
| }
configure:31474: result: no
configure:31490: checking whether RLIMIT_RSS is declared
configure:31524: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:96: error: 'RLIMIT_RSS' was not declared in this scope
configure:31531: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| /* end confdefs.h.  */
| 
| #ifdef HAVE_SYS_RESOURCE_H
| # include <sys/resource.h>
| #endif
| 
| 
| int
| main ()
| {
| #ifndef RLIMIT_RSS
|   (void) RLIMIT_RSS;
| #endif
| 
|   ;
|   return 0;
| }
configure:31546: result: no
configure:31562: checking whether RLIMIT_VMEM is declared
configure:31596: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:97: 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| #define HAVE_DECL_RLIMIT_RSS 0
| /* 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++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:98: error: 'RLIMIT_AS' was not declared in this scope
configure:31675: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| #define HAVE_DECL_RLIMIT_RSS 0
| #define HAVE_DECL_RLIMIT_VMEM 0
| /* end confdefs.h.  */
| 
| #ifdef HAVE_SYS_RESOURCE_H
| # include <sys/resource.h>
| #endif
| 
| 
| int
| main ()
| {
| #ifndef RLIMIT_AS
|   (void) RLIMIT_AS;
| #endif
| 
|   ;
|   return 0;
| }
configure:31690: result: no
configure:31709: checking whether getrusage is declared
configure:31746: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:102: error: 'getrusage' was not declared in this scope
configure:31753: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| #define HAVE_DECL_RLIMIT_RSS 0
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 0
| /* end confdefs.h.  */
| 
| #ifdef HAVE_SYS_TIME_H
| # include <sys/time.h>
| #endif
| #ifdef HAVE_SYS_RESOURCE_H
| # include <sys/resource.h>
| #endif
| 
| 
| int
| main ()
| {
| #ifndef getrusage
|   (void) getrusage;
| #endif
| 
|   ;
|   return 0;
| }
configure:31768: result: no
configure:31788: checking for timeval
configure:31816: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:126: error: 'timeval' was not declared in this scope
configure:31823: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| #define HAVE_DECL_RLIMIT_RSS 0
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 0
| #define HAVE_DECL_GETRUSAGE 0
| /* 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: no
configure:31891: checking for siginfo_t
configure:31922: g++ -c  -g -O2 -frounding-math  -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:97: error: 'siginfo_t' was not declared in this scope
configure:31929: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| #define HAVE_DECL_RLIMIT_RSS 0
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 0
| #define HAVE_DECL_GETRUSAGE 0
| /* end confdefs.h.  */
| 
| #include <signal.h>
| 
| 
| int
| main ()
| {
| if (sizeof (siginfo_t))
|        return 0;
|   ;
|   return 0;
| }
configure:31989: result: no
configure:32013: checking whether we can limit memory in C++ using setrlimit()
configure:32099: g++ -o conftest.exe  -g -O2 -frounding-math  -I/usr/local/include  conftest.cpp  >&5
conftest.cpp: In function 'bool limit_memory(long unsigned int)':
conftest.cpp:115: error: aggregate 'rlimit t' has incomplete type and cannot be defined
configure:32103: $? = 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 " '--enable-nterfaces=java,'"
| #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 HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 4
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 4
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 12
| #define SIZEOF_INTP 4
| #define SIZEOF_FP 4
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #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 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #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_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 0
| #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 4
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 0
| #define HAVE_DECL_RLIMIT_RSS 0
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 0
| #define HAVE_DECL_GETRUSAGE 0
| /* end confdefs.h.  */
| 
| #include <stdexcept>
| 
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| 
| #ifdef HAVE_SYS_TIME_H
| # include <sys/time.h>
| #endif
| 
| #ifdef HAVE_SYS_RESOURCE_H
| // This should be included after <time.h> and <sys/time.h> so as to make
| // sure we have the definitions for, e.g., ru_utime.
| # include <sys/resource.h>
| #endif
| 
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| 
| #define LIMIT(WHAT)   do {									    if (getrlimit(WHAT, &t) != 0) 					      return false;                                                         t.rlim_cur = bytes;							    if (setrlimit(WHAT, &t) != 0)					      return false;                                                       } while (0)
| 
| bool
| limit_memory(unsigned long bytes) {
|   struct rlimit t;
| #if HAVE_DECL_RLIMIT_DATA
|   // Limit heap size.
|   LIMIT(RLIMIT_DATA);
| #endif
| #if HAVE_DECL_RLIMIT_RSS
|   // Limit resident set size.
|   LIMIT(RLIMIT_RSS);
| #endif
| #if HAVE_DECL_RLIMIT_VMEM
|   // Limit mapped memory (brk + mmap).
|   LIMIT(RLIMIT_VMEM);
| #endif
| #if HAVE_DECL_RLIMIT_AS
|   // Limit virtual memory.
|   LIMIT(RLIMIT_AS);
| #endif
|   return true;
| }
| 
| int
| main() try {
|   if (!limit_memory(10000))
|     return 1;
|   (void) new char[20000];
|   return 1;
|  }
|  catch (std::bad_alloc) {
|    return 0;
|  }
|  catch (...) {
|    return 1;
|  }
| 
configure:32124: result: no
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 uhzzre-mobile

config.status:1375: creating Makefile
config.status:1375: creating ppl.lsm
config.status:1375: creating src/Makefile
config.status:1375: creating src/version.hh
config.status:1375: creating src/ppl-config.cc
config.status:1375: creating tests/Makefile
config.status:1375: creating tests/BD_Shape/Makefile
config.status:1375: creating tests/Box/Makefile
config.status:1375: creating tests/Grid/Makefile
config.status:1375: creating tests/MIP_Problem/Makefile
config.status:1375: creating tests/Octagonal_Shape/Makefile
config.status:1375: creating tests/Partially_Reduced_Product/Makefile
config.status:1375: creating tests/Polyhedron/Makefile
config.status:1375: creating tests/Powerset/Makefile
config.status:1375: creating utils/Makefile
config.status:1375: creating m4/Makefile
config.status:1375: creating demos/Makefile
config.status:1375: creating demos/ppl_lcdd/Makefile
config.status:1375: creating demos/ppl_lcdd/examples/Makefile
config.status:1375: creating demos/ppl_lpsol/Makefile
config.status:1375: creating demos/ppl_lpsol/examples/Makefile
config.status:1375: creating doc/Makefile
config.status:1375: creating doc/user.doxyconf-latex
config.status:1375: creating doc/devref.doxyconf-latex
config.status:1375: creating doc/user.doxyconf-html
config.status:1375: creating doc/devref.doxyconf-html
config.status:1375: creating doc/user-language-interface.doxyconf
config.status:1375: creating doc/devref-language-interface.doxyconf
config.status:1375: creating interfaces/Makefile
config.status:1375: creating interfaces/C/Makefile
config.status:1375: creating interfaces/C/ppl_c_version.h
config.status:1375: creating interfaces/C/tests/Makefile
config.status:1375: creating interfaces/Java/Makefile
config.status:1375: creating interfaces/Java/jni/Makefile
config.status:1375: creating interfaces/Java/tests/Makefile
config.status:1375: creating interfaces/Java/parma_polyhedra_library/Makefile
config.status:1375: creating interfaces/OCaml/Makefile
config.status:1375: creating interfaces/OCaml/tests/Makefile
config.status:1375: creating interfaces/Prolog/Makefile
config.status:1375: creating interfaces/Prolog/Ciao/Makefile
config.status:1375: creating interfaces/Prolog/GNU/Makefile
config.status:1375: creating interfaces/Prolog/SICStus/Makefile
config.status:1375: creating interfaces/Prolog/SWI/Makefile
config.status:1375: creating interfaces/Prolog/XSB/Makefile
config.status:1375: creating interfaces/Prolog/YAP/Makefile
config.status:1375: creating interfaces/Prolog/tests/Makefile
config.status:1375: creating config.h
config.status:1649: executing depfiles commands
config.status:1649: executing libtool commands
configure:35242: === configuring in Watchdog (/c/kjk/inne/ppl/ppl-0.10.2/Watchdog)
configure:35345: running /bin/sh ./configure --disable-option-checking '--prefix=/usr/local'  '--enable-nterfaces=java,' --cache-file=/dev/null --srcdir=.
configure:35393: error: PERL UNAVAILABLE:
***  CANNOT BUILD THE C_INTERFACE.
*** Perl could not be found on your system, so that the C interface cannot
*** be built.  You should either disable the generation of the C interface
*** (with the `--enable-interfaces' configure option) or add Perl to your
*** development environment: see http://www.perl.org/ for more information.

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

ac_cv_build=i686-pc-mingw32
ac_cv_c_bigendian=no
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=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_CXXCPP_set=
ac_cv_env_CXXCPP_value=
ac_cv_env_CXXFLAGS_set=
ac_cv_env_CXXFLAGS_value=
ac_cv_env_CXX_set=
ac_cv_env_CXX_value=
ac_cv_env_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_exeext=.exe
ac_cv_func_setitimer=no
ac_cv_gmp_supports_exceptions=yes
ac_cv_have_decl_RLIMIT_AS=no
ac_cv_have_decl_RLIMIT_DATA=no
ac_cv_have_decl_RLIMIT_RSS=no
ac_cv_have_decl_RLIMIT_VMEM=no
ac_cv_have_decl_ffs=no
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=no
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=no
ac_cv_header_fenv_h=yes
ac_cv_header_getopt_h=yes
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=no
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=i686-pc-mingw32
ac_cv_javac_supports_enums=yes
ac_cv_libgmp_cppflags=-I/usr/local/include
ac_cv_libgmp_libs=/usr/local/lib/libgmp.a
ac_cv_libgmp_ltlibs='-L/usr/local/lib -lgmp'
ac_cv_libgmpxx_cppflags=
ac_cv_libgmpxx_libs='/usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a'
ac_cv_libgmpxx_ltlibs='-L/usr/local/lib -lgmpxx -L/usr/local/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='/bin/grep -E'
ac_cv_path_FGREP='/bin/grep -F'
ac_cv_path_GREP=/bin/grep
ac_cv_path_PERL=no
ac_cv_path_SED=/bin/sed
ac_cv_path_install='/bin/install -c'
ac_cv_path_mkdir=/bin/mkdir
ac_cv_prog_AWK=gawk
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_CXXCPP='g++ -E'
ac_cv_prog_JAR=jar.exe
ac_cv_prog_JAVA=java.exe
ac_cv_prog_JAVAC=javac.exe
ac_cv_prog_JAVAH=javah
ac_cv_prog_MD5SUM=md5sum
ac_cv_prog_ac_ct_AR=ar
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_CXX=g++
ac_cv_prog_ac_ct_OBJDUMP=objdump
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_java_works=yes
ac_cv_prog_make_make_set=yes
ac_cv_prog_text_md5sum='md5sum -t'
ac_cv_sizeof_char=1
ac_cv_sizeof_double=8
ac_cv_sizeof_float=4
ac_cv_sizeof_fp=4
ac_cv_sizeof_int=4
ac_cv_sizeof_intp=4
ac_cv_sizeof_long=4
ac_cv_sizeof_long_double=12
ac_cv_sizeof_long_long=8
ac_cv_sizeof_mp_limb_t=4
ac_cv_sizeof_short=2
ac_cv_sizeof_size_t=4
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=no
ac_cv_type_timeval=no
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=no
acl_cv_hardcode_libdir_flag_spec='-L$libdir'
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.dll.a $libname.lib'
acl_cv_path_LD=c:/mingw/mingw32/bin/ld.exe
acl_cv_prog_gnu_ld=yes
acl_cv_rpath=done
acl_cv_shlibext=dll
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='file_magic ^x86 archive import|^x86 DLL'
lt_cv_dlopen=LoadLibrary
lt_cv_dlopen_libs=
lt_cv_file_magic_cmd=func_win32_libid
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=c:/mingw/mingw32/bin/ld.exe
lt_cv_path_LDCXX=c:/mingw/mingw32/bin/ld.exe
lt_cv_path_NM=/mingw/bin/nm
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=yes
lt_cv_prog_compiler_static_works_CXX=yes
lt_cv_prog_gnu_ld=yes
lt_cv_prog_gnu_ldcxx=yes
lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[	 ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[	 ][	 ]*_\([_A-Za-z][_A-Za-z0-9]*\)
\{0,1\}$/\1 _\2 \2/p'\'''
lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: \([^ ]*\) $/  {\"\1\", (void *) 0},/p'\'' -e '\''s/^[ABCDGIRSTW]* \([^ ]*\) \([^ ]*\)$/  {"\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/^[ABCDGIRSTW]* \([^ ]*\) \(lib[^ ]*\)$/  {"\2", (void *) \&\2},/p'\'' -e '\''s/^[ABCDGIRSTW]* \([^ ]*\) \([^ ]*\)$/  {"lib\2", (void *) \&\2},/p'\'''
lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^T .* \(.*\)$/extern int \1();/p'\'' -e '\''s/^[ABCDGIRSTW]* .* \(.*\)$/extern char \1;/p'\'''
lt_cv_sys_max_cmd_len=8192

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

ACLOCAL='${SHELL} /c/kjk/inne/ppl/ppl-0.10.2/missing --run aclocal-1.10'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='${SHELL} /c/kjk/inne/ppl/ppl-0.10.2/missing --run tar'
AR='ar'
ASSERTIONS_ENABLED_FALSE=''
ASSERTIONS_ENABLED_TRUE='#'
AUTOCONF='${SHELL} /c/kjk/inne/ppl/ppl-0.10.2/missing --run autoconf'
AUTOHEADER='${SHELL} /c/kjk/inne/ppl/ppl-0.10.2/missing --run autoheader'
AUTOMAKE='${SHELL} /c/kjk/inne/ppl/ppl-0.10.2/missing --run automake-1.10'
AWK='gawk'
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'
CCDEPMODE='depmode=gcc3'
CFLAGS=' -g -O2 -frounding-math  -W -Wall'
CIAO_PROLOG=''
CIAO_PROLOG_INCLUDE_OPTIONS=''
CONFIGURE_OPTIONS=''
CPP='gcc -E'
CPPFLAGS='-I/usr/local/include'
CXX='g++'
CXXCPP='g++ -E'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS=' -g -O2 -frounding-math  -W -Wall'
CYGPATH_W='echo'
DEBUGGING_ENABLED_FALSE='#'
DEBUGGING_ENABLED_TRUE=''
DEFS='-DHAVE_CONFIG_H'
DEPDIR='.deps'
DSYMUTIL=''
DUMPBIN=''
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/bin/grep -E'
ENABLE_SHARED_FALSE='#'
ENABLE_SHARED_TRUE=''
ENABLE_STATIC_FALSE='#'
ENABLE_STATIC_TRUE=''
EXEEXT='.exe'
FGREP='/bin/grep -F'
GCC_FALSE='#'
GCC_TRUE=''
GNU_PROLOG=''
GREP='/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-11-23'
JAR='jar.exe'
JAVA='java.exe'
JAVAC='javac.exe'
JAVAH='no'
JNIFLAGS='-I -I/mingw'
LD='c:/mingw/mingw32/bin/ld.exe'
LDFLAGS=''
LIBEXT='a'
LIBGMP='/usr/local/lib/libgmp.a'
LIBGMPXX='/usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a'
LIBOBJS=''
LIBS=''
LIBTOOL='$(SHELL) $(top_builddir)/libtool'
LIPO=''
LN_S='ln -s'
LTLIBGMP='-L/usr/local/lib -lgmp'
LTLIBGMPXX='-L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp'
LTLIBOBJS=''
M4=''
M4_DEBUGFILE=''
MAKEINFO='${SHELL} /c/kjk/inne/ppl/ppl-0.10.2/missing --run makeinfo'
MD5SUM='md5sum'
MKDIR_P='/bin/mkdir -p'
NM='/mingw/bin/nm'
NMEDIT=''
NO_UNDEFINED_FALSE=''
NO_UNDEFINED_TRUE='#'
OBJDUMP='objdump'
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='no'
PPL_VERSION_BETA='0'
PPL_VERSION_MAJOR='0'
PPL_VERSION_MINOR='10'
PPL_VERSION_REVISION='2'
RANLIB='ranlib'
SED='/bin/sed'
SET_MAKE=''
SHELL='/bin/sh'
SHREXT='.dll'
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'
ac_ct_CXX='g++'
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='tar --format=ustar -chf - "$$tardir"'
am__untar='tar -xf -'
bindir='${exec_prefix}/bin'
build='i686-pc-mingw32'
build_alias=''
build_cpu='i686'
build_os='mingw32'
build_vendor='pc'
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/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp'
host='i686-pc-mingw32'
host_alias=''
host_cpu='i686'
host_os='mingw32'
host_vendor='pc'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='$(SHELL) /c/kjk/inne/ppl/ppl-0.10.2/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
lt_ECHO='echo'
mandir='${datarootdir}/man'
mkdir_p='/bin/mkdir -p'
mlgmp_dir='+gmp'
ocamlc_root=''
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/usr/local'
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>@Double_Box@BD_Shape<double>@Octagonal_Shape<double>'
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 ppl_c_Double_Box.hh ppl_c_BD_Shape_double.hh ppl_c_Octagonal_Shape_double.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 ppl_c_Double_Box.lo ppl_c_BD_Shape_double.lo ppl_c_Octagonal_Shape_double.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 ppl_c_Double_Box.cc ppl_c_BD_Shape_double.cc ppl_c_Octagonal_Shape_double.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@Double_Box@BD_Shape_double@Octagonal_Shape_double'
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 Double_Box.class BD_Shape_double.class Octagonal_Shape_double.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 parma_polyhedra_library.Double_Box parma_polyhedra_library.BD_Shape_double parma_polyhedra_library.Octagonal_Shape_double'
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 parma_polyhedra_library_Double_Box.h parma_polyhedra_library_BD_Shape_double.h parma_polyhedra_library_Octagonal_Shape_double.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 ppl_java_Double_Box.lo ppl_java_BD_Shape_double.lo ppl_java_Octagonal_Shape_double.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 ppl_java_Double_Box.cc ppl_java_BD_Shape_double.cc ppl_java_Octagonal_Shape_double.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 Double_Box.java BD_Shape_double.java Octagonal_Shape_double.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 ppl_ocaml_Double_Box.hh ppl_ocaml_BD_Shape_double.hh ppl_ocaml_Octagonal_Shape_double.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 ppl_ocaml_Double_Box.o ppl_ocaml_BD_Shape_double.o ppl_ocaml_Octagonal_Shape_double.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 ppl_ocaml_Double_Box.cc ppl_ocaml_BD_Shape_double.cc ppl_ocaml_Octagonal_Shape_double.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 ppl_prolog_Double_Box.hh ppl_prolog_BD_Shape_double.hh ppl_prolog_Octagonal_Shape_double.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 ppl_prolog_Double_Box.lo ppl_prolog_BD_Shape_double.lo ppl_prolog_Octagonal_Shape_double.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 ppl_prolog_Double_Box.cc ppl_prolog_BD_Shape_double.cc ppl_prolog_Octagonal_Shape_double.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 ppl_prolog_generated_test_Double_Box.pl ppl_prolog_generated_test_BD_Shape_double.pl ppl_prolog_generated_test_Octagonal_Shape_double.pl'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sicstus_prolog=''
subdirs=' Watchdog'
swi_prolog=''
sysconfdir='${prefix}/etc'
target_alias=''
uudecode=''
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 " '--enable-nterfaces=java,'"
#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 HAVE_TYPEOF 1
#define SIZEOF_CHAR 1
#define SIZEOF_SHORT 2
#define SIZEOF_INT 4
#define SIZEOF_LONG 4
#define SIZEOF_LONG_LONG 8
#define SIZEOF_SIZE_T 4
#define SIZEOF_FLOAT 4
#define SIZEOF_DOUBLE 8
#define SIZEOF_LONG_DOUBLE 12
#define SIZEOF_INTP 4
#define SIZEOF_FP 4
#define HAVE_FENV_H 1
#define PPL_CAN_CONTROL_FPU 1
#define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
#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 1
#define PPL_SUPPORTED_DOUBLE 1
#define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
#define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
#define PPL_SUPPORTED_LONG_DOUBLE 1
#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_GETOPT_H 1
#define HAVE_SIGNAL_H 1
#define HAVE_STRING_H 1
#define HAVE_STRINGS_H 1
#define HAVE_SYS_TIME_H 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_UNISTD_H 1
#define HAVE_DECL_FFS 0
#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 4
#define PPL_GMP_SUPPORTS_EXCEPTIONS 1
#define HAVE___MPZ_STRUCT__MP_ALLOC 1
#define HAVE___MPZ_STRUCT__MP_SIZE 1
#define HAVE___MPZ_STRUCT__MP_D 1
#define LT_OBJDIR ".libs/"
#define HAVE_DECL_RLIMIT_DATA 0
#define HAVE_DECL_RLIMIT_RSS 0
#define HAVE_DECL_RLIMIT_VMEM 0
#define HAVE_DECL_RLIMIT_AS 0
#define HAVE_DECL_GETRUSAGE 0
#define PPL_CXX_SUPPORTS_LIMITING_MEMORY 0

configure: exit 1
