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

  $ ../../src/ppl/ppl-0.11.2/configure --host=i686-w64-mingw32 --build=i686-w64-mingw32 --enable-static --disable-shared --with-gmp=/usr/local

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

hostname = liam
uname -m = i686
uname -r = 1.0.17(0.48/3/2)
uname -s = MINGW32_NT-6.1
uname -v = 2011-04-24 23:39

/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)/NVIDIA Corporation/PhysX/Common
PATH: /c/UserApps/Perl_v5.12/site/bin
PATH: /c/UserApps/Perl_v5.12/bin
PATH: /c/Windows/system32
PATH: /c/Windows
PATH: /c/Windows/System32/Wbem
PATH: /c/Windows/System32/WindowsPowerShell/v1.0/
PATH: .
PATH: /c/SysApps/x86/NTP/bin
PATH: /d/DevApps/Perforce


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

configure:3258: checking build system type
configure:3272: result: i686-w64-mingw32
configure:3292: checking host system type
configure:3305: result: i686-w64-mingw32
configure:3343: checking for a BSD-compatible install
configure:3411: result: /bin/install -c
configure:3422: checking whether build environment is sane
configure:3472: result: yes
configure:3613: checking for a thread-safe mkdir -p
configure:3652: result: /bin/mkdir -p
configure:3665: checking for gawk
configure:3681: found /bin/gawk
configure:3692: result: gawk
configure:3703: checking whether make sets $(MAKE)
configure:3725: result: yes
configure:3803: checking how to create a ustar tar archive
configure:3816: tar --version
tar (GNU tar) 1.23
Copyright (C) 2010 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:3819: $? = 0
configure:3859: tardir=conftest.dir && eval tar --format=ustar -chf - "$tardir" >conftest.tar
configure:3862: $? = 0
configure:3866: tar -xf - <conftest.tar
tar: conftest.dir/file: time stamp 2012-02-18 23:23:07 is 0.339 s in the future
tar: conftest.dir: time stamp 2012-02-18 23:23:07 is 0.338 s in the future
configure:3869: $? = 0
configure:3882: result: gnutar
configure:3966: checking for i686-w64-mingw32-gcc
configure:3993: result: /mingw/bin/gcc.exe
configure:4262: checking for C compiler version
configure:4271: /mingw/bin/gcc.exe --version >&5
gcc.exe (GCC) 4.6.2
Copyright (C) 2011 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:4282: $? = 0
configure:4271: /mingw/bin/gcc.exe -v >&5
Using built-in specs.
COLLECT_GCC=D:\DevEnv\MinGW\bin\gcc.exe
COLLECT_LTO_WRAPPER=d:/devenv/mingw/bin/../libexec/gcc/mingw32/4.6.2/lto-wrapper.exe
Target: mingw32
Configured with: ../gcc-4.6.2/configure --enable-languages=c,c++,ada,fortran,objc,obj-c++ --disable-sjlj-exceptions --with-dwarf2 --enable-shared --enable-libgomp --disable-win32-registry --enable-libstdcxx-debug --enable-version-specific-runtime-libs --build=mingw32 --prefix=/mingw
Thread model: win32
gcc version 4.6.2 (GCC) 
configure:4282: $? = 0
configure:4271: /mingw/bin/gcc.exe -V >&5
gcc.exe: error: unrecognized option '-V'
gcc.exe: fatal error: no input files
compilation terminated.
configure:4282: $? = 1
configure:4271: /mingw/bin/gcc.exe -qversion >&5
gcc.exe: error: unrecognized option '-qversion'
gcc.exe: fatal error: no input files
compilation terminated.
configure:4282: $? = 1
configure:4302: checking whether the C compiler works
configure:4324: /mingw/bin/gcc.exe -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:4328: $? = 0
configure:4377: result: yes
configure:4380: checking for C compiler default output file name
configure:4382: result: a.exe
configure:4388: checking for suffix of executables
configure:4395: /mingw/bin/gcc.exe -o conftest.exe -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:4399: $? = 0
configure:4421: result: .exe
configure:4443: checking whether we are cross compiling
configure:4451: /mingw/bin/gcc.exe -o conftest.exe -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:4455: $? = 0
configure:4462: ./conftest.exe
configure:4466: $? = 0
configure:4481: result: no
configure:4486: checking for suffix of object files
configure:4508: /mingw/bin/gcc.exe -c -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:4512: $? = 0
configure:4533: result: o
configure:4537: checking whether we are using the GNU C compiler
configure:4556: /mingw/bin/gcc.exe -c -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:4556: $? = 0
configure:4565: result: yes
configure:4574: checking whether /mingw/bin/gcc.exe accepts -g
configure:4594: /mingw/bin/gcc.exe -c -g  conftest.c >&5
configure:4594: $? = 0
configure:4635: result: yes
configure:4652: checking for /mingw/bin/gcc.exe option to accept ISO C89
configure:4716: /mingw/bin/gcc.exe  -c -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:4716: $? = 0
configure:4729: result: none needed
configure:4760: checking for style of include used by make
configure:4788: result: GNU
configure:4813: checking dependency style of /mingw/bin/gcc.exe
configure:4923: result: gcc3
configure:4952: checking whether we are actually using the Intel C compiler
configure:4969: /mingw/bin/gcc.exe -c -g0 -O2 -pipe -Wl,-S  conftest.c >&5
conftest.c:12:1: error: unknown type name 'choke'
conftest.c:12:1: error: expected '=', ',', ';', 'asm' or '__attribute__' at end of input
configure:4969: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| /* end confdefs.h.  */
| 
| #ifndef __INTEL_COMPILER
| choke me
| #endif
| 
configure:4974: result: no
configure:5100: checking for C++ compiler version
configure:5109: /mingw/bin/g++.exe --version >&5
g++.exe (GCC) 4.6.2
Copyright (C) 2011 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:5120: $? = 0
configure:5109: /mingw/bin/g++.exe -v >&5
Using built-in specs.
COLLECT_GCC=D:\DevEnv\MinGW\bin\g++.exe
COLLECT_LTO_WRAPPER=d:/devenv/mingw/bin/../libexec/gcc/mingw32/4.6.2/lto-wrapper.exe
Target: mingw32
Configured with: ../gcc-4.6.2/configure --enable-languages=c,c++,ada,fortran,objc,obj-c++ --disable-sjlj-exceptions --with-dwarf2 --enable-shared --enable-libgomp --disable-win32-registry --enable-libstdcxx-debug --enable-version-specific-runtime-libs --build=mingw32 --prefix=/mingw
Thread model: win32
gcc version 4.6.2 (GCC) 
configure:5120: $? = 0
configure:5109: /mingw/bin/g++.exe -V >&5
g++.exe: error: unrecognized option '-V'
g++.exe: fatal error: no input files
compilation terminated.
configure:5120: $? = 1
configure:5109: /mingw/bin/g++.exe -qversion >&5
g++.exe: error: unrecognized option '-qversion'
g++.exe: fatal error: no input files
compilation terminated.
configure:5120: $? = 1
configure:5124: checking whether we are using the GNU C++ compiler
configure:5143: /mingw/bin/g++.exe -c -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:5143: $? = 0
configure:5152: result: yes
configure:5161: checking whether /mingw/bin/g++.exe accepts -g
configure:5181: /mingw/bin/g++.exe -c -g  conftest.cpp >&5
configure:5181: $? = 0
configure:5222: result: yes
configure:5247: checking dependency style of /mingw/bin/g++.exe
configure:5357: result: gcc3
configure:5377: checking whether we are actually using the Intel C++ compiler
configure:5394: /mingw/bin/g++.exe -c -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp:12:1: error: 'choke' does not name a type
configure:5394: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| /* end confdefs.h.  */
| 
| #ifndef __INTEL_COMPILER
| choke me
| #endif
| 
configure:5399: result: no
configure:5412: checking for grep that handles long lines and -e
configure:5470: result: /bin/grep
configure:5475: checking for fgrep
configure:5537: result: /bin/grep -F
configure:5542: checking for egrep
configure:5604: result: /bin/grep -E
configure:5609: checking for a sed that does not truncate output
configure:5673: result: /bin/sed
configure:5683: checking how to run the C++ preprocessor
configure:5710: /mingw/bin/g++.exe -E  conftest.cpp
configure:5710: $? = 0
configure:5724: /mingw/bin/g++.exe -E  conftest.cpp
conftest.cpp:10:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:5724: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:5749: result: /mingw/bin/g++.exe -E
configure:5769: /mingw/bin/g++.exe -E  conftest.cpp
configure:5769: $? = 0
configure:5783: /mingw/bin/g++.exe -E  conftest.cpp
conftest.cpp:10:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:5783: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:5811: checking whether make sets $(MAKE)
configure:5833: result: yes
configure:5850: checking whether to compile with debug info
configure:5859: result: yes
configure:5881: checking whether to compile for profiling
configure:5896: result: no
configure:5905: checking whether to compile for test coverage
configure:5921: result: no
configure:5930: checking whether to enable checking of run-time assertions
configure:5943: result: no
configure:5953: checking whether to enable even more run-time assertions
configure:5966: result: no
configure:6009: checking whether to enable optimizations
configure:6036: result: standard
configure:6060: checking for which architecture to optimize
configure:6083: result: default
configure:6097: checking whether to use (a specific) floating point arithmetic
configure:6140: result: default
configure:6180: checking whether to use precompiled headers
configure:6194: result: no
configure:6311: checking the type of integral values to use as coefficients
configure:6376: result: GMP mpz
configure:6509: checking for an ANSI C-conforming const
configure:6574: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6574: $? = 0
configure:6581: result: yes
configure:6589: checking for inline
configure:6605: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6605: $? = 0
configure:6613: result: inline
configure:6636: checking how to run the C preprocessor
configure:6667: /mingw/bin/gcc.exe -E  conftest.c
configure:6667: $? = 0
configure:6681: /mingw/bin/gcc.exe -E  conftest.c
conftest.c:16:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:6681: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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:6706: result: /mingw/bin/gcc.exe -E
configure:6726: /mingw/bin/gcc.exe -E  conftest.c
configure:6726: $? = 0
configure:6740: /mingw/bin/gcc.exe -E  conftest.c
conftest.c:16:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:6740: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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:6769: checking for ANSI C header files
configure:6789: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6789: $? = 0
configure:6862: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:6862: $? = 0
configure:6862: ./conftest.exe
configure:6862: $? = 0
configure:6873: result: yes
configure:6886: checking for sys/types.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for sys/stat.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for stdlib.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for string.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for memory.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for strings.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for inttypes.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for stdint.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6886: checking for unistd.h
configure:6886: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6886: $? = 0
configure:6886: result: yes
configure:6899: checking whether byte ordering is bigendian
configure:6914: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
conftest.c:27:9: error: unknown type name 'not'
conftest.c:27:15: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'universal'
conftest.c:27:15: error: unknown type name 'universal'
configure:6914: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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:6959: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:6959: $? = 0
configure:6977: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
conftest.c: In function 'main':
conftest.c:33:4: error: unknown type name 'not'
conftest.c:33:12: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'endian'
configure:6977: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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:7105: result: no
configure:7124: checking for typeof syntax and keyword spelling
configure:7155: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.c >&5
configure:7155: $? = 0
configure:7162: result: typeof
configure:7183: checking size of char
configure:7188: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7188: $? = 0
configure:7188: ./conftest.exe
configure:7188: $? = 0
configure:7203: result: 1
configure:7217: checking size of short
configure:7222: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7222: $? = 0
configure:7222: ./conftest.exe
configure:7222: $? = 0
configure:7237: result: 2
configure:7251: checking size of int
configure:7256: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7256: $? = 0
configure:7256: ./conftest.exe
configure:7256: $? = 0
configure:7271: result: 4
configure:7285: checking size of long
configure:7290: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7290: $? = 0
configure:7290: ./conftest.exe
configure:7290: $? = 0
configure:7305: result: 4
configure:7319: checking size of long long
configure:7324: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7324: $? = 0
configure:7324: ./conftest.exe
configure:7324: $? = 0
configure:7339: result: 8
configure:7353: checking size of size_t
configure:7358: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7358: $? = 0
configure:7358: ./conftest.exe
configure:7358: $? = 0
configure:7373: result: 4
configure:7387: checking size of float
configure:7392: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7392: $? = 0
configure:7392: ./conftest.exe
configure:7392: $? = 0
configure:7407: result: 4
configure:7421: checking size of double
configure:7426: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7426: $? = 0
configure:7426: ./conftest.exe
configure:7426: $? = 0
configure:7441: result: 8
configure:7455: checking size of long double
configure:7460: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7460: $? = 0
configure:7460: ./conftest.exe
configure:7460: $? = 0
configure:7475: result: 12
configure:7492: checking size of int*
configure:7497: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7497: $? = 0
configure:7497: ./conftest.exe
configure:7497: $? = 0
configure:7512: result: 4
configure:7526: checking size of fp
configure:7531: /mingw/bin/gcc.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.c  >&5
configure:7531: $? = 0
configure:7531: ./conftest.exe
configure:7531: $? = 0
configure:7547: result: 4
configure:7561: checking for perl
configure:7579: found /bin/perl
configure:7592: result: /bin/perl
configure:7619: checking for library containing sqrt
configure:7650: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:7650: $? = 0
configure:7667: result: none required
configure:7690: checking fenv.h usability
configure:7690: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:7690: $? = 0
configure:7690: result: yes
configure:7690: checking fenv.h presence
configure:7690: /mingw/bin/g++.exe -E  conftest.cpp
configure:7690: $? = 0
configure:7690: result: yes
configure:7690: checking for fenv.h
configure:7690: result: yes
configure:7690: checking ieeefp.h usability
configure:7690: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp:72:20: fatal error: ieeefp.h: No such file or directory
compilation terminated.
configure:7690: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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:7690: result: no
configure:7690: checking ieeefp.h presence
configure:7690: /mingw/bin/g++.exe -E  conftest.cpp
conftest.cpp:39:20: fatal error: ieeefp.h: No such file or directory
compilation terminated.
configure:7690: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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:7690: result: no
configure:7690: checking for ieeefp.h
configure:7690: result: no
configure:7701: checking if it is possible to control the FPU
configure:7828: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:7828: $? = 0
configure:7828: ./conftest.exe
configure:7828: $? = 0
configure:7829: result: yes
configure:7876: checking whether the plain char type is signed
configure:7886: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:7886: $? = 0
configure:7887: result: yes
configure:7930: checking whether the C++ compiler provides proper long doubles
configure:7953: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:7953: $? = 0
configure:7953: ./conftest.exe
configure:7953: $? = 0
configure:7954: result: yes
configure:8000: checking the binary format of C++ floats
configure:8058: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:8058: $? = 0
configure:8058: ./conftest.exe
configure:8058: $? = 0
configure:8071: result: IEEE754 Single Precision
configure:8084: checking whether C++ provides exact output for floats
configure:8180: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:8180: $? = 0
configure:8180: ./conftest.exe
configure:8180: $? = 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.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:8185: result: no
configure:8252: checking the binary format of C++ doubles
configure:8320: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:8320: $? = 0
configure:8320: ./conftest.exe
configure:8320: $? = 0
configure:8333: result: IEEE754 Double Precision
configure:8347: checking whether C++ provides exact output for doubles
configure:8452: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:8452: $? = 0
configure:8452: ./conftest.exe
configure:8452: $? = 0
configure:8453: result: yes
configure:8524: checking the binary format of C++ long doubles
configure:8592: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:8592: $? = 0
configure:8592: ./conftest.exe
configure:8592: $? = 0
configure:8861: result: Intel Double-Extended
configure:8875: checking whether C++ provides exact output for long doubles
configure:9093: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:9093: $? = 0
configure:9093: ./conftest.exe
configure:9093: $? = 0
configure:9094: result: yes
configure:9176: checking whether the C++ compiler supports flexible arrays
configure:9286: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:9286: $? = 0
configure:9286: ./conftest.exe
configure:9286: $? = 0
configure:9287: result: yes
configure:9333: checking whether the IEEE inexact flag is supported in C++
configure:9425: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:9425: $? = 0
configure:9425: ./conftest.exe
configure:9425: $? = 0
configure:9426: result: yes
configure:9473: checking if the compiler has the remainder bug
configure:9502: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S   conftest.cpp  >&5
configure:9502: $? = 0
configure:9502: ./conftest.exe
configure:9502: $? = 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.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9507: result: yes
configure:9549: checking whether the C++ compiler supports __attribute__ ((weak))
configure:9562: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9562: $? = 0
configure:9563: result: yes
configure:9599: checking for fenv.h
configure:9599: result: yes
configure:9599: checking for ieeefp.h
configure:9599: result: no
configure:9599: checking getopt.h usability
configure:9599: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9599: $? = 0
configure:9599: result: yes
configure:9599: checking getopt.h presence
configure:9599: /mingw/bin/g++.exe -E  conftest.cpp
configure:9599: $? = 0
configure:9599: result: yes
configure:9599: checking for getopt.h
configure:9599: result: yes
configure:9599: checking signal.h usability
configure:9599: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9599: $? = 0
configure:9599: result: yes
configure:9599: checking signal.h presence
configure:9599: /mingw/bin/g++.exe -E  conftest.cpp
configure:9599: $? = 0
configure:9599: result: yes
configure:9599: checking for signal.h
configure:9599: result: yes
configure:9599: checking for string.h
configure:9599: result: yes
configure:9599: checking for strings.h
configure:9599: result: yes
configure:9599: checking sys/resource.h usability
configure:9599: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp:93:26: fatal error: sys/resource.h: No such file or directory
compilation terminated.
configure:9599: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9599: result: no
configure:9599: checking sys/resource.h presence
configure:9599: /mingw/bin/g++.exe -E  conftest.cpp
conftest.cpp:60:26: fatal error: sys/resource.h: No such file or directory
compilation terminated.
configure:9599: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9599: result: no
configure:9599: checking for sys/resource.h
configure:9599: result: no
configure:9599: checking sys/time.h usability
configure:9599: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9599: $? = 0
configure:9599: result: yes
configure:9599: checking sys/time.h presence
configure:9599: /mingw/bin/g++.exe -E  conftest.cpp
configure:9599: $? = 0
configure:9599: result: yes
configure:9599: checking for sys/time.h
configure:9599: result: yes
configure:9599: checking for sys/types.h
configure:9599: result: yes
configure:9599: checking for unistd.h
configure:9599: result: yes
configure:9612: checking whether ffs is declared
configure:9612: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:75:10: error: 'ffs' was not declared in this scope
configure:9612: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9612: result: no
configure:9630: checking whether getenv is declared
configure:9630: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9630: $? = 0
configure:9630: result: yes
configure:9641: checking whether strtof is declared
configure:9641: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9641: $? = 0
configure:9641: result: yes
configure:9652: checking whether strtod is declared
configure:9652: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9652: $? = 0
configure:9652: result: yes
configure:9663: checking whether strtold is declared
configure:9663: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9663: $? = 0
configure:9663: result: yes
configure:9674: checking whether strtoll is declared
configure:9674: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9674: $? = 0
configure:9674: result: yes
configure:9685: checking whether strtoull is declared
configure:9685: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9685: $? = 0
configure:9685: result: yes
configure:9697: checking whether fma is declared
configure:9697: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9697: $? = 0
configure:9697: result: yes
configure:9708: checking whether fmaf is declared
configure:9708: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9708: $? = 0
configure:9708: result: yes
configure:9719: checking whether fmal is declared
configure:9719: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9719: $? = 0
configure:9719: result: yes
configure:9730: checking whether rintf is declared
configure:9730: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9730: $? = 0
configure:9730: result: yes
configure:9741: checking whether rintl is declared
configure:9741: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9741: $? = 0
configure:9741: result: yes
configure:9755: checking for int_fast16_t
configure:9755: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9755: $? = 0
configure:9755: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:111:26: error: expected primary-expression before ')' token
configure:9755: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9755: result: yes
configure:9764: checking for int_fast32_t
configure:9764: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9764: $? = 0
configure:9764: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:112:26: error: expected primary-expression before ')' token
configure:9764: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9764: result: yes
configure:9773: checking for int_fast64_t
configure:9773: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9773: $? = 0
configure:9773: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:113:26: error: expected primary-expression before ')' token
configure:9773: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9773: result: yes
configure:9782: checking for uint_fast16_t
configure:9782: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9782: $? = 0
configure:9782: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:114:27: error: expected primary-expression before ')' token
configure:9782: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9782: result: yes
configure:9791: checking for uint_fast32_t
configure:9791: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9791: $? = 0
configure:9791: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:115:27: error: expected primary-expression before ')' token
configure:9791: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9791: result: yes
configure:9800: checking for uint_fast64_t
configure:9800: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9800: $? = 0
configure:9800: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:116:27: error: expected primary-expression before ')' token
configure:9800: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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:9800: result: yes
configure:9814: checking for uintptr_t
configure:9814: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
configure:9814: $? = 0
configure:9814: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S  conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:117:23: error: expected primary-expression before ')' token
configure:9814: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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
| /* 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 ((uintptr_t)))
| 	    return 0;
|   ;
|   return 0;
| }
configure:9814: result: yes
configure:9893: checking for ld used by GCC
configure:9957: result: d:/devenv/mingw/mingw32/bin/ld.exe
configure:9964: checking if the linker (d:/devenv/mingw/mingw32/bin/ld.exe) is GNU ld
configure:9977: result: yes
configure:9984: checking for shared library run path origin
configure:9997: result: done
configure:10129: checking how to link with libgmp
configure:10602: result: /usr/local/lib/libgmp.a
configure:10644: checking how to link with libgmpxx
configure:11117: result: /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a
configure:11163: checking for the GMP library version 4.1.3 or above
configure:11252: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include  conftest.cpp  /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a >&5
configure:11252: $? = 0
configure:11252: ./conftest.exe
configure:11252: $? = 0
configure:11253: result: yes
configure:11275: checking size of mp_limb_t
configure:11280: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include  conftest.cpp  /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a >&5
configure:11280: $? = 0
configure:11280: ./conftest.exe
configure:11280: $? = 0
configure:11296: result: 4
configure:11307: checking whether GMP has been compiled with support for exceptions
configure:11347: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include  conftest.cpp  /usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a >&5
configure:11347: $? = 0
configure:11347: ./conftest.exe
configure:11347: $? = 0
configure:11348: result: yes
configure:11404: checking for __mpz_struct._mp_alloc
configure:11404: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:11404: $? = 0
configure:11404: result: yes
configure:11416: checking for __mpz_struct._mp_size
configure:11416: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:11416: $? = 0
configure:11416: result: yes
configure:11428: checking for __mpz_struct._mp_d
configure:11428: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:11428: $? = 0
configure:11428: result: yes
configure:11455: checking whether to build the Parma Watchdog Library
configure:11473: result: yes
configure:11497: checking whether to build the ppl_lcdd program
configure:11506: result: yes
configure:11528: checking whether to build the ppl_lpsol program
configure:11537: result: yes
configure:11559: checking whether to build the ppl_pips program
configure:11568: result: yes
configure:11598: checking which interfaces are enabled
configure:11656: result: cxx c ocaml java
configure:11734: checking for javac.exe
configure:11764: result: no
configure:11876: checking for java.exe
configure:11892: found /c/Windows/system32/java.exe
configure:11903: result: java.exe
configure:11968: checking for uudecode.exe
configure:11998: result: no
configure:12182: checking if java.exe works
configure:12200: no  Test.java
../../src/ppl/ppl-0.11.2/configure: line 12201: no: command not found
configure:12203: $? = 127
configure: failed program was:
/* [#]line 12192 "configure" */
public class Test {
public static void main (String args[]) {
        System.exit (0);
} }
configure:12209: WARNING: The Java compiler no failed (see config.log, check the CLASSPATH?)
configure:12219: java.exe  Test
java.lang.NoClassDefFoundError: Test
Caused by: java.lang.ClassNotFoundException: Test
	at java.net.URLClassLoader$1.run(Unknown Source)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.net.URLClassLoader.findClass(Unknown Source)
	at java.lang.ClassLoader.loadClass(Unknown Source)
	at sun.misc.Launcher$AppClassLoader.loadClass(Unknown Source)
	at java.lang.ClassLoader.loadClass(Unknown Source)
Could not find the main class: Test.  Program will exit.
Exception in thread "main" configure:12222: $? = 1
configure: failed program was:
/* [#]line 12192 "configure" */
public class Test {
public static void main (String args[]) {
        System.exit (0);
} }
configure:12228: WARNING: The Java VM java.exe failed (see config.log, check the CLASSPATH?)
configure:12235: result: 
configure:12247: checking for jar.exe
configure:12277: result: no
configure:12342: checking for javah
configure:12372: result: no
configure:12435: /mingw/bin/g++.exe -E -I/usr/local/include conftest.cpp
conftest.cpp:88:17: fatal error: jni.h: No such file or directory
compilation terminated.
configure:12435: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 1
| /* end confdefs.h.  */
| #include <jni.h>
configure:12449: /mingw/bin/g++.exe -E -I/usr/local/include -I -I/mingw conftest.cpp
conftest.cpp:88:17: fatal error: jni.h: No such file or directory
compilation terminated.
configure:12449: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 1
| /* end confdefs.h.  */
| #include <jni.h>
configure:12452: WARNING: unable to include <jni.h>
configure:12470: checking whether jlong can contain data pointers
configure:12490: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I -I/mingw  conftest.cpp  >&5
conftest.cpp:88:17: fatal error: jni.h: No such file or directory
compilation terminated.
configure:12490: $? = 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.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 1
| /* end confdefs.h.  */
| #include <jni.h>
| 
|     int
|     main() {
|       if (sizeof(jlong) >= sizeof(void*))
|         return 0;
|       else
|         return 1;
|     }
| 
configure:12496: result: no
configure:12551: checking for i686-w64-mingw32-ocamlc
configure:12581: result: no
configure:12591: checking for ocamlc
configure:12621: result: no
configure:12979: checking for i686-w64-mingw32-ocamldep
configure:13009: result: no
configure:13019: checking for ocamldep
configure:13049: result: no
configure:13073: checking for i686-w64-mingw32-ocamlmktop
configure:13103: result: no
configure:13113: checking for ocamlmktop
configure:13143: result: no
configure:13167: checking for i686-w64-mingw32-ocamlmklib
configure:13197: result: no
configure:13207: checking for ocamlmklib
configure:13237: result: no
configure:13261: checking for i686-w64-mingw32-ocamldoc
configure:13291: result: no
configure:13301: checking for ocamldoc
configure:13331: result: no
configure:13355: checking for i686-w64-mingw32-ocamlbuild
configure:13385: result: no
configure:13395: checking for ocamlbuild
configure:13425: result: no
configure:14407: checking for GNU M4 that supports accurate traces
configure:14446: result: /bin/m4
configure:14449: checking how m4 supports trace files
configure:14459: result: --debugfile
configure:14544: checking which instantiations are enabled
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14594: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -I../../src/ppl/ppl-0.11.2 conftest.cpp >&5
configure:14594: $? = 0
configure:14632: 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:14638: checking whether tests should be run under Valgrind
configure:14694: result: no
configure:14712: checking whether `make check' does a thorough or quick check
configure:14725: result: quick
configure:14789: checking how to print strings
configure:14816: result: printf
configure:14837: checking for a sed that does not truncate output
configure:14901: result: /bin/sed
configure:14949: checking for ld used by /mingw/bin/gcc.exe
configure:15016: result: d:/devenv/mingw/mingw32/bin/ld.exe
configure:15023: checking if the linker (d:/devenv/mingw/mingw32/bin/ld.exe) is GNU ld
configure:15038: result: yes
configure:15050: checking for BSD- or MS-compatible name lister (nm)
configure:15099: result: /mingw/bin/nm.exe
configure:15229: checking the name lister (/mingw/bin/nm.exe) interface
configure:15236: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:15239: /mingw/bin/nm.exe "conftest.o"
configure:15242: output
00000000 b .bss
00000000 d .data
00000000 t .text
00000000 B _some_variable
configure:15249: result: BSD nm
configure:15252: checking whether ln -s works
configure:15259: result: no, using cp -p
configure:15264: checking the maximum length of command line arguments
configure:15389: result: 8192
configure:15406: checking whether the shell understands some XSI constructs
configure:15416: result: yes
configure:15420: checking whether the shell understands "+="
configure:15426: result: yes
configure:15461: checking for d:/devenv/mingw/mingw32/bin/ld.exe option to reload object files
configure:15468: result: -r
configure:15497: checking for i686-w64-mingw32-objdump
configure:15527: result: no
configure:15537: checking for objdump
configure:15553: found /mingw/bin/objdump
configure:15564: result: objdump
configure:15596: checking how to recognize dependent libraries
configure:15798: result: file_magic ^x86 archive import|^x86 DLL
configure:15818: checking for i686-w64-mingw32-ar
configure:15845: result: /mingw/bin/ar.exe
configure:15923: checking for i686-w64-mingw32-strip
configure:15953: result: no
configure:15963: checking for strip
configure:15979: found /mingw/bin/strip
configure:15990: result: strip
configure:16022: checking for i686-w64-mingw32-ranlib
configure:16049: result: /mingw/bin/ranlib.exe
configure:16191: checking command to parse /mingw/bin/nm.exe output from /mingw/bin/gcc.exe object
configure:16309: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:16312: $? = 0
configure:16316: /mingw/bin/nm.exe conftest.o \| sed -n -e 's/^.*[ ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\([_A-Za-z][_A-Za-z0-9]*\)\{0,1\}$/\1 \2 \2/p' \> conftest.nm
configure:16319: $? = 0
cannot find nm_test_var in conftest.nm
configure:16309: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:16312: $? = 0
configure:16316: /mingw/bin/nm.exe conftest.o \| sed -n -e 's/^.*[ ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*_\([_A-Za-z][_A-Za-z0-9]*\)\{0,1\}$/\1 _\2 \2/p' \> conftest.nm
configure:16319: $? = 0
configure:16373: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include  conftest.cpp conftstm.o >&5
configure:16376: $? = 0
configure:16414: result: ok
configure:17251: checking for dlfcn.h
configure:17251: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp:122:19: fatal error: dlfcn.h: No such file or directory
compilation terminated.
configure:17251: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:17251: result: no
configure:17437: checking for objdir
configure:17452: result: .libs
configure:17723: checking if /mingw/bin/gcc.exe supports -fno-rtti -fno-exceptions
configure:17741: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -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 [enabled by default]
configure:17745: $? = 0
configure:17758: result: no
configure:17778: checking for /mingw/bin/gcc.exe option to produce PIC
configure:18063: result: -DDLL_EXPORT -DPIC
configure:18075: checking if /mingw/bin/gcc.exe PIC flag -DDLL_EXPORT -DPIC works
configure:18093: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -DDLL_EXPORT -DPIC -DPIC conftest.c >&5
configure:18097: $? = 0
configure:18110: result: yes
configure:18134: checking if /mingw/bin/gcc.exe static flag -static works
configure:18162: result: yes
configure:18177: checking if /mingw/bin/gcc.exe supports -c -o file.o
configure:18198: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -o out/conftest2.o conftest.c >&5
configure:18202: $? = 0
configure:18224: result: yes
configure:18232: checking if /mingw/bin/gcc.exe supports -c -o file.o
configure:18279: result: yes
configure:18312: checking whether the /mingw/bin/gcc.exe linker (d:/devenv/mingw/mingw32/bin/ld.exe) supports shared libraries
configure:19387: result: yes
configure:19632: checking dynamic linker characteristics
configure:20309: result: Win32 ld.exe
configure:20416: checking how to hardcode library paths into programs
configure:20441: result: immediate
configure:20981: checking whether stripping libraries is possible
configure:20986: result: yes
configure:21021: checking if libtool supports shared libraries
configure:21023: result: yes
configure:21026: checking whether to build shared libraries
configure:21047: result: no
configure:21050: checking whether to build static libraries
configure:21054: result: yes
configure:21077: checking how to run the C++ preprocessor
configure:21143: result: /mingw/bin/g++.exe -E
configure:21163: /mingw/bin/g++.exe -E -I/usr/local/include conftest.cpp
configure:21163: $? = 0
configure:21177: /mingw/bin/g++.exe -E -I/usr/local/include conftest.cpp
conftest.cpp:89:28: fatal error: ac_nonexistent.h: No such file or directory
compilation terminated.
configure:21177: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <ac_nonexistent.h>
configure:21345: checking for ld used by /mingw/bin/g++.exe
configure:21412: result: d:/devenv/mingw/mingw32/bin/ld.exe
configure:21419: checking if the linker (d:/devenv/mingw/mingw32/bin/ld.exe) is GNU ld
configure:21434: result: yes
configure:21489: checking whether the /mingw/bin/g++.exe linker (d:/devenv/mingw/mingw32/bin/ld.exe) supports shared libraries
configure:22421: result: yes
configure:22449: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
configure:22452: $? = 0
configure:22634: checking for /mingw/bin/g++.exe option to produce PIC
configure:22956: result: -DDLL_EXPORT -DPIC
configure:22965: checking if /mingw/bin/g++.exe PIC flag -DDLL_EXPORT -DPIC works
configure:22983: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -DDLL_EXPORT -DPIC -DPIC conftest.cpp >&5
configure:22987: $? = 0
configure:23000: result: yes
configure:23021: checking if /mingw/bin/g++.exe static flag -static works
configure:23049: result: yes
configure:23061: checking if /mingw/bin/g++.exe supports -c -o file.o
configure:23082: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include -o out/conftest2.o conftest.cpp >&5
configure:23086: $? = 0
configure:23108: result: yes
configure:23113: checking if /mingw/bin/g++.exe supports -c -o file.o
configure:23160: result: yes
configure:23190: checking whether the /mingw/bin/g++.exe linker (d:/devenv/mingw/mingw32/bin/ld.exe) supports shared libraries
configure:23218: result: yes
configure:23361: checking dynamic linker characteristics
configure:23972: result: Win32 ld.exe
configure:24025: checking how to hardcode library paths into programs
configure:24050: result: immediate
configure:24128: checking for md5sum
configure:24144: found /bin/md5sum
configure:24155: result: md5sum
configure:24174: checking for the text md5sum command
configure:24182: result: md5sum -t
configure:24199: checking glpk.h usability
configure:24199: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.c >&5
conftest.c:122:18: fatal error: glpk.h: No such file or directory
compilation terminated.
configure:24199: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24199: result: no
configure:24199: checking glpk.h presence
configure:24199: /mingw/bin/gcc.exe -E -I/usr/local/include conftest.c
conftest.c:89:18: fatal error: glpk.h: No such file or directory
compilation terminated.
configure:24199: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <glpk.h>
configure:24199: result: no
configure:24199: checking for glpk.h
configure:24199: result: no
configure:24199: checking glpk/glpk.h usability
configure:24199: /mingw/bin/gcc.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.c >&5
conftest.c:122:23: fatal error: glpk/glpk.h: No such file or directory
compilation terminated.
configure:24199: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24199: result: no
configure:24199: checking glpk/glpk.h presence
configure:24199: /mingw/bin/gcc.exe -E -I/usr/local/include conftest.c
conftest.c:89:23: fatal error: glpk/glpk.h: No such file or directory
compilation terminated.
configure:24199: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h.  */
| #include <glpk/glpk.h>
configure:24199: result: no
configure:24199: checking for glpk/glpk.h
configure:24199: result: no
configure:24281: checking whether RLIMIT_DATA is declared
configure:24281: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:99:10: error: 'RLIMIT_DATA' was not declared in this scope
configure:24281: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24281: result: no
configure:24296: checking whether RLIMIT_RSS is declared
configure:24296: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:100:10: error: 'RLIMIT_RSS' was not declared in this scope
configure:24296: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24296: result: no
configure:24311: checking whether RLIMIT_VMEM is declared
configure:24311: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:101:10: error: 'RLIMIT_VMEM' was not declared in this scope
configure:24311: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24311: result: no
configure:24326: checking whether RLIMIT_AS is declared
configure:24326: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:102:10: error: 'RLIMIT_AS' was not declared in this scope
configure:24326: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24326: result: no
configure:24343: checking whether getrusage is declared
configure:24343: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:106:10: error: 'getrusage' was not declared in this scope
configure:24343: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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:24343: result: no
configure:24362: checking whether sigaction is declared
configure:24362: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:100:10: error: 'sigaction' was not declared in this scope
configure:24362: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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 <csignal>
| 
| int
| main ()
| {
| #ifndef sigaction
|   (void) sigaction;
| #endif
| 
|   ;
|   return 0;
| }
configure:24362: result: no
configure:24376: checking for timeval
configure:24376: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:131:13: error: 'timeval' was not declared in this scope
configure:24376: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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 HAVE_DECL_SIGACTION 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:24376: result: no
configure:24386: checking for siginfo_t
configure:24386: /mingw/bin/g++.exe -c  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:102:13: error: 'siginfo_t' was not declared in this scope
configure:24386: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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 HAVE_DECL_SIGACTION 0
| /* end confdefs.h.  */
| 
| #include <signal.h>
| 
| 
| int
| main ()
| {
| if (sizeof (siginfo_t))
| 	 return 0;
|   ;
|   return 0;
| }
configure:24386: result: no
configure:24412: checking whether we can limit memory in C++ using setrlimit()
configure:24488: /mingw/bin/g++.exe -o conftest.exe  -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -I/usr/local/include  conftest.cpp  >&5
conftest.cpp: In function 'bool limit_memory(long unsigned int)':
conftest.cpp:120:17: error: aggregate 'limit_memory(long unsigned int)::rlimit t' has incomplete type and cannot be defined
configure:24488: $? = 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.11.2"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
| #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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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 HAVE_DECL_SIGACTION 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:24493: result: no
configure:24884: creating ./config.status

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

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

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

on liam

config.status:1490: creating Makefile
config.status:1490: creating ppl.lsm
config.status:1490: creating src/Makefile
config.status:1490: creating src/version.hh
config.status:1490: creating src/ppl-config.cc
config.status:1490: creating tests/Makefile
config.status:1490: creating tests/BD_Shape/Makefile
config.status:1490: creating tests/Box/Makefile
config.status:1490: creating tests/Grid/Makefile
config.status:1490: creating tests/MIP_Problem/Makefile
config.status:1490: creating tests/Octagonal_Shape/Makefile
config.status:1490: creating tests/Partially_Reduced_Product/Makefile
config.status:1490: creating tests/PIP_Problem/Makefile
config.status:1490: creating tests/Polyhedron/Makefile
config.status:1490: creating tests/Powerset/Makefile
config.status:1490: creating utils/Makefile
config.status:1490: creating m4/Makefile
config.status:1490: creating demos/Makefile
config.status:1490: creating demos/ppl_lcdd/Makefile
config.status:1490: creating demos/ppl_lcdd/examples/Makefile
config.status:1490: creating demos/ppl_lpsol/Makefile
config.status:1490: creating demos/ppl_lpsol/examples/Makefile
config.status:1490: creating demos/ppl_pips/Makefile
config.status:1490: creating demos/ppl_pips/examples/Makefile
config.status:1490: creating doc/Makefile
config.status:1490: creating doc/user.doxyconf-latex
config.status:1490: creating doc/devref.doxyconf-latex
config.status:1490: creating doc/user.doxyconf-html
config.status:1490: creating doc/devref.doxyconf-html
config.status:1490: creating doc/user-language-interface.doxyconf
config.status:1490: creating doc/devref-language-interface.doxyconf
config.status:1490: creating interfaces/Makefile
config.status:1490: creating interfaces/C/Makefile
config.status:1490: creating interfaces/C/ppl_c_version.h
config.status:1490: creating interfaces/C/tests/Makefile
config.status:1490: creating interfaces/Java/Makefile
config.status:1490: creating interfaces/Java/jni/Makefile
config.status:1490: creating interfaces/Java/tests/Makefile
config.status:1490: creating interfaces/Java/parma_polyhedra_library/Makefile
config.status:1490: creating interfaces/OCaml/Makefile
config.status:1490: creating interfaces/OCaml/tests/Makefile
config.status:1490: creating interfaces/Prolog/Makefile
config.status:1490: creating interfaces/Prolog/Ciao/Makefile
config.status:1490: creating interfaces/Prolog/GNU/Makefile
config.status:1490: creating interfaces/Prolog/SICStus/Makefile
config.status:1490: creating interfaces/Prolog/SWI/Makefile
config.status:1490: creating interfaces/Prolog/XSB/Makefile
config.status:1490: creating interfaces/Prolog/YAP/Makefile
config.status:1490: creating interfaces/Prolog/tests/Makefile
config.status:1490: creating config.h
config.status:1703: executing depfiles commands
config.status:1703: executing libtool commands
configure:27482: === configuring in Watchdog (/d/DevEnv/MinGW_64/build/ppl/Watchdog)
configure:27545: running /bin/sh ../../../src/ppl/ppl-0.11.2/Watchdog/configure --disable-option-checking '--prefix=/usr/local'  '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S' --cache-file=/dev/null --srcdir=../../../src/ppl/ppl-0.11.2/Watchdog

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

ac_cv_build=i686-w64-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=set
ac_cv_env_CC_value=/mingw/bin/gcc.exe
ac_cv_env_CFLAGS_set=set
ac_cv_env_CFLAGS_value='-g0 -O2 -pipe -Wl,-S'
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=set
ac_cv_env_CXXFLAGS_value='-g0 -O2 -pipe -Wl,-S'
ac_cv_env_CXX_set=set
ac_cv_env_CXX_value=/mingw/bin/g++.exe
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=set
ac_cv_env_build_alias_value=i686-w64-mingw32
ac_cv_env_host_alias_set=set
ac_cv_env_host_alias_value=i686-w64-mingw32
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_exeext=.exe
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_sigaction=no
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-w64-mingw32
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_libgmp_prefix=/usr/local
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_libgmpxx_prefix=/usr/local
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_M4=/bin/m4
ac_cv_path_PERL=/bin/perl
ac_cv_path_SED=/bin/sed
ac_cv_path_install='/bin/install -c'
ac_cv_path_mkdir=/bin/mkdir
ac_cv_prog_AR=/mingw/bin/ar.exe
ac_cv_prog_AWK=gawk
ac_cv_prog_CC=/mingw/bin/gcc.exe
ac_cv_prog_CPP='/mingw/bin/gcc.exe -E'
ac_cv_prog_CXXCPP='/mingw/bin/g++.exe -E'
ac_cv_prog_JAVA=java.exe
ac_cv_prog_MD5SUM=md5sum
ac_cv_prog_RANLIB=/mingw/bin/ranlib.exe
ac_cv_prog_ac_ct_OBJDUMP=objdump
ac_cv_prog_ac_ct_STRIP=strip
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_prog_cxx_g=yes
ac_cv_prog_gnu_m4_debugfile=--debugfile
ac_cv_prog_make_make_set=yes
ac_cv_prog_text_md5sum='md5sum -t'
ac_cv_search_sqrt='none required'
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
ac_cv_type_uintptr_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=d:/devenv/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=d:/devenv/mingw/mingw32/bin/ld.exe
lt_cv_path_LDCXX=d:/devenv/mingw/mingw32/bin/ld.exe
lt_cv_path_NM=/mingw/bin/nm.exe
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} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/missing --run aclocal-1.11'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='${SHELL} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/missing --run tar'
AM_BACKSLASH='\'
AM_DEFAULT_VERBOSITY='1'
AR='/mingw/bin/ar.exe'
ASSERTIONS_ENABLED_FALSE=''
ASSERTIONS_ENABLED_TRUE='#'
AUTOCONF='${SHELL} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/missing --run autoconf'
AUTOHEADER='${SHELL} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/missing --run autoheader'
AUTOMAKE='${SHELL} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/missing --run automake-1.11'
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_PPL_PIPS_FALSE='#'
BUILD_PPL_PIPS_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='/mingw/bin/gcc.exe'
CCDEPMODE='depmode=gcc3'
CFLAGS=' -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -W -Wall'
CIAO_PROLOG=''
CIAO_PROLOG_INCLUDE_OPTIONS=''
CONFIGURE_OPTIONS=''
CPP='/mingw/bin/gcc.exe -E'
CPPFLAGS='-I/usr/local/include'
CXX='/mingw/bin/g++.exe'
CXXCPP='/mingw/bin/g++.exe -E'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS=' -g -O2 -frounding-math -g0 -O2 -pipe -Wl,-S -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='2012-02-18'
JAR='no'
JAVA='java.exe'
JAVAC='no'
JAVAH='no'
JNIFLAGS='-I -I/mingw'
LD='d:/devenv/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'
LIBGMPXX_PREFIX='/usr/local'
LIBGMP_PREFIX='/usr/local'
LIBOBJS=''
LIBS=''
LIBTOOL='$(SHELL) $(top_builddir)/libtool'
LIPO=''
LN_S='cp -p'
LTLIBGMP='-L/usr/local/lib -lgmp'
LTLIBGMPXX='-L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp'
LTLIBOBJS=''
M4='/bin/m4'
M4_DEBUGFILE='--debugfile'
MAKEINFO='${SHELL} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/missing --run makeinfo'
MD5SUM='md5sum'
MKDIR_P='/bin/mkdir -p'
NM='/mingw/bin/nm.exe'
NMEDIT=''
NO_UNDEFINED_FALSE='#'
NO_UNDEFINED_TRUE=''
OBJDUMP='objdump'
OBJEXT='o'
OCAMLBEST=''
OCAMLBUILD='no'
OCAMLC='no'
OCAMLCDOTOPT=''
OCAMLDEP='no'
OCAMLDOC='no'
OCAMLLIB=''
OCAMLMKLIB='no'
OCAMLMKTOP='no'
OCAMLOPT=''
OCAMLOPTDOTOPT=''
OCAMLVERSION=''
OTOOL64=''
OTOOL=''
PACKAGE='ppl'
PACKAGE_BUGREPORT='ppl-devel@cs.unipr.it'
PACKAGE_NAME='the Parma Polyhedra Library'
PACKAGE_STRING='the Parma Polyhedra Library 0.11.2'
PACKAGE_TARNAME='ppl'
PACKAGE_URL=''
PACKAGE_VERSION='0.11.2'
PATH_SEPARATOR=':'
PERL='/bin/perl'
PPL_VERSION_BETA='0'
PPL_VERSION_MAJOR='0'
PPL_VERSION_MINOR='11'
PPL_VERSION_REVISION='2'
RANLIB='/mingw/bin/ranlib.exe'
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=''
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.11.2'
XSB_PROLOG_INCLUDE_OPTIONS=''
YAP_PROLOG=''
YAP_PROLOG_INCLUDE_OPTIONS=''
YAP_PROLOG_LD_OPTIONS=''
ac_ct_CC=''
ac_ct_CXX=''
ac_ct_DUMPBIN=''
am__EXEEXT_FALSE='#'
am__EXEEXT_TRUE=''
am__fastdepCC_FALSE='#'
am__fastdepCC_TRUE=''
am__fastdepCXX_FALSE='#'
am__fastdepCXX_TRUE=''
am__include='include'
am__isrc=' -I$(srcdir)'
am__leading_dot='.'
am__quote=''
am__tar='tar --format=ustar -chf - "$$tardir"'
am__untar='tar -xf -'
bindir='${exec_prefix}/bin'
build='i686-w64-mingw32'
build_alias='i686-w64-mingw32'
build_cpu='i686'
build_os='mingw32'
build_vendor='w64'
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='-L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp'
host='i686-w64-mingw32'
host_alias='i686-w64-mingw32'
host_cpu='i686'
host_os='mingw32'
host_vendor='w64'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='${SHELL} /d/DevEnv/MinGW_64/src/ppl/ppl-0.11.2/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
mkdir_p='/bin/mkdir -p'
mlgmp_dir='+gmp'
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=''
swi_prolog_ld=''
sysconfdir='${prefix}/etc'
target_alias=''
uudecode=''
xsb_prolog=''
yap_prolog=''

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

/* confdefs.h */
#define PACKAGE_NAME "the Parma Polyhedra Library"
#define PACKAGE_TARNAME "ppl"
#define PACKAGE_VERSION "0.11.2"
#define PACKAGE_STRING "the Parma Polyhedra Library 0.11.2"
#define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it"
#define PACKAGE_URL ""
#define PPL_CONFIGURE_OPTIONS " '--host=i686-w64-mingw32' '--build=i686-w64-mingw32' '--enable-static' '--disable-shared' '--with-gmp=/usr/local' 'build_alias=i686-w64-mingw32' 'host_alias=i686-w64-mingw32' 'CC=/mingw/bin/gcc.exe' 'CFLAGS=-g0 -O2 -pipe -Wl,-S' 'CXX=/mingw/bin/g++.exe' 'CXXFLAGS=-g0 -O2 -pipe -Wl,-S'"
#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_PLAIN_CHAR_IS_SIGNED 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 HAVE_UINTPTR_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 PPL_WATCHDOG_LIBRARY_ENABLED 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 HAVE_DECL_SIGACTION 0
#define PPL_CXX_SUPPORTS_LIMITING_MEMORY 0

configure: exit 0
