PPL-devel

Download

ppl-devel@bugseng.com

May 2012

8 participants
24 discussions

Need your help on building ppl~
by Xikui Wang 05 May '12

05 May '12

Hi guys: I met a problem when building ppl, and I can't figure out why this happened. After a rough search on google and review on documentation, I still can't find a solution. So, could someone help me with this? Thanks a lot~ 1. command I executed: ../configure --with-gmp=/usr/local/ --prefix=/usr/local/ppl-0.12.1 I made a sub-directory in source directory, and the GMP lib is installed in /usr/local/gmp-5.0.4 2. The error message: make all-recursive make[1]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release' Making all in . make[2]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release' make[2]: Nothing to be done for `all-am'. make[2]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release' Making all in utils make[2]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release/utils' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release/utils' Making all in src make[2]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release/src' make all-am make[3]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release/src' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I../../src -I.. -I.. -I../../src -I/usr/local//include -g -O2 -frounding-math -W -Wall -MT Float.lo -MD -MP -MF .deps/Float.Tpo -c -o Float.lo ../../src/Float.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../src -I.. -I.. -I../../src -I/usr/local//include -g -O2 -frounding-math -W -Wall -MT Float.lo -MD -MP -MF .deps/Float.Tpo -c ../../src/Float.cc -fPIC -DPIC -o .libs/Float.o ../../src/globals.inlines.hh: In static member function 'static long long unsigned int Parma_Polyhedra_Library::Weightwatch_Traits::compute_delta(long unsigned int, unsigned int)': ../../src/globals.inlines.hh:59: error: 'invalid_argument' is not a member of 'std' make[3]: *** [Float.lo] Error 1 make[3]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release' make: *** [all] Error 2 3. Config.log 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.12.1, which was generated by GNU Autoconf 2.68. Invocation command line was $ ../configure --with-gmp=/usr/local/ --prefix=/usr/local/ppl-0.12.1 ## --------- ## ## Platform. ## ## --------- ## hostname = dcd234 uname -m = x86_64 uname -r = 2.6.18-194.el5 uname -s = Linux uname -v = #1 SMP Fri Apr 2 14:58:14 EDT 2010 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = x86_64 /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown /usr/bin/hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /usr/kerberos/bin PATH: /usr/local/bin PATH: /bin PATH: /usr/bin PATH: /usr/sbin/ PATH: /home/wangxing/bin PATH: /usr/local/MATLAB/R2011b/bin PATH: /usr/local/ ## ----------- ## ## Core tests. ## ## ----------- ## configure:3292: checking build system type configure:3306: result: x86_64-unknown-linux-gnu configure:3326: checking host system type configure:3339: result: x86_64-unknown-linux-gnu configure:3377: checking for a BSD-compatible install configure:3445: result: /usr/bin/install -c configure:3456: checking whether build environment is sane configure:3506: result: yes configure:3647: checking for a thread-safe mkdir -p configure:3686: result: /bin/mkdir -p configure:3699: checking for gawk configure:3715: found /bin/gawk configure:3726: result: gawk configure:3737: checking whether make sets $(MAKE) configure:3759: result: yes configure:3788: checking whether make supports nested variables configure:3805: result: yes configure:3864: checking how to create a ustar tar archive configure:3877: tar --version tar (GNU tar) 1.15.1 configure:3880: $? = 0 configure:3920: tardir=conftest.dir && eval tar --format=ustar -chf - "$tardir" >conftest.tar configure:3923: $? = 0 configure:3927: tar -xf - <conftest.tar configure:3930: $? = 0 configure:3943: result: gnutar configure:4067: checking for gcc configure:4083: found /usr/bin/gcc configure:4094: result: gcc configure:4323: checking for C compiler version configure:4332: gcc --version >&5 gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52) Copyright (C) 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:4343: $? = 0 configure:4332: gcc -v >&5 Using built-in specs. Target: x86_64-redhat-linux Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-libgcj-multifile --enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk --disable-dssi --disable-plugin --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --with-cpu=generic --host=x86_64-redhat-linux Thread model: posix gcc version 4.1.2 20080704 (Red Hat 4.1.2-52) configure:4343: $? = 0 configure:4332: gcc -V >&5 gcc: '-V' option must have argument configure:4343: $? = 1 configure:4332: gcc -qversion >&5 gcc: unrecognized option '-qversion' gcc: no input files configure:4343: $? = 1 configure:4363: checking whether the C compiler works configure:4385: gcc conftest.c >&5 configure:4389: $? = 0 configure:4437: result: yes configure:4440: checking for C compiler default output file name configure:4442: result: a.out configure:4448: checking for suffix of executables configure:4455: gcc -o conftest conftest.c >&5 configure:4459: $? = 0 configure:4481: result: configure:4503: checking whether we are cross compiling configure:4511: gcc -o conftest conftest.c >&5 configure:4515: $? = 0 configure:4522: ./conftest configure:4526: $? = 0 configure:4541: result: no configure:4546: checking for suffix of object files configure:4568: gcc -c conftest.c >&5 configure:4572: $? = 0 configure:4593: result: o configure:4597: checking whether we are using the GNU C compiler configure:4616: gcc -c conftest.c >&5 configure:4616: $? = 0 configure:4625: result: yes configure:4634: checking whether gcc accepts -g configure:4654: gcc -c -g conftest.c >&5 configure:4654: $? = 0 configure:4695: result: yes configure:4712: checking for gcc option to accept ISO C89 configure:4776: gcc -c -g -O2 conftest.c >&5 configure:4776: $? = 0 configure:4789: result: none needed configure:4820: checking for style of include used by make configure:4848: result: GNU configure:4874: checking dependency style of gcc configure:4985: result: gcc3 configure:5014: checking whether we are actually using the Intel C compiler configure:5031: gcc -c conftest.c >&5 conftest.c:12: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'me' configure:5031: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | /* end confdefs.h. */ | | #ifndef __INTEL_COMPILER | choke me | #endif | configure:5036: result: no configure:5061: checking whether we are actually using Clang configure:5077: gcc -c conftest.c >&5 conftest.c:12: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'me' configure:5077: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | /* end confdefs.h. */ | | #ifndef __clang__ | choke me | #endif | configure:5082: result: no configure:5154: checking for g++ configure:5170: found /usr/bin/g++ configure:5181: result: g++ configure:5208: checking for C++ compiler version configure:5217: g++ --version >&5 g++ (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52) Copyright (C) 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:5228: $? = 0 configure:5217: g++ -v >&5 Using built-in specs. Target: x86_64-redhat-linux Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-libgcj-multifile --enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk --disable-dssi --disable-plugin --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --with-cpu=generic --host=x86_64-redhat-linux Thread model: posix gcc version 4.1.2 20080704 (Red Hat 4.1.2-52) configure:5228: $? = 0 configure:5217: g++ -V >&5 g++: '-V' option must have argument configure:5228: $? = 1 configure:5217: g++ -qversion >&5 g++: unrecognized option '-qversion' g++: no input files configure:5228: $? = 1 configure:5232: checking whether we are using the GNU C++ compiler configure:5251: g++ -c conftest.cpp >&5 configure:5251: $? = 0 configure:5260: result: yes configure:5269: checking whether g++ accepts -g configure:5289: g++ -c -g conftest.cpp >&5 configure:5289: $? = 0 configure:5330: result: yes configure:5355: checking dependency style of g++ configure:5466: result: gcc3 configure:5486: checking whether we are actually using the Intel C++ compiler configure:5503: g++ -c conftest.cpp >&5 conftest.cpp:12: error: 'choke' does not name a type configure:5503: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | /* end confdefs.h. */ | | #ifndef __INTEL_COMPILER | choke me | #endif | configure:5508: result: no configure:5524: checking whether we are actually using clang++ configure:5540: g++ -c conftest.cpp >&5 conftest.cpp:12: error: 'choke' does not name a type configure:5540: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | /* end confdefs.h. */ | | #ifndef __clang__ | choke me | #endif | configure:5545: result: no configure:5558: checking for grep that handles long lines and -e configure:5616: result: /bin/grep configure:5621: checking for fgrep configure:5683: result: /bin/grep -F configure:5688: checking for egrep configure:5750: result: /bin/grep -E configure:5755: checking for a sed that does not truncate output configure:5819: result: /bin/sed configure:5829: checking how to run the C++ preprocessor configure:5856: g++ -E conftest.cpp configure:5856: $? = 0 configure:5870: g++ -E conftest.cpp conftest.cpp:10:28: error: ac_nonexistent.h: No such file or directory configure:5870: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:5895: result: g++ -E configure:5915: g++ -E conftest.cpp configure:5915: $? = 0 configure:5929: g++ -E conftest.cpp conftest.cpp:10:28: error: ac_nonexistent.h: No such file or directory configure:5929: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:5957: checking whether make sets $(MAKE) configure:5979: result: yes configure:5996: checking whether to compile with debug info configure:6005: result: yes configure:6027: checking whether to compile for profiling configure:6042: result: no configure:6051: checking whether to compile for test coverage configure:6067: result: no configure:6076: checking whether to enable checking of run-time assertions configure:6089: result: no configure:6099: checking whether to enable even more run-time assertions configure:6112: result: no configure:6155: checking whether to enable optimizations configure:6182: result: standard configure:6206: checking for which architecture to optimize configure:6229: result: default configure:6243: checking whether to use (a specific) floating point arithmetic configure:6286: result: default configure:6348: checking whether to use precompiled headers configure:6362: result: no configure:6496: checking the type of integral values to use as coefficients configure:6561: result: GMP mpz configure:6694: checking for an ANSI C-conforming const configure:6759: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:6759: $? = 0 configure:6766: result: yes configure:6774: checking for inline configure:6790: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:6790: $? = 0 configure:6798: result: inline configure:6821: checking how to run the C preprocessor configure:6852: gcc -E conftest.c configure:6852: $? = 0 configure:6866: gcc -E conftest.c conftest.c:16:28: error: ac_nonexistent.h: No such file or directory configure:6866: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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:6891: result: gcc -E configure:6911: gcc -E conftest.c configure:6911: $? = 0 configure:6925: gcc -E conftest.c conftest.c:16:28: error: ac_nonexistent.h: No such file or directory configure:6925: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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:6954: checking for ANSI C header files configure:6974: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:6974: $? = 0 configure:7047: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7047: $? = 0 configure:7047: ./conftest configure:7047: $? = 0 configure:7058: result: yes configure:7071: checking for sys/types.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for sys/stat.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for stdlib.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for string.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for memory.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for strings.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for inttypes.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for stdint.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7071: checking for unistd.h configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7071: $? = 0 configure:7071: result: yes configure:7083: checking whether byte ordering is bigendian configure:7098: gcc -c -g -O2 -frounding-math conftest.c >&5 conftest.c:27: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'a' configure:7098: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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:7143: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7143: $? = 0 configure:7161: gcc -c -g -O2 -frounding-math conftest.c >&5 conftest.c: In function 'main': conftest.c:33: error: 'not' undeclared (first use in this function) conftest.c:33: error: (Each undeclared identifier is reported only once conftest.c:33: error: for each function it appears in.) conftest.c:33: error: expected ';' before 'big' configure:7161: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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:7289: result: no configure:7308: checking for typeof syntax and keyword spelling configure:7339: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:7339: $? = 0 configure:7346: result: typeof configure:7367: checking size of char configure:7372: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7372: $? = 0 configure:7372: ./conftest configure:7372: $? = 0 configure:7386: result: 1 configure:7400: checking size of short configure:7405: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7405: $? = 0 configure:7405: ./conftest configure:7405: $? = 0 configure:7419: result: 2 configure:7433: checking size of int configure:7438: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7438: $? = 0 configure:7438: ./conftest configure:7438: $? = 0 configure:7452: result: 4 configure:7466: checking size of long configure:7471: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7471: $? = 0 configure:7471: ./conftest configure:7471: $? = 0 configure:7485: result: 8 configure:7499: checking size of long long configure:7504: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7504: $? = 0 configure:7504: ./conftest configure:7504: $? = 0 configure:7518: result: 8 configure:7532: checking size of size_t configure:7537: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7537: $? = 0 configure:7537: ./conftest configure:7537: $? = 0 configure:7551: result: 8 configure:7565: checking size of float configure:7570: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7570: $? = 0 configure:7570: ./conftest configure:7570: $? = 0 configure:7584: result: 4 configure:7598: checking size of double configure:7603: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7603: $? = 0 configure:7603: ./conftest configure:7603: $? = 0 configure:7617: result: 8 configure:7631: checking size of long double configure:7636: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7636: $? = 0 configure:7636: ./conftest configure:7636: $? = 0 configure:7650: result: 16 configure:7667: checking size of int* configure:7672: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7672: $? = 0 configure:7672: ./conftest configure:7672: $? = 0 configure:7686: result: 8 configure:7700: checking size of fp configure:7705: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 configure:7705: $? = 0 configure:7705: ./conftest configure:7705: $? = 0 configure:7720: result: 8 configure:7734: checking for perl configure:7752: found /usr/bin/perl configure:7765: result: /usr/bin/perl configure:7792: checking for library containing sqrt configure:7823: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:7823: $? = 0 configure:7840: result: none required configure:7863: checking fenv.h usability configure:7863: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:7863: $? = 0 configure:7863: result: yes configure:7863: checking fenv.h presence configure:7863: g++ -E conftest.cpp configure:7863: $? = 0 configure:7863: result: yes configure:7863: checking for fenv.h configure:7863: result: yes configure:7863: checking ieeefp.h usability configure:7863: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp:72:20: error: ieeefp.h: No such file or directory configure:7863: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #define HAVE_FENV_H 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | #include <ieeefp.h> configure:7863: result: no configure:7863: checking ieeefp.h presence configure:7863: g++ -E conftest.cpp conftest.cpp:39:20: error: ieeefp.h: No such file or directory configure:7863: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #define HAVE_FENV_H 1 | /* end confdefs.h. */ | #include <ieeefp.h> configure:7863: result: no configure:7863: checking for ieeefp.h configure:7863: result: no configure:7873: checking if it is possible to control the FPU configure:8000: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8000: $? = 0 configure:8000: ./conftest configure:8000: $? = 0 configure:8001: result: yes configure:8048: checking whether the plain char type is signed configure:8058: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:8058: $? = 0 configure:8059: result: yes configure:8102: checking whether the C++ compiler provides proper long doubles configure:8125: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8125: $? = 0 configure:8125: ./conftest configure:8125: $? = 0 configure:8126: result: yes configure:8172: checking the binary format of C++ floats configure:8230: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8230: $? = 0 configure:8230: ./conftest configure:8230: $? = 0 configure:8243: result: IEEE754 Single Precision configure:8256: checking whether C++ provides exact output for floats configure:8358: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8358: $? = 0 configure:8358: ./conftest configure:8358: $? = 0 configure:8359: result: yes configure:8430: checking the binary format of C++ doubles configure:8498: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8498: $? = 0 configure:8498: ./conftest configure:8498: $? = 0 configure:8511: result: IEEE754 Double Precision configure:8525: checking whether C++ provides exact output for doubles configure:8630: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8630: $? = 0 configure:8630: ./conftest configure:8630: $? = 0 configure:8631: result: yes configure:8702: checking the binary format of C++ long doubles configure:8770: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8770: $? = 0 configure:8770: ./conftest configure:8770: $? = 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.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE | #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1 | #define PPL_SUPPORTED_DOUBLE 1 | /* end confdefs.h. */ | | #include <limits> | #ifdef HAVE_STDINT_H | #ifndef __STDC_LIMIT_MACROS | #define __STDC_LIMIT_MACROS 1 | #endif | #include <stdint.h> | #endif | #ifdef HAVE_INTTYPES_H | #include <inttypes.h> | #endif | | #if SIZEOF_LONG_DOUBLE == 12 | | long double | convert(uint32_t msp, uint64_t lsp) { | union { | long double value; | struct { | #ifdef WORDS_BIGENDIAN | uint32_t msp; | uint64_t lsp; | #else | uint64_t lsp; | uint32_t msp; | #endif | } parts; | } u; | | u.parts.msp = msp; | u.parts.lsp = lsp; | return u.value; | } | | int | main() { | if (std::numeric_limits<long double>::is_iec559 | && (convert(0xaaacccaaUL, 0xacccaaacccaaacccULL) | == -23475151196235330448360987288488448023604990597437922665537894499317141030270831473500040521309097782521743811281100731620612303910141158923283064807755815684643856544564541670181998003713114595098650350075763370916908460284838902787487703020001649220669684278577319085319204471093693972621987808779314674903648668236688723332999785552894845325917244897920804830290985291535343986477508649100409893486651507134071296739623686984014433965803259868867855465109457220731656260670349710137932272802677796915669809481885196101414678015638835049035133835457854893845093496950772367562664955830097293678125205138879788670490610650322134182370990336443894886171520732434535881085387893610114822547025980969387956199048733969351859470324032549906964255557877860343871346618951696178837035563054101786829980983909935265617095747543882856776297861197958453847978446679149969948882161264279705948735019353220550905117946051015070744207453853343171175921378515361160726195198161165083475968.0L | && convert(0xcccaaaccUL, 0xcaaacccaaacccaaaULL) | == -3.234349908433673569788362433758236701401379200386310478070230491201716094576208088733092209352711081763530973139439402754721006217889031902309566905344106766697050593355851405189694125966100801537593811320493850579152938679705465870788684523518541806158791408378718596936132854683425581754205242594614192465876640102628432246897674583649745467641139234207139584810101868772915312454075582265240687184279243861217351667059920878236164506473261797703393981510799228030778152399657445848839855361831637014754038570644257393307922665529947406582062857348101442206039278033447012163028384634753160589791458287895963629514043345016273218385584012204321293761500625038828699451659598873739820939586314044735551522599884065690704853850058509917597610804664086074437219778400030370474948166770867639885264893441594112815147445129222900623635467542926999246959939000796968650036727515644358583656635086409945418378371210848857160579105176395869221692977516017583375976424496977231821652434877830409470264872173686708172667000681514442371517343085468923465834742925914605731609765839631967460042791316319023971980691582832232860491668014341598553021017317450989919240909832141247027104138677882497144506317212033031539627613710631490195651235049780490963461514410018833968072513381369320107740021476622121320911875995678620145217379068502893509758814753434218746970000807381369855297087472398985134583394635298304301976743682254755898799853471470973139487587740504614698965906370516694512439128548402418825952236144896863935402725154209604537541130862513767786738372717442238281296070010302255703329785136750848608510805269562580550421695335686256291415407706167513127610045830074144232174636354465520547408627155363076530824695464544496846799567213412195115628936631295933321590908845288558910694118404555858629368018552451467994715743285452343185080572139353967831950470208768524113647528966442712608411306460439403733081312454377815407740431356862292588345515142587184008493066353603658341268923669196617183622259532802077159684815974630350730226266887950469523895272137382682818583664766982004756872470359454855421231861600855405622250180301557001727658100463825721179482988287599820459238518127671242515104954727268296043840120459189992322364113432317376499876615018647681005294400890426164141474245830847447887800872845238979407896829797297990804023745291564182356173092302630416583955274584512411637160723327887646112927503049935866004964114798241035087343318592736488780742013424329479787548324846879335440582948017481856461250014099199025874264395426269044157577172368261822794071985989844785134561848837459343219269316428175168803982908920457749528709425299296467325603578851955843550406474402944350694486492967809731047663564513772408591390180588458110788180950470244902062953534590109356800048878919144043979000989724521292698054747484439706733411566872999353418986588749568995482953622089499726327807058708520455805869817259837526415584189633013162307753166636151833127563746069733440228640737257520299330767346391011026088684503955941755171481192133779119344715318224728775697330484860348152872987113995597980243907204928634355356748752501217143216601222634344211757170284222785899530754663487291354339744025299042982320199789070467212765859078265587040664859899997109073649635056953085131587344086263213972132295294758682559609365238437544701417284297826732242650999654640698637095193178119502815643930373741504018967640638120546136857104880094633373762586018322104925768619990210092851075031033451925224377383389610824173203445111896055901190132142204139463967556738295382942065540228560332044410017389129348710403201272349054427064370609913529996988445571571382916349536222256815467149849706750571813156961918737343978667568453623162377198802996342528197935118265696537928993634621119483415202847968129550048667353312481509419740177690982818603515625e-1634L | && convert(0x00000000UL, 0x0000000000000001ULL) | == 3.645199531882474602528405933619419816399050815693563343720980487028371688633397736809560708625827205197247347347203531101966985632622032169973508075589809005483822581177931678569225263805633559756621562565983410728940319793553527268591240799954172811015518538383046054768715422449295305859718268214262622067532355460844068079259753739688226338971902813354664211957293812000216762672292032277433639030845605529795518855299212255321171163487629138462930035513852750160313284578587346566858083349053123705193988703983308587839946322501468602459466376586870456423634710242397194658860357568067134477982764219736292817751295560536845761267846647908517463250923736039512722781415953366096399444403402117053488448021977763604437908687623249034116909294550532283554604255016471048510990155249694820376175072774521597924829264164672829379224834378522148847524461653340453140898534938901079999466084995792940867082225167898092626332284133633537230365710606672711016101696986908545526816093446785575823545286456670464909287063062587561930219192839574686079732400741932670792586584247903252601714502511652018733705556477669856403061671860988301022089008752404238293812121415758527179547281628232710885994458574715033852877595426024800791719981955344151916599003503828822200355665967958771090937688409231050763744882094456320484272716122798149836361660589595209083576887254232532955229749892640550762959438241278496193819382077545905461172547961340469817691165676094261320725727312607482937653140421619686103059529199421431937449566099337396063075218302243845475341677972462038126626903408167086517545386382155008956065955410392914952623927880847159533184535486666480480563407531428385329300522477684217050951264747454635754866214784941542315111038630684391425212439304190584122374222972284606537485052464648655369719099026760518287560996997210778473066980129427427439517032390964791367678221749630975419713438139162678878555999177528450882748046538588177447270306738234898502976902853001364550405227287093940058325788585457368654991956265863050083472087623066020903378919489920975190829421602010382039477772083400661519154972695436582305021910908576692048173534958894170976763084807837402813849227540942073315401115262334876815962087441302256558438912500607230205782013083674113023497612445214795170983848687988348203289441256908755565216081815151205638893112562415329084456934095146184469290901166110634875590164835606941629407489774379792739804674764243483912084691871769225446506284310565309190872477286255925383528545036360550854226919571246361133225904820301916588317084377712259367894846411294822587075835486985645510829880528578782698412556249274522235061092454342386202327120407827540333914613192189174315884136688019435966273663470431440443032136411775605030601436837063972690330417475187330200911967500496761618122614796452937124070398703890868915527051490465736745397764941094879479649438162576614346948652085308024696358256756585794568493319042053882843808180358787110774418075478801186519577416271896383169835708225636584654568643702618602433548938163720732772538345454513065011540675765510656970500413537205370067924880209217363407323673368448004904408413977741706965494247040799786451861822188473571257556819433284087486023676249467869483631380473856486239547015603318322612783652068699798539400406637311682731115340677841660240710431551140370410375585572939303084073843540702120551963050514959945741359169911676575478403279380112020347348292538150798320452794842427526501796852911863108178276638472320237870082862271763396195139513712303136194366021540830531456910584048372546025177765140460207112923151923176402146752868221966889915381596481253160696822260723194259521813054303457222367967929268763072892355278854714278243863110783067060124459039315528176840304931522813148745824350892130595015198002557204332483215551447097512510076223364801202888087635650654634946887232727623906459076670227108634162319210357007273369354657187569046394884895083794103531835959613994575377897775525461977464747518162975010091463561925032742645594645800581600698347817023194379921397347681150492687237349021564206463096138703201250277757980410772647014391579144424375252519766764670458008515297647624144814453496069685127439800629552075692648608681506879044376428977463175175205181547958459515159074701285838493694034007662410100183533141516684185460758175066481561018901133031951042099053297118837448984443230856642737606478787880285299903521855025612413471034466624171559209077538498475106811294029060334271803320566493935024621719717684804443351866946690525266060758332190531807232565501890293754259590947433140384335366973398816899253698302119916142891631005349335372158005779944529176735887193980409288474621694590303098552382376969442365186023130985507823617670051191889015351479659778676132449671642015059540438237303922903056079068344635440276772565425944329927654906262952475555750912023879424636021462043321631428365675851865654901693474343411406220907550090045689588323936814675126103464401223728058185048320475251266882875299120582253090033177883674432343812734123922042926554908548231473285349572210962289889800994026533629321464700552029391517293055196218065667251276237490129206098414338903210942488902792253924667941082273267563528653863343443486495762400409978995985052082310730277076965242846278402568285187365588876653245423047205943478612931964211293489374119565751486787204884502307512372923973119191125614068756094526892783321688030310900558025683455451898487401139315290743477461921025987905332236299398859448938742087487316288730711068752763449392366897236258997091176996253284306687635454361862179407191652155243650619571720232128624130785404930566805029233271375546253313287446285812219961565022654510373870581648214791139170870970509074158721967633425471550515801498191107216277620692347014234913527385812164834475002007099402122991439542783981984927181300669603290190495106195784248531299740262706106798338573523977365240941293695214188675632715447081372252551022981921251125675131839210074132286029621443262127145872022404314258219255606415280218445074654034790115075558513374422753617188198385931164810182817002794172279803028202086567081267453349341345496389239379776494419022301042067986600501045466950004057134726934147691678031986698845370299987067384407310337433828116514830745374490760171672152978595040351405572526523026051215093709900567873568385242574546385008567738263951532676549294356417565797771595638496719149577804216291892125541055147173723744991756669672459021375111288754125372918394417976243093028214703329386031799313949535161343892720409046065009958980978947997662545514664194262097665297242612367968766000629174655887090824363583653843658980277566031286429628476318572915045823895805826010132712977834418613468288832988547377174550796802573148684253294172285056777826927377158058647145403557721233512002495437339413998842782599710186215723437958154275340509811072349041046483806284608873394275718878590418692809288333423522781240698974441829879303794241455852776713321354870647251094720675572322788447908778778892116234131617608416732280987493141331884927860259324392781255786150891859203497212615916404999097067778739914857961305884934678762043515521190581898256624635957830927811421154992139986999936203631149852372802564314896151749326404428772008250428569338329698161850171265411426708113723558325059062871506712838460986031147060351491506316012532538793354499545667009527573810892048004652452452139688789392912938251888341298122235232861138733903153560967292104241190946350516769769305030762386908399592555043192236069279491224465826684203312081255431851756341234566913972589390601558650830437402045595207689996159597545711808203688318112918947661662115802919578636403430323041610018063696707221249826383715263388850307418469423973486747009233945036220901518185766942733836846126816638158345048782728241251279820310193223512959111029884002230571688216854282257873218631744450950552327428952538149545262779889824399028513132208638633070602135522752076661567872472325125674291268881849101416382703647451428232847993332157180794015036365361645888146355749366150209085457189187232786399585879941680370348141105404742298452497895369287193974496140445677301271403589665822911096832952021181343571136957607816318342755770560406569920261633966403484121679869542684843686908354373688437968683525723666121485947946747887572716360800696442816474113593466106089204179554677145374582437962664618883018628687510079511252556002241788346284019750863992283906513572325918053464080643521532154825074820239077990779007069588034029619562190416747359712884084324521598678178890186409451480686781733176824920276835002477523486093586963733155424491897575495851549527034538337694314953057164019215026670773910997443279760005290641511584707193226351271670439775141076552632736166117611394934325673743882365518318561208941552931629125136799711574578916741023587251428998946963182411650554404206416336487418656105333038545773960190949602850096208569085230228708894874577523512558281973392961263921656163963369388411763476388625952406901518273413037068643383550282962237729195901788599392876651086599849223994259145259240479384380657803498058719062529007339428316229997756899857712116922758683071707472935574499244978419788171338468471751125303860911589289400806637202920429489919870263415951660888975434827304297451362325052693482001524843171229078467910537913138115458626612024970730899515114301915281613929239329351501049859225274564107846818112938339161308943153205117651716380468462296193882444293370484368530096898812778973178284912798550245246063411918482638261694029245273291646707331594675213428158755273882438357960245064051015888918541801139771619743221405037797285669481455810653320008904215997597975907391512026214020012010134707536774227636477580918167507850485197065326391091171451763751237612739498468510009055480025096015985581769370179656781151306565952590101977398335185042637681982306448413722177895665290302796223004198526079143104070007874540548221582347389579e-4951L | && convert(0x80000000UL, 0x0000000000000001ULL) | == 3.645199531882474602528405933619419816399050815693563343720980487028371688633397736809560708625827205197247347347203531101966985632622032169973508075589809005483822581177931678569225263805633559756621562565983410728940319793553527268591240799954172811015518538383046054768715422449295305859718268214262622067532355460844068079259753739688226338971902813354664211957293812000216762672292032277433639030845605529795518855299212255321171163487629138462930035513852750160313284578587346566858083349053123705193988703983308587839946322501468602459466376586870456423634710242397194658860357568067134477982764219736292817751295560536845761267846647908517463250923736039512722781415953366096399444403402117053488448021977763604437908687623249034116909294550532283554604255016471048510990155249694820376175072774521597924829264164672829379224834378522148847524461653340453140898534938901079999466084995792940867082225167898092626332284133633537230365710606672711016101696986908545526816093446785575823545286456670464909287063062587561930219192839574686079732400741932670792586584247903252601714502511652018733705556477669856403061671860988301022089008752404238293812121415758527179547281628232710885994458574715033852877595426024800791719981955344151916599003503828822200355665967958771090937688409231050763744882094456320484272716122798149836361660589595209083576887254232532955229749892640550762959438241278496193819382077545905461172547961340469817691165676094261320725727312607482937653140421619686103059529199421431937449566099337396063075218302243845475341677972462038126626903408167086517545386382155008956065955410392914952623927880847159533184535486666480480563407531428385329300522477684217050951264747454635754866214784941542315111038630684391425212439304190584122374222972284606537485052464648655369719099026760518287560996997210778473066980129427427439517032390964791367678221749630975419713438139162678878555999177528450882748046538588177447270306738234898502976902853001364550405227287093940058325788585457368654991956265863050083472087623066020903378919489920975190829421602010382039477772083400661519154972695436582305021910908576692048173534958894170976763084807837402813849227540942073315401115262334876815962087441302256558438912500607230205782013083674113023497612445214795170983848687988348203289441256908755565216081815151205638893112562415329084456934095146184469290901166110634875590164835606941629407489774379792739804674764243483912084691871769225446506284310565309190872477286255925383528545036360550854226919571246361133225904820301916588317084377712259367894846411294822587075835486985645510829880528578782698412556249274522235061092454342386202327120407827540333914613192189174315884136688019435966273663470431440443032136411775605030601436837063972690330417475187330200911967500496761618122614796452937124070398703890868915527051490465736745397764941094879479649438162576614346948652085308024696358256756585794568493319042053882843808180358787110774418075478801186519577416271896383169835708225636584654568643702618602433548938163720732772538345454513065011540675765510656970500413537205370067924880209217363407323673368448004904408413977741706965494247040799786451861822188473571257556819433284087486023676249467869483631380473856486239547015603318322612783652068699798539400406637311682731115340677841660240710431551140370410375585572939303084073843540702120551963050514959945741359169911676575478403279380112020347348292538150798320452794842427526501796852911863108178276638472320237870082862271763396195139513712303136194366021540830531456910584048372546025177765140460207112923151923176402146752868221966889915381596481253160696822260723194259521813054303457222367967929268763072892355278854714278243863110783067060124459039315528176840304931522813148745824350892130595015198002557204332483215551447097512510076223364801202888087635650654634946887232727623906459076670227108634162319210357007273369354657187569046394884895083794103531835959613994575377897775525461977464747518162975010091463561925032742645594645800581600698347817023194379921397347681150492687237349021564206463096138703201250277757980410772647014391579144424375252519766764670458008515297647624144814453496069685127439800629552075692648608681506879044376428977463175175205181547958459515159074701285838493694034007662410100183533141516684185460758175066481561018901133031951042099053297118837448984443230856642737606478787880285299903521855025612413471034466624171559209077538498475106811294029060334271803320566493935024621719717684804443351866946690525266060758332190531807232565501890293754259590947433140384335366973398816899253698302119916142891631005349335372158005779944529176735887193980409288474621694590303098552382376969442365186023130985507823617670051191889015351479659778676132449671642015059540438237303922903056079068344635440276772565425944329927654906262952475555750912023879424636021462043321631428365675851865654901693474343411406220907550090045689588323936814675126103464401223728058185048320475251266882875299120582253090033177883674432343812734123922042926554908548231473285349572210962289889800994026533629321464700552029391517293055196218065667251276237490129206098414338903210942488902792253924667941082273267563528653863343443486495762400409978995985052082310730277076965242846278402568285187365588876653245423047205943478612931964211293489374119565751486787204884502307512372923973119191125614068756094526892783321688030310900558025683455451898487401139315290743477461921025987905332236299398859448938742087487316288730711068752763449392366897236258997091176996253284306687635454361862179407191652155243650619571720232128624130785404930566805029233271375546253313287446285812219961565022654510373870581648214791139170870970509074158721967633425471550515801498191107216277620692347014234913527385812164834475002007099402122991439542783981984927181300669603290190495106195784248531299740262706106798338573523977365240941293695214188675632715447081372252551022981921251125675131839210074132286029621443262127145872022404314258219255606415280218445074654034790115075558513374422753617188198385931164810182817002794172279803028202086567081267453349341345496389239379776494419022301042067986600501045466950004057134726934147691678031986698845370299987067384407310337433828116514830745374490760171672152978595040351405572526523026051215093709900567873568385242574546385008567738263951532676549294356417565797771595638496719149577804216291892125541055147173723744991756669672459021375111288754125372918394417976243093028214703329386031799313949535161343892720409046065009958980978947997662545514664194262097665297242612367968766000629174655887090824363583653843658980277566031286429628476318572915045823895805826010132712977834418613468288832988547377174550796802573148684253294172285056777826927377158058647145403557721233512002495437339413998842782599710186215723437958154275340509811072349041046483806284608873394275718878590418692809288333423522781240698974441829879303794241455852776713321354870647251094720675572322788447908778778892116234131617608416732280987493141331884927860259324392781255786150891859203497212615916404999097067778739914857961305884934678762043515521190581898256624635957830927811421154992139986999936203631149852372802564314896151749326404428772008250428569338329698161850171265411426708113723558325059062871506712838460986031147060351491506316012532538793354499545667009527573810892048004652452452139688789392912938251888341298122235232861138733903153560967292104241190946350516769769305030762386908399592555043192236069279491224465826684203312081255431851756341234566913972589390601558650830437402045595207689996159597545711808203688318112918947661662115802919578636403430323041610018063696707221249826383715263388850307418469423973486747009233945036220901518185766942733836846126816638158345048782728241251279820310193223512959111029884002230571688216854282257873218631744450950552327428952538149545262779889824399028513132208638633070602135522752076661567872472325125674291268881849101416382703647451428232847993332157180794015036365361645888146355749366150209085457189187232786399585879941680370348141105404742298452497895369287193974496140445677301271403589665822911096832952021181343571136957607816318342755770560406569920261633966403484121679869542684843686908354373688437968683525723666121485947946747887572716360800696442816474113593466106089204179554677145374582437962664618883018628687510079511252556002241788346284019750863992283906513572325918053464080643521532154825074820239077990779007069588034029619562190416747359712884084324521598678178890186409451480686781733176824920276835002477523486093586963733155424491897575495851549527034538337694314953057164019215026670773910997443279760005290641511584707193226351271670439775141076552632736166117611394934325673743882365518318561208941552931629125136799711574578916741023587251428998946963182411650554404206416336487418656105333038545773960190949602850096208569085230228708894874577523512558281973392961263921656163963369388411763476388625952406901518273413037068643383550282962237729195901788599392876651086599849223994259145259240479384380657803498058719062529007339428316229997756899857712116922758683071707472935574499244978419788171338468471751125303860911589289400806637202920429489919870263415951660888975434827304297451362325052693482001524843171229078467910537913138115458626612024970730899515114301915281613929239329351501049859225274564107846818112938339161308943153205117651716380468462296193882444293370484368530096898812778973178284912798550245246063411918482638261694029245273291646707331594675213428158755273882438357960245064051015888918541801139771619743221405037797285669481455810653320008904215997597975907391512026214020012010134707536774227636477580918167507850485197065326391091171451763751237612739498468510009055480025096015985581769370179656781151306565952590101977398335185042637681982306448413722177895665290302796223004198526079143104070007874540548221582347389579e-4951L)) | return 0; | else | return 1; | } | | #else // SIZEOF_LONG_DOUBLE != 12 | | int | main() { | return 1; | } | | #endif // SIZEOF_LONG_DOUBLE != 12 | configure:8863: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8863: $? = 0 configure:8863: ./conftest configure:8863: $? = 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.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE | #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1 | #define PPL_SUPPORTED_DOUBLE 1 | /* end confdefs.h. */ | | #include <limits> | #ifdef HAVE_STDINT_H | #ifndef __STDC_LIMIT_MACROS | #define __STDC_LIMIT_MACROS 1 | #endif | #include <stdint.h> | #endif | #ifdef HAVE_INTTYPES_H | #include <inttypes.h> | #endif | | #if SIZEOF_LONG_DOUBLE == 16 | | #if defined(__sparc__) && defined(__arch64__) && (__GNUC__ < 4 || (__GNUC__ == 4 && __GNUC_MINOR__ < 4)) | | // Work around http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37661 | int | main() { | return 1; | } | | #else // !defined(__sparc__) || !defined(__arch64__) ... | | long double | convert(uint64_t msp, uint64_t lsp) { | union { | long double value; | struct { | #ifdef WORDS_BIGENDIAN | uint64_t msp; | uint64_t lsp; | #else | uint64_t lsp; | uint64_t msp; | #endif | } parts; | } u; | | u.parts.msp = msp; | u.parts.lsp = lsp; | return u.value; | } | | int | main() { | if (std::numeric_limits<long double>::is_iec559 | && (convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL) | == -8.55855653885100434741341853993902633367349104766375354667159377718342093894815477326286823233135691805519944470138219932524951165689852082013017904043605683486724317550972746307400400204571080045247416605879743573136814766221652651396476675668866980798618379071105211750397249729982891787041148520384572930274879267722158826932337019191713973025403784448443813348692062209940856126724493492803365972504505177354875652033856070760087261648660638833868952644144747756799606849182265604546917705495630867683634260396102823982577953799017062698102242357552179655099799114234932578035799185560231199083485854936098752376968393647581458407558794412029383325763638562788717260040049064497131924995762524305159587498016677454321953274959044696323291625045478494472581264819229447771276640446297211105522340278216491094195598543872903469867733674572559977106495016037365144714092305087690135013719347274733034998868445412589677425060095799279101903473205374412225289846468374532481297065712317082077938035156602646698351182648104255704218634101302925067087078955133405900007044267209898310644310904503791609310204530573463263951434586894153990739119187567218316060343579381319744970284036645819031296341711196622764674251739340075981861518157380656135644972541894187627902651874054588734732906342927804126694032667794810086817870907476586539935233288396561987441453006798066121939082312783518917156845604116991071351557087417820814737448930366014934139649936714605919733198611573267554373841805458030152706709963798138766665437195696286204333504023648063774567253657433115103351104190986192714072985487851579415615609526545777708652951405409847708647802254957197551148967040887700676749608935220270768342493900689974647088468653016844028721111482484905641458435567969469008688175230469940968306817582881926746422674891155765989419578280531847369896579997902056370886853884911608932917273377526774091310024267948445090595150848945937264274298230316059283748541372546998570685254364147022857127106166375807928861080771495427281772909457414476961102929683460150380091022216902985688084496718499522925736236100966839490544989265028487132166444183820209811985298620037327410566483546092567386575203772065259924817078378553423445114795887961447486917127608105936488957460696218995227900239169698156532097505472359601263421630872600694896078087993492528322817946497772710008837719609909497752428441503174822795185219988589528998338631725113908025553153842511443825016809012668839505492083731555461826355018782953670089090573806418379608917728933789667567839232807208925449602517595541397929042673972541764273293287457694772131268012143158809453627483947788463130353101911401667613659585055576869155534998835800762122080588150495103765874874613454517177121048246498282285280904742153700877576028449241385429235777250684782328183787286276152331338688335510090441008799792147837436640030059474106105829612076012626498555138419516242851436828131901668517305064107076254421670883938440896580435257206350630093337919967881954501164988008085285088049681541452106188312639266136685237513628484410146475880276899689323468288129178652504797093820419402611691354199968499448738482587415636727937353639264845197813295922091561637504736126720760129127710879063043647425297778439069116811334073539456451043564046959839163407469915211595468718792531664679340442279513006653831781499155674396529973036072198720572542914738630057353297633085013244779323578115668031532144051510758240504037804690564298890171218568053886450388507561335540224075309922339483204122333658701871584147135738144358394867585372134490396264937274938848938884293776466212293402264641368524174512841804801230279990820989956713963566987970818315606031084417487965298373510594915942429581446481759482857537804431542098380533075194397625795605337047384493682506827547173206735463795863376044170821429161475172513429888642402089329334654087406739184258619435041737233405001461505889892578125e-1644L | && convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL) | == -124514581107511552210796456934966803687304842980295573828954497922493752983397188814711304411560018580965744046315133789985274208017368151964100284400784216106649187287727268989948309893335776137201236307422254490384994342132786695251856340822607539332337741185911979986209464222776112117543477310592395735321641016191765613924234896253051931334188353106422231052895112533426462965071195000083346118845388851222468275853899619767858364593491745895616655921022591572983370616010095670881627966440183912948095715866505356803258659518882310562527709556367822539262111581385341941163873435919341717170180065638145777392282815973491833042960716493005101610346003273833563515742996380936304245423639950200211170835546053201980835724318930743625600269679260909350277600256315069013053332133830043213033329696436217829598890872375814523266366034383531514035947792389939922899745714167418517458817088636450662300503353562047987996978943856662174717195437379600755109302771921946748859230686543872.0L | && convert(0x0000000000000000ULL, 0x0000000000000001ULL) | == 6.475175119438025110924438958227646552499569338034681009689884389197039540124119371017671491276649940255878141476848119676587219886382542046685110071972617983042792710751334934416734625638471740239448526505553990391455556252171148068070822034688256982476272828789103028357337561348031062386564592639826226991907907867663262065711211583064657196068308332845234453069760526489447660964579313751403402631804350039948870075255648713368066117879403155766713303467434937062409411685215137607333139422843835051668983567167196802642952353504079714347103860537782893700215521168667711042950610021881513627986429461700433339201935397498825184335385514892844339930852967838448682125502304114122153045946465463084764110174478737044335312389661483639210553943411476544786261397875064191451226767614625892790369961415069606980007080502788648919975916801878222002252381723047230971876570995428821219281596547633023538783137183646396952831530551068683419596735374086746290525867996216905323365319885172609956827625511036332478353228947631880050684559150608318986521540136061273771493390412784756552103897518527764158778759333880714882279633323826397312375406927039446525306447838514371503654987855172306307584155459826707095909617752526800401326990828721633726770440915439092677906646798573524199116648264206920451160133635071361773812121716528178148240720783226736549623736135274990309138143183248371959875978805027500928693808073336955752759088442865600075199888998323880643549670055505421362435108572732087322982027187772459231228989472372951864321099261878781084330252988333921362998963303722431059741968763452406953835015120533773385289904710843628402700274702870474073825248828889984994284607604847211794221210729913159829014217168004461049532662696542913183628157199561641949923936629368992856621383084545327636972265542355341749855663020004887316835216156767223053799811067258913808469994232607858854524064432145775922144535701236468985705212977045479489515690009388923625580685788707605877343857669170894656797423368490329407251160393356048820607085089069025413584269816739747211239513550414383117508826763143512862006497058041145296097892917999935577053234252698691933792724753682184537682835562829938630004838384363944243137622864918257474256280127291116965050600178120477720784742184205376195975831677721764740044536624645764471381571452381830125398765152083287483110279394697855915713981939970684599199594863007230624076786139617554631450734995190081932187616814234632738778224433256463738346435274905710925581106061273840975592931761266799265587765468946764337085192369358316298457450008809428586921504743730873895710474614480003727146162349858333291516552162545370312200390841588309480973274631646273597390249477746657131891196482398670118797910098918899689482196956660638225731960693542763964302308999692957091061300183648329785182793301407267200046383043005236759977387601407769110383295729918654520937785586390633157020347632812108728638589813282569529576769367173324764085285705308312954957401558247168739931446569422818723482471097374362105279278558570746278168331596903799527959001674856155564619821407044799720020620642233246057848236476047540762849788325435630592420194490443539428990899488655890183886788650518595542180257939200539645041808387760238189562428351774632440622618056913137499820021924733173668036806485733443567039613866037176155955253827548473360440517049422696075501183292573063250613021167503858561082238374439193413231472608072888733326512853287806773389073299297372760244397355791502004654458118728037510329034120643030182346716011974996719598934277635297762958837247389366909763367493682299430362668996193935405226221180280462691353912282455701759810037116439968883639596108926413528826200502511551071661541071241892319070812994269518086385295992381025957172992399312141414210235547707008555590049509294048331178258885645254295737834927590332773105843826797756540039810295021699037788228205072146738094320261980823252096852875670591366194556595549470362090317233349128160475626293246538430039226463877253517855062981890058712415866578727694362877805078594115939049922697215689139042884475829798201399221843339843144334329750976265054375898637087619406776357862341599539585772173362569929723217313856218610739079911693928395573354107695207924389443047735986097057117102761647398583746704066222192489628491579241861512228457942727677656217068060304063431859444999092873095546808035894071193872676924207893595051334067870866978585241063298399448801664979503576258730853137762656715932674584878408765074348715350808211160488037567370082449596914044378631384351574514574407266268601518418121140639017772950755439822352142605465639756330937185434812776437455170052704254873689525989445652781559474644227537684964321625946200647347726100468875445797592291192363724641100602571723960104389727561487616213893880158699261565353860394268412519478250755882121502350855777548987354957187611364644347783460623918569790357712078708030071729862147204119062003145783057657964335620490686654777775857772417230654005669380137272188650104502859563282535642734533430567287319498304528915876638370296607209654727246810120749147011579846007686876872348978767610197018167444101532656500699586407674404325249380187066956228877621206281130141035339929259895087216809976356039304176324615051223863642132987493989282096132023719628675179659793099441124234181354583082636306115430335248256636595542753063577946177399294336318459611754831189657065079679934928129113295189411660749306226747061753316760480290760846421347557553607185254462514991634789163215592554565288625021429064594217444034435094635489801294636044217141894128608560200837942901104014713783039046587228833888032709513732700101667002833885010142407620233438106861087062055906874872893491133678484259720820886397724438939944326449942516696628683510030426237257765426269532595248183289611602373952305073827029425838481007443361481172033664199893614932623554378101313353925699162767581809444174957293532641034112367163940472496454826645496608268491435975330754792022473413254641635309131365360013914909519963236046952897089347016136738984133133790874101143168691022141918967797877476450100585067348766183224990814253610763592974731784263832853675045343246533254966131311531411068478710429786791811404658680805588105768518292098129259164151153126615341498379324353953450723874092401152015787628879390603785057522375088322779364007018433582543673090990833352296302290390165336647355242365982903670648563727239283547241202029021901993493453231407543942533374303128855544718854681133818703717309615999563617026069360208156393214924333856037726771259857931298487909006782987195926835910537279213582905667384935745871483880724959685377284455451325009389359115356341859747548302075715614439876712304113995679250907454883895302396632381653230532032695481751231940062856024456656381220713413431325444483757534262449339675147214243079144598658808202548926312120596697863356554722348114194969409174072455372221354826189882023922524876054935905929454258925505387898039528329076689551108932342856243697999637938228068665595345855978215420274558562368590236467711884770512666328306756286559348574636272916414332349992225277379071952095234443041820054854970323931404077610323730988914889188356127533914074856107086479831584739755622106834971368997334246432264012757261628954213626177797127289818357558926591911175376134554737367672941224416966599144520688033032388494464597481600684233179969688713377153969107014820586500187890028419759966629125896903859724482018551567368459339437282027473163713630554370146518281068049701849575089743432349308849281456182745027011845653626290780738299181305772482001250991761047543344790454625943156085044661103576512523366161351099640751135385148305913987889008698009234370941891346098306437937661227172386506980636903743541285235605780167216008920828610842066522096589500420940606405692664109905063234866117077516308694175709123219476283230290207497555159467149979347020209673500496651023554475005053991295374430728524771212435107382664318842703197811901075027036703041419315229156263279708865064004473392401710817533040210152757966691416471836361498546249180866049039738294265863864925406135752428537159880132061042828090772733103561437021070938835520484987564784902357826645006185384847299711513042558913116550679842981785737713725790045128094411676264858573201529073678073396387519268373798582548263868592119666097381189255247190641352195443081432945981901223716745712543744847146503012460085216148335807619624528396069010370871981642712755932969484501155184487454597846375782598809708096893645439856478634508146859065978179351007580744928974114529788215226484601824974140107352758776378993800008479463640459773788106039221647527915619638375897279653946867057366337834721265500081035695372958187077367633848426351345959537644131255393886949828040966112768013745671476622221973172299021322723830684345054818157484501760113734299662298242039459694484074671808880126261963999301400833575366587220239180443885948634911432672454909578479586976064598126633177835011824812040440090529736915436564330317784343260941419199007994565556336195654994767768391641843167291242587882400091208124348669996343070061026732554587428779976439512259161737036335847682346728539549778493388870528102969822923976454022477322075204905420377823800876540724560782242540043358494305758648390071388556142954991440895026034342297754624387472732697423260211014731729196139172514053952591428247887383243344755389104496037975360677224765591211970382212225942797592005272680787386239303946689423293709148965999400795905073756697025967564396661027489606337872152854151887574400979150870295978066773059913103141338094206140446153595784659696116999451265627049162745281492831846033865707908304944975732574637090102130752860241496159897720566523711477673910492376257245019657271734451417565932034846341070093018262777507790026122302775680179025723685230883459924631462602175535978001836273235741164283034661871238537285831967107455175175353583907073921428e-4966L | && convert(0x8000000000000000ULL, 0x0000000000000001ULL) | == -6.475175119438025110924438958227646552499569338034681009689884389197039540124119371017671491276649940255878141476848119676587219886382542046685110071972617983042792710751334934416734625638471740239448526505553990391455556252171148068070822034688256982476272828789103028357337561348031062386564592639826226991907907867663262065711211583064657196068308332845234453069760526489447660964579313751403402631804350039948870075255648713368066117879403155766713303467434937062409411685215137607333139422843835051668983567167196802642952353504079714347103860537782893700215521168667711042950610021881513627986429461700433339201935397498825184335385514892844339930852967838448682125502304114122153045946465463084764110174478737044335312389661483639210553943411476544786261397875064191451226767614625892790369961415069606980007080502788648919975916801878222002252381723047230971876570995428821219281596547633023538783137183646396952831530551068683419596735374086746290525867996216905323365319885172609956827625511036332478353228947631880050684559150608318986521540136061273771493390412784756552103897518527764158778759333880714882279633323826397312375406927039446525306447838514371503654987855172306307584155459826707095909617752526800401326990828721633726770440915439092677906646798573524199116648264206920451160133635071361773812121716528178148240720783226736549623736135274990309138143183248371959875978805027500928693808073336955752759088442865600075199888998323880643549670055505421362435108572732087322982027187772459231228989472372951864321099261878781084330252988333921362998963303722431059741968763452406953835015120533773385289904710843628402700274702870474073825248828889984994284607604847211794221210729913159829014217168004461049532662696542913183628157199561641949923936629368992856621383084545327636972265542355341749855663020004887316835216156767223053799811067258913808469994232607858854524064432145775922144535701236468985705212977045479489515690009388923625580685788707605877343857669170894656797423368490329407251160393356048820607085089069025413584269816739747211239513550414383117508826763143512862006497058041145296097892917999935577053234252698691933792724753682184537682835562829938630004838384363944243137622864918257474256280127291116965050600178120477720784742184205376195975831677721764740044536624645764471381571452381830125398765152083287483110279394697855915713981939970684599199594863007230624076786139617554631450734995190081932187616814234632738778224433256463738346435274905710925581106061273840975592931761266799265587765468946764337085192369358316298457450008809428586921504743730873895710474614480003727146162349858333291516552162545370312200390841588309480973274631646273597390249477746657131891196482398670118797910098918899689482196956660638225731960693542763964302308999692957091061300183648329785182793301407267200046383043005236759977387601407769110383295729918654520937785586390633157020347632812108728638589813282569529576769367173324764085285705308312954957401558247168739931446569422818723482471097374362105279278558570746278168331596903799527959001674856155564619821407044799720020620642233246057848236476047540762849788325435630592420194490443539428990899488655890183886788650518595542180257939200539645041808387760238189562428351774632440622618056913137499820021924733173668036806485733443567039613866037176155955253827548473360440517049422696075501183292573063250613021167503858561082238374439193413231472608072888733326512853287806773389073299297372760244397355791502004654458118728037510329034120643030182346716011974996719598934277635297762958837247389366909763367493682299430362668996193935405226221180280462691353912282455701759810037116439968883639596108926413528826200502511551071661541071241892319070812994269518086385295992381025957172992399312141414210235547707008555590049509294048331178258885645254295737834927590332773105843826797756540039810295021699037788228205072146738094320261980823252096852875670591366194556595549470362090317233349128160475626293246538430039226463877253517855062981890058712415866578727694362877805078594115939049922697215689139042884475829798201399221843339843144334329750976265054375898637087619406776357862341599539585772173362569929723217313856218610739079911693928395573354107695207924389443047735986097057117102761647398583746704066222192489628491579241861512228457942727677656217068060304063431859444999092873095546808035894071193872676924207893595051334067870866978585241063298399448801664979503576258730853137762656715932674584878408765074348715350808211160488037567370082449596914044378631384351574514574407266268601518418121140639017772950755439822352142605465639756330937185434812776437455170052704254873689525989445652781559474644227537684964321625946200647347726100468875445797592291192363724641100602571723960104389727561487616213893880158699261565353860394268412519478250755882121502350855777548987354957187611364644347783460623918569790357712078708030071729862147204119062003145783057657964335620490686654777775857772417230654005669380137272188650104502859563282535642734533430567287319498304528915876638370296607209654727246810120749147011579846007686876872348978767610197018167444101532656500699586407674404325249380187066956228877621206281130141035339929259895087216809976356039304176324615051223863642132987493989282096132023719628675179659793099441124234181354583082636306115430335248256636595542753063577946177399294336318459611754831189657065079679934928129113295189411660749306226747061753316760480290760846421347557553607185254462514991634789163215592554565288625021429064594217444034435094635489801294636044217141894128608560200837942901104014713783039046587228833888032709513732700101667002833885010142407620233438106861087062055906874872893491133678484259720820886397724438939944326449942516696628683510030426237257765426269532595248183289611602373952305073827029425838481007443361481172033664199893614932623554378101313353925699162767581809444174957293532641034112367163940472496454826645496608268491435975330754792022473413254641635309131365360013914909519963236046952897089347016136738984133133790874101143168691022141918967797877476450100585067348766183224990814253610763592974731784263832853675045343246533254966131311531411068478710429786791811404658680805588105768518292098129259164151153126615341498379324353953450723874092401152015787628879390603785057522375088322779364007018433582543673090990833352296302290390165336647355242365982903670648563727239283547241202029021901993493453231407543942533374303128855544718854681133818703717309615999563617026069360208156393214924333856037726771259857931298487909006782987195926835910537279213582905667384935745871483880724959685377284455451325009389359115356341859747548302075715614439876712304113995679250907454883895302396632381653230532032695481751231940062856024456656381220713413431325444483757534262449339675147214243079144598658808202548926312120596697863356554722348114194969409174072455372221354826189882023922524876054935905929454258925505387898039528329076689551108932342856243697999637938228068665595345855978215420274558562368590236467711884770512666328306756286559348574636272916414332349992225277379071952095234443041820054854970323931404077610323730988914889188356127533914074856107086479831584739755622106834971368997334246432264012757261628954213626177797127289818357558926591911175376134554737367672941224416966599144520688033032388494464597481600684233179969688713377153969107014820586500187890028419759966629125896903859724482018551567368459339437282027473163713630554370146518281068049701849575089743432349308849281456182745027011845653626290780738299181305772482001250991761047543344790454625943156085044661103576512523366161351099640751135385148305913987889008698009234370941891346098306437937661227172386506980636903743541285235605780167216008920828610842066522096589500420940606405692664109905063234866117077516308694175709123219476283230290207497555159467149979347020209673500496651023554475005053991295374430728524771212435107382664318842703197811901075027036703041419315229156263279708865064004473392401710817533040210152757966691416471836361498546249180866049039738294265863864925406135752428537159880132061042828090772733103561437021070938835520484987564784902357826645006185384847299711513042558913116550679842981785737713725790045128094411676264858573201529073678073396387519268373798582548263868592119666097381189255247190641352195443081432945981901223716745712543744847146503012460085216148335807619624528396069010370871981642712755932969484501155184487454597846375782598809708096893645439856478634508146859065978179351007580744928974114529788215226484601824974140107352758776378993800008479463640459773788106039221647527915619638375897279653946867057366337834721265500081035695372958187077367633848426351345959537644131255393886949828040966112768013745671476622221973172299021322723830684345054818157484501760113734299662298242039459694484074671808880126261963999301400833575366587220239180443885948634911432672454909578479586976064598126633177835011824812040440090529736915436564330317784343260941419199007994565556336195654994767768391641843167291242587882400091208124348669996343070061026732554587428779976439512259161737036335847682346728539549778493388870528102969822923976454022477322075204905420377823800876540724560782242540043358494305758648390071388556142954991440895026034342297754624387472732697423260211014731729196139172514053952591428247887383243344755389104496037975360677224765591211970382212225942797592005272680787386239303946689423293709148965999400795905073756697025967564396661027489606337872152854151887574400979150870295978066773059913103141338094206140446153595784659696116999451265627049162745281492831846033865707908304944975732574637090102130752860241496159897720566523711477673910492376257245019657271734451417565932034846341070093018262777507790026122302775680179025723685230883459924631462602175535978001836273235741164283034661871238537285831967107455175175353583907073921428e-4966L)) | return 0; | else | return 1; | } | | #endif // !defined(__sparc__) || !defined(__arch64__) ... | | #else // SIZEOF_LONG_DOUBLE != 16 | | int | main() { | return 1; | } | | #endif // SIZEOF_LONG_DOUBLE != 16 | configure:8944: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:8944: $? = 0 configure:8944: ./conftest configure:8944: $? = 0 configure:9039: result: Intel Double-Extended configure:9053: checking whether C++ provides exact output for long doubles configure:9271: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:9271: $? = 0 configure:9271: ./conftest configure:9271: $? = 0 configure:9272: result: yes configure:9358: checking whether the C++ compiler supports zero-length arrays configure:9468: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:9468: $? = 0 configure:9468: ./conftest configure:9468: $? = 0 configure:9469: result: yes configure:9515: checking whether the IEEE inexact flag is supported in C++ configure:9607: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:9607: $? = 0 configure:9607: ./conftest configure:9607: $? = 0 configure:9608: result: yes configure:9654: checking whether the C++ compiler supports __attribute__ ((weak)) configure:9667: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9667: $? = 0 configure:9668: result: yes configure:9704: checking for fenv.h configure:9704: result: yes configure:9704: checking for ieeefp.h configure:9704: result: no configure:9704: checking getopt.h usability configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking getopt.h presence configure:9704: g++ -E conftest.cpp configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking for getopt.h configure:9704: result: yes configure:9704: checking signal.h usability configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking signal.h presence configure:9704: g++ -E conftest.cpp configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking for signal.h configure:9704: result: yes configure:9704: checking for string.h configure:9704: result: yes configure:9704: checking for strings.h configure:9704: result: yes configure:9704: checking sys/resource.h usability configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking sys/resource.h presence configure:9704: g++ -E conftest.cpp configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking for sys/resource.h configure:9704: result: yes configure:9704: checking sys/time.h usability configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking sys/time.h presence configure:9704: g++ -E conftest.cpp configure:9704: $? = 0 configure:9704: result: yes configure:9704: checking for sys/time.h configure:9704: result: yes configure:9704: checking for sys/types.h configure:9704: result: yes configure:9704: checking for unistd.h configure:9704: result: yes configure:9716: checking whether ffs is declared configure:9716: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9716: $? = 0 configure:9716: result: yes configure:9734: checking whether getenv is declared configure:9734: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9734: $? = 0 configure:9734: result: yes configure:9745: checking whether strtof is declared configure:9745: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9745: $? = 0 configure:9745: result: yes configure:9756: checking whether strtod is declared configure:9756: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9756: $? = 0 configure:9756: result: yes configure:9767: checking whether strtold is declared configure:9767: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9767: $? = 0 configure:9767: result: yes configure:9778: checking whether strtoll is declared configure:9778: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9778: $? = 0 configure:9778: result: yes configure:9789: checking whether strtoull is declared configure:9789: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9789: $? = 0 configure:9789: result: yes configure:9801: checking whether fma is declared configure:9801: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9801: $? = 0 configure:9801: result: yes configure:9812: checking whether fmaf is declared configure:9812: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9812: $? = 0 configure:9812: result: yes configure:9823: checking whether fmal is declared configure:9823: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9823: $? = 0 configure:9823: result: yes configure:9834: checking whether rintf is declared configure:9834: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9834: $? = 0 configure:9834: result: yes configure:9845: checking whether rintl is declared configure:9845: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9845: $? = 0 configure:9845: result: yes configure:9859: checking for int_fast16_t configure:9859: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9859: $? = 0 configure:9859: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:111: error: expected primary-expression before ')' token configure:9859: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((int_fast16_t))) | return 0; | ; | return 0; | } configure:9859: result: yes configure:9868: checking for int_fast32_t configure:9868: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9868: $? = 0 configure:9868: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:112: error: expected primary-expression before ')' token configure:9868: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((int_fast32_t))) | return 0; | ; | return 0; | } configure:9868: result: yes configure:9877: checking for int_fast64_t configure:9877: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9877: $? = 0 configure:9877: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:113: error: expected primary-expression before ')' token configure:9877: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((int_fast64_t))) | return 0; | ; | return 0; | } configure:9877: result: yes configure:9886: checking for uint_fast16_t configure:9886: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9886: $? = 0 configure:9886: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:114: error: expected primary-expression before ')' token configure:9886: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((uint_fast16_t))) | return 0; | ; | return 0; | } configure:9886: result: yes configure:9895: checking for uint_fast32_t configure:9895: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9895: $? = 0 configure:9895: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:115: error: expected primary-expression before ')' token configure:9895: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((uint_fast32_t))) | return 0; | ; | return 0; | } configure:9895: result: yes configure:9904: checking for uint_fast64_t configure:9904: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9904: $? = 0 configure:9904: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:116: error: expected primary-expression before ')' token configure:9904: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((uint_fast64_t))) | return 0; | ; | return 0; | } configure:9904: result: yes configure:9918: checking for uintptr_t configure:9918: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:9918: $? = 0 configure:9918: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:117: error: expected primary-expression before ')' token configure:9918: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | /* 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:9918: result: yes configure:10038: checking for the GMP library version 4.1.3 or above configure:10127: g++ -o conftest -g -O2 -frounding-math -I/usr/local//include conftest.cpp -L/usr/local//lib -lgmpxx -lgmp >&5 configure:10127: $? = 0 configure:10127: ./conftest configure:10127: $? = 0 configure:10128: result: yes configure:10150: checking size of mp_limb_t configure:10155: g++ -o conftest -g -O2 -frounding-math -I/usr/local//include conftest.cpp -L/usr/local//lib -lgmpxx -lgmp >&5 configure:10155: $? = 0 configure:10155: ./conftest configure:10155: $? = 0 configure:10170: result: 8 configure:10181: checking whether GMP has been compiled with support for exceptions configure:10221: g++ -o conftest -g -O2 -frounding-math -I/usr/local//include conftest.cpp -L/usr/local//lib -lgmpxx -lgmp >&5 configure:10221: $? = 0 configure:10221: ./conftest configure:10221: $? = 0 configure:10222: result: yes configure:10283: checking for __mpz_struct._mp_alloc configure:10283: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:10283: $? = 0 configure:10283: result: yes configure:10295: checking for __mpz_struct._mp_size configure:10295: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:10295: $? = 0 configure:10295: result: yes configure:10307: checking for __mpz_struct._mp_d configure:10307: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:10307: $? = 0 configure:10307: result: yes configure:10334: checking whether to build the ppl_lcdd program configure:10343: result: yes configure:10365: checking whether to build the ppl_lpsol program configure:10374: result: yes configure:10396: checking whether to build the ppl_pips program configure:10405: result: yes configure:10427: checking whether to build the PPL documentation configure:10436: result: yes configure:10466: checking which interfaces are enabled configure:10524: result: cxx c ocaml java configure:10646: checking for javac configure:10664: found /usr/lib/jvm/java/bin/javac configure:10676: result: /usr/lib/jvm/java/bin/javac configure:10692: checking whether /usr/lib/jvm/java/bin/javac supports enums configure:10718: /usr/lib/jvm/java/bin/javac Test.java Exception in thread "main" java.lang.NoClassDefFoundError: org/eclipse/jdt/internal/compiler/batch/Main Caused by: java.lang.ClassNotFoundException: org.eclipse.jdt.internal.compiler.batch.Main at java.net.URLClassLoader$1.run(URLClassLoader.java:217) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:205) at java.lang.ClassLoader.loadClass(ClassLoader.java:321) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294) at java.lang.ClassLoader.loadClass(ClassLoader.java:266) Could not find the main class: org.eclipse.jdt.internal.compiler.batch.Main. Program will exit. configure:10721: $? = 1 configure: failed program was: /* #line 10701 "configure" */ public class Test { public enum Relation_Symbol { /*! Less than. */ LESS_THAN, /*! Less than or equal to. */ LESS_OR_EQUAL, /*! Equal to. */ EQUAL, /*! Greater than or equal to. */ GREATER_OR_EQUAL, /*! Greater than. */ GREATER_THAN, } } configure:10733: result: no configure:10788: checking for java configure:10806: found /usr/lib/jvm/java/bin/java configure:10818: result: /usr/lib/jvm/java/bin/java configure:10836: checking for uudecode configure:10866: result: no configure:11050: checking if /usr/lib/jvm/java/bin/java works configure:11068: /usr/lib/jvm/java/bin/javac Test.java Exception in thread "main" java.lang.NoClassDefFoundError: org/eclipse/jdt/internal/compiler/batch/Main Caused by: java.lang.ClassNotFoundException: org.eclipse.jdt.internal.compiler.batch.Main at java.net.URLClassLoader$1.run(URLClassLoader.java:217) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:205) at java.lang.ClassLoader.loadClass(ClassLoader.java:321) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294) at java.lang.ClassLoader.loadClass(ClassLoader.java:266) Could not find the main class: org.eclipse.jdt.internal.compiler.batch.Main. Program will exit. configure:11071: $? = 1 configure: failed program was: /* [#]line 11060 "configure" */ public class Test { public static void main (String args[]) { System.exit (0); } } configure:11077: WARNING: The Java compiler /usr/lib/jvm/java/bin/javac failed (see config.log, check the CLASSPATH?) configure:11103: result: skipping configure:11159: checking for jar configure:11177: found /usr/lib/jvm/java/bin/jar configure:11189: result: /usr/lib/jvm/java/bin/jar configure:11259: checking for javah configure:11277: found /usr/lib/jvm/java/bin/javah configure:11289: result: /usr/lib/jvm/java/bin/javah configure:11308: g++ -E conftest.cpp configure:11308: $? = 0 configure:11350: checking whether jlong can contain data pointers configure:11370: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:11370: $? = 0 configure:11370: ./conftest configure:11370: $? = 0 configure:11372: result: yes configure:11471: checking for ocamlc configure:11501: result: no configure:11899: checking for ocamldep configure:11929: result: no configure:11993: checking for ocamlmktop configure:12023: result: no configure:12087: checking for ocamlmklib configure:12117: result: no configure:12181: checking for ocamldoc configure:12211: result: no configure:12275: checking for ocamlbuild configure:12305: result: no configure:13294: checking for GNU M4 that supports accurate traces configure:13333: result: /usr/bin/m4 configure:13336: checking how m4 supports trace files configure:13346: result: --error-output configure:13431: checking which instantiations are enabled configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13481: g++ -c -g -O2 -frounding-math -I.. -I/usr/local//include conftest.cpp >&5 configure:13481: $? = 0 configure:13519: 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:13525: checking whether tests should be run under Valgrind configure:13581: result: no configure:13599: checking whether `make check' does a thorough or quick check configure:13612: result: quick configure:13676: checking how to print strings configure:13703: result: printf configure:13724: checking for a sed that does not truncate output configure:13788: result: /bin/sed configure:13836: checking for ld used by gcc configure:13903: result: /usr/bin/ld configure:13910: checking if the linker (/usr/bin/ld) is GNU ld configure:13925: result: yes configure:13937: checking for BSD- or MS-compatible name lister (nm) configure:13986: result: /usr/bin/nm -B configure:14116: checking the name lister (/usr/bin/nm -B) interface configure:14123: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:14126: /usr/bin/nm -B "conftest.o" configure:14129: output 0000000000000000 B some_variable configure:14136: result: BSD nm configure:14139: checking whether ln -s works configure:14143: result: yes configure:14151: checking the maximum length of command line arguments configure:14281: result: 98304 configure:14298: checking whether the shell understands some XSI constructs configure:14308: result: yes configure:14312: checking whether the shell understands "+=" configure:14318: result: yes configure:14353: checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format configure:14393: result: func_convert_file_noop configure:14400: checking how to convert x86_64-unknown-linux-gnu file names to toolchain format configure:14420: result: func_convert_file_noop configure:14427: checking for /usr/bin/ld option to reload object files configure:14434: result: -r configure:14508: checking for objdump configure:14524: found /usr/bin/objdump configure:14535: result: objdump configure:14567: checking how to recognize dependent libraries configure:14769: result: pass_all configure:14854: checking for dlltool configure:14884: result: no configure:14914: checking how to associate runtime and link libraries configure:14941: result: printf %s\n configure:15001: checking for ar configure:15017: found /usr/bin/ar configure:15028: result: ar configure:15065: checking for archiver @FILE support configure:15082: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:15082: $? = 0 configure:15085: ar cru libconftest.a @conftest.lst >&5 configure:15088: $? = 0 configure:15093: ar cru libconftest.a @conftest.lst >&5 ar: conftest.o: No such file or directory configure:15096: $? = 1 configure:15108: result: @ configure:15166: checking for strip configure:15182: found /usr/bin/strip configure:15193: result: strip configure:15265: checking for ranlib configure:15281: found /usr/bin/ranlib configure:15292: result: ranlib configure:15394: checking command to parse /usr/bin/nm -B output from gcc object configure:15514: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:15517: $? = 0 configure:15521: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[ ]$[ABCDGIRSTW][ABCDGIRSTW]*$[ ][ ]*$[_A-Za-z][_A-Za-z0-9]*$$/\1 \2 \2/p' | sed '/ __gnu_lto/d' \> conftest.nm configure:15524: $? = 0 configure:15590: g++ -o conftest -g -O2 -frounding-math conftest.cpp conftstm.o >&5 configure:15593: $? = 0 configure:15631: result: ok configure:15668: checking for sysroot configure:15698: result: no configure:15775: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:15778: $? = 0 configure:15954: checking for mt configure:15984: result: no configure:16004: checking if : is a manifest tool configure:16010: : '-?' configure:16018: result: no configure:16657: checking for dlfcn.h configure:16657: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:16657: $? = 0 configure:16657: result: yes configure:16872: checking for objdir configure:16887: result: .libs configure:17158: checking if gcc supports -fno-rtti -fno-exceptions configure:17176: gcc -c -g -O2 -frounding-math -fno-rtti -fno-exceptions conftest.c >&5 cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C configure:17180: $? = 0 configure:17193: result: no configure:17520: checking for gcc option to produce PIC configure:17527: result: -fPIC -DPIC configure:17535: checking if gcc PIC flag -fPIC -DPIC works configure:17553: gcc -c -g -O2 -frounding-math -fPIC -DPIC -DPIC conftest.c >&5 configure:17557: $? = 0 configure:17570: result: yes configure:17599: checking if gcc static flag -static works configure:17627: result: yes configure:17642: checking if gcc supports -c -o file.o configure:17663: gcc -c -g -O2 -frounding-math -o out/conftest2.o conftest.c >&5 configure:17667: $? = 0 configure:17689: result: yes configure:17697: checking if gcc supports -c -o file.o configure:17744: result: yes configure:17777: checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries configure:18930: result: yes configure:18967: checking whether -lc should be explicitly linked in configure:18975: gcc -c -g -O2 -frounding-math conftest.c >&5 configure:18978: $? = 0 configure:18993: gcc -shared -fPIC -DPIC conftest.o -v -Wl,-soname -Wl,conftest -o conftest 2\>\&1 \| /bin/grep -lc \>/dev/null 2\>\&1 configure:18996: $? = 0 configure:19010: result: no configure:19170: checking dynamic linker characteristics configure:19681: gcc -o conftest -g -O2 -frounding-math -Wl,-rpath -Wl,/foo conftest.c >&5 configure:19681: $? = 0 configure:19903: result: GNU/Linux ld.so configure:20010: checking how to hardcode library paths into programs configure:20035: result: immediate configure:20129: checking for shl_load configure:20129: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 /tmp/ccaTCvIi.o: In function `main': /home/wangxing/devPackage/ppl-0.12.1/release/conftest.c:123: undefined reference to `shl_load' collect2: ld returned 1 exit status configure:20129: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | /* Define shl_load to an innocuous variant, in case <limits.h> declares shl_load. | For example, HP-UX 11i <limits.h> declares gettimeofday. */ | #define shl_load innocuous_shl_load | | /* System header to define __stub macros and hopefully few prototypes, | which can conflict with char shl_load (); below. | Prefer <limits.h> to <assert.h> if __STDC__ is defined, since | <limits.h> exists even on freestanding compilers. */ | | #ifdef __STDC__ | # include <limits.h> | #else | # include <assert.h> | #endif | | #undef shl_load | | /* Override any GCC internal prototype to avoid an error. | Use char because int might match the return type of a GCC | builtin and then its argument prototype would still apply. */ | #ifdef __cplusplus | extern "C" | #endif | char shl_load (); | /* The GNU C library defines this for functions which it implements | to always fail with ENOSYS. Some functions are actually named | something starting with __ and the normal name is an alias. */ | #if defined __stub_shl_load || defined __stub___shl_load | choke me | #endif | | int | main () | { | return shl_load (); | ; | return 0; | } configure:20129: result: no configure:20133: checking for shl_load in -ldld configure:20158: gcc -o conftest -g -O2 -frounding-math conftest.c -ldld >&5 /usr/bin/ld: cannot find -ldld collect2: ld returned 1 exit status configure:20158: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | | /* Override any GCC internal prototype to avoid an error. | Use char because int might match the return type of a GCC | builtin and then its argument prototype would still apply. */ | #ifdef __cplusplus | extern "C" | #endif | char shl_load (); | int | main () | { | return shl_load (); | ; | return 0; | } configure:20167: result: no configure:20172: checking for dlopen configure:20172: gcc -o conftest -g -O2 -frounding-math conftest.c >&5 /tmp/ccw9ylbe.o: In function `main': /home/wangxing/devPackage/ppl-0.12.1/release/conftest.c:123: undefined reference to `dlopen' collect2: ld returned 1 exit status configure:20172: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | /* Define dlopen to an innocuous variant, in case <limits.h> declares dlopen. | For example, HP-UX 11i <limits.h> declares gettimeofday. */ | #define dlopen innocuous_dlopen | | /* System header to define __stub macros and hopefully few prototypes, | which can conflict with char dlopen (); below. | Prefer <limits.h> to <assert.h> if __STDC__ is defined, since | <limits.h> exists even on freestanding compilers. */ | | #ifdef __STDC__ | # include <limits.h> | #else | # include <assert.h> | #endif | | #undef dlopen | | /* Override any GCC internal prototype to avoid an error. | Use char because int might match the return type of a GCC | builtin and then its argument prototype would still apply. */ | #ifdef __cplusplus | extern "C" | #endif | char dlopen (); | /* The GNU C library defines this for functions which it implements | to always fail with ENOSYS. Some functions are actually named | something starting with __ and the normal name is an alias. */ | #if defined __stub_dlopen || defined __stub___dlopen | choke me | #endif | | int | main () | { | return dlopen (); | ; | return 0; | } configure:20172: result: no configure:20176: checking for dlopen in -ldl configure:20201: gcc -o conftest -g -O2 -frounding-math conftest.c -ldl >&5 configure:20201: $? = 0 configure:20210: result: yes configure:20329: checking whether a program can dlopen itself configure:20409: gcc -o conftest -g -O2 -frounding-math -DHAVE_DLFCN_H -Wl,--export-dynamic conftest.c -ldl >&5 configure:20412: $? = 0 configure:20430: result: yes configure:20435: checking whether a statically linked program can dlopen itself configure:20515: gcc -o conftest -g -O2 -frounding-math -DHAVE_DLFCN_H -Wl,--export-dynamic -static conftest.c -ldl >&5 /tmp/ccwcdksD.o: In function `main': /home/wangxing/devPackage/ppl-0.12.1/release/configure:20494: warning: Using 'dlopen' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking configure:20518: $? = 0 /usr/local/lib/: cannot read file data: Is a directory configure:20536: result: no configure:20575: checking whether stripping libraries is possible configure:20580: result: yes configure:20615: checking if libtool supports shared libraries configure:20617: result: yes configure:20620: checking whether to build shared libraries configure:20641: result: yes configure:20644: checking whether to build static libraries configure:20648: result: yes configure:20671: checking how to run the C++ preprocessor configure:20737: result: g++ -E configure:20757: g++ -E conftest.cpp configure:20757: $? = 0 configure:20771: g++ -E conftest.cpp conftest.cpp:89:28: error: ac_nonexistent.h: No such file or directory configure:20771: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:20940: checking for ld used by g++ configure:21007: result: /usr/bin/ld -m elf_x86_64 configure:21014: checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld configure:21029: result: yes configure:21084: checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries configure:22089: result: yes configure:22125: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:22128: $? = 0 configure:22648: checking for g++ option to produce PIC configure:22655: result: -fPIC -DPIC configure:22663: checking if g++ PIC flag -fPIC -DPIC works configure:22681: g++ -c -g -O2 -frounding-math -fPIC -DPIC -DPIC conftest.cpp >&5 configure:22685: $? = 0 configure:22698: result: yes configure:22721: checking if g++ static flag -static works configure:22749: result: yes configure:22761: checking if g++ supports -c -o file.o configure:22782: g++ -c -g -O2 -frounding-math -o out/conftest2.o conftest.cpp >&5 configure:22786: $? = 0 configure:22808: result: yes configure:22813: checking if g++ supports -c -o file.o configure:22860: result: yes configure:22890: checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries configure:22926: result: yes configure:23067: checking dynamic linker characteristics configure:23734: result: GNU/Linux ld.so configure:23787: checking how to hardcode library paths into programs configure:23812: result: immediate configure:23893: checking for md5sum configure:23909: found /usr/bin/md5sum configure:23920: result: md5sum configure:23939: checking for the text md5sum command configure:23947: result: md5sum -t configure:23964: checking glpk.h usability configure:23964: gcc -c -g -O2 -frounding-math conftest.c >&5 conftest.c:122:18: error: glpk.h: No such file or directory configure:23964: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | #include <glpk.h> configure:23964: result: no configure:23964: checking glpk.h presence configure:23964: gcc -E conftest.c conftest.c:89:18: error: glpk.h: No such file or directory configure:23964: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | #include <glpk.h> configure:23964: result: no configure:23964: checking for glpk.h configure:23964: result: no configure:23964: checking glpk/glpk.h usability configure:23964: gcc -c -g -O2 -frounding-math conftest.c >&5 conftest.c:122:23: error: glpk/glpk.h: No such file or directory configure:23964: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | #include <glpk/glpk.h> configure:23964: result: no configure:23964: checking glpk/glpk.h presence configure:23964: gcc -E conftest.c conftest.c:89:23: error: glpk/glpk.h: No such file or directory configure:23964: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | /* end confdefs.h. */ | #include <glpk/glpk.h> configure:23964: result: no configure:23964: checking for glpk/glpk.h configure:23964: result: no configure:24045: checking whether RLIMIT_DATA is declared configure:24045: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24045: $? = 0 configure:24045: result: yes configure:24060: checking whether RLIMIT_RSS is declared configure:24060: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24060: $? = 0 configure:24060: result: yes configure:24075: checking whether RLIMIT_VMEM is declared configure:24075: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:102: error: 'RLIMIT_VMEM' was not declared in this scope configure:24075: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | #define HAVE_DECL_RLIMIT_DATA 1 | #define HAVE_DECL_RLIMIT_RSS 1 | /* end confdefs.h. */ | | #ifdef HAVE_SYS_RESOURCE_H | # include <sys/resource.h> | #endif | | | int | main () | { | #ifndef RLIMIT_VMEM | #ifdef __cplusplus | (void) RLIMIT_VMEM; | #else | (void) RLIMIT_VMEM; | #endif | #endif | | ; | return 0; | } configure:24075: result: no configure:24090: checking whether RLIMIT_AS is declared configure:24090: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24090: $? = 0 configure:24090: result: yes configure:24107: checking whether getrusage is declared configure:24107: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24107: $? = 0 configure:24107: result: yes configure:24125: checking whether setrlimit is declared configure:24125: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24125: $? = 0 configure:24125: result: yes configure:24145: checking whether setitimer is declared configure:24145: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24145: $? = 0 configure:24145: result: yes configure:24162: checking whether sigaction is declared configure:24162: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24162: $? = 0 configure:24162: result: yes configure:24176: checking for timeval configure:24176: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24176: $? = 0 configure:24176: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:133: error: expected primary-expression before ')' token configure:24176: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | #define HAVE_DECL_RLIMIT_DATA 1 | #define HAVE_DECL_RLIMIT_RSS 1 | #define HAVE_DECL_RLIMIT_VMEM 0 | #define HAVE_DECL_RLIMIT_AS 1 | #define HAVE_DECL_GETRUSAGE 1 | #define HAVE_DECL_SETRLIMIT 1 | #define HAVE_DECL_SETITIMER 1 | #define HAVE_DECL_SIGACTION 1 | /* end confdefs.h. */ | #include <stdio.h> | #ifdef HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #ifdef HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #ifdef STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # ifdef HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #ifdef HAVE_STRING_H | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #ifdef HAVE_STRINGS_H | # include <strings.h> | #endif | #ifdef HAVE_INTTYPES_H | # include <inttypes.h> | #endif | #ifdef HAVE_STDINT_H | # include <stdint.h> | #endif | #ifdef HAVE_UNISTD_H | # include <unistd.h> | #endif | int | main () | { | if (sizeof ((timeval))) | return 0; | ; | return 0; | } configure:24176: result: yes configure:24186: checking for siginfo_t configure:24186: g++ -c -g -O2 -frounding-math conftest.cpp >&5 configure:24186: $? = 0 configure:24186: g++ -c -g -O2 -frounding-math conftest.cpp >&5 conftest.cpp: In function 'int main()': conftest.cpp:105: error: expected primary-expression before ')' token configure:24186: $? = 1 configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.12.1" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" | #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" | #define PACKAGE_URL "" | #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" | #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 8 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_SIZE_T 8 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define SIZEOF_INTP 8 | #define SIZEOF_FP 8 | #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 1 | #define PPL_SUPPORTED_FLOAT 1 | #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_ZERO_LENGTH_ARRAYS 1 | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 | #define HAVE_SYS_TIME_H 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_GETENV 1 | #define HAVE_DECL_STRTOF 1 | #define HAVE_DECL_STRTOD 1 | #define HAVE_DECL_STRTOLD 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define HAVE_DECL_FMA 1 | #define HAVE_DECL_FMAF 1 | #define HAVE_DECL_FMAL 1 | #define HAVE_DECL_RINTF 1 | #define HAVE_DECL_RINTL 1 | #define HAVE_INT_FAST16_T 1 | #define HAVE_INT_FAST32_T 1 | #define HAVE_INT_FAST64_T 1 | #define HAVE_UINT_FAST16_T 1 | #define HAVE_UINT_FAST32_T 1 | #define HAVE_UINT_FAST64_T 1 | #define HAVE_UINTPTR_T 1 | #define SIZEOF_MP_LIMB_T 8 | #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 HAVE_DLFCN_H 1 | #define LT_OBJDIR ".libs/" | #define HAVE_DECL_RLIMIT_DATA 1 | #define HAVE_DECL_RLIMIT_RSS 1 | #define HAVE_DECL_RLIMIT_VMEM 0 | #define HAVE_DECL_RLIMIT_AS 1 | #define HAVE_DECL_GETRUSAGE 1 | #define HAVE_DECL_SETRLIMIT 1 | #define HAVE_DECL_SETITIMER 1 | #define HAVE_DECL_SIGACTION 1 | #define HAVE_TIMEVAL 1 | /* end confdefs.h. */ | | #include <signal.h> | | | int | main () | { | if (sizeof ((siginfo_t))) | return 0; | ; | return 0; | } configure:24186: result: yes configure:24211: checking whether we can limit memory in C++ using setrlimit() configure:24291: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5 configure:24291: $? = 0 configure:24291: ./conftest configure:24291: $? = 0 configure:24292: result: yes configure:24711: creating ./config.status ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by the Parma Polyhedra Library config.status 0.12.1, which was generated by GNU Autoconf 2.68. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status on dcd234 config.status:1500: creating Makefile config.status:1500: creating ppl.lsm config.status:1500: creating src/Makefile config.status:1500: creating src/version.hh config.status:1500: creating src/ppl-config.cc config.status:1500: creating tests/Makefile config.status:1500: creating tests/BD_Shape/Makefile config.status:1500: creating tests/Box/Makefile config.status:1500: creating tests/Concrete_Expression/Makefile config.status:1500: creating tests/CO_Tree/Makefile config.status:1500: creating tests/Grid/Makefile config.status:1500: creating tests/MIP_Problem/Makefile config.status:1500: creating tests/Octagonal_Shape/Makefile config.status:1500: creating tests/Partially_Reduced_Product/Makefile config.status:1500: creating tests/PIP_Problem/Makefile config.status:1500: creating tests/Polyhedron/Makefile config.status:1500: creating tests/Powerset/Makefile config.status:1500: creating tests/Sparse_Matrix/Makefile config.status:1500: creating tests/Watchdog/Makefile config.status:1500: creating utils/Makefile config.status:1500: creating m4/Makefile config.status:1500: creating demos/Makefile config.status:1500: creating demos/ppl_lcdd/Makefile config.status:1500: creating demos/ppl_lcdd/examples/Makefile config.status:1500: creating demos/ppl_lpsol/Makefile config.status:1500: creating demos/ppl_lpsol/examples/Makefile config.status:1500: creating demos/ppl_pips/Makefile config.status:1500: creating demos/ppl_pips/examples/Makefile config.status:1500: creating doc/Makefile config.status:1500: creating doc/user.doxyconf-latex config.status:1500: creating doc/devref.doxyconf-latex config.status:1500: creating doc/user.doxyconf-html config.status:1500: creating doc/devref.doxyconf-html config.status:1500: creating doc/user-language-interface.doxyconf config.status:1500: creating doc/devref-language-interface.doxyconf config.status:1500: creating interfaces/Makefile config.status:1500: creating interfaces/C/Makefile config.status:1500: creating interfaces/C/ppl_c_version.h config.status:1500: creating interfaces/C/tests/Makefile config.status:1500: creating interfaces/Java/Makefile config.status:1500: creating interfaces/Java/jni/Makefile config.status:1500: creating interfaces/Java/tests/Makefile config.status:1500: creating interfaces/Java/parma_polyhedra_library/Makefile config.status:1500: creating interfaces/OCaml/Makefile config.status:1500: creating interfaces/OCaml/tests/Makefile config.status:1500: creating interfaces/Prolog/Makefile config.status:1500: creating interfaces/Prolog/Ciao/Makefile config.status:1500: creating interfaces/Prolog/GNU/Makefile config.status:1500: creating interfaces/Prolog/SICStus/Makefile config.status:1500: creating interfaces/Prolog/SWI/Makefile config.status:1500: creating interfaces/Prolog/XSB/Makefile config.status:1500: creating interfaces/Prolog/YAP/Makefile config.status:1500: creating interfaces/Prolog/tests/Makefile config.status:1500: creating config.h config.status:1714: executing depfiles commands config.status:1714: executing libtool commands ## ---------------- ## ## Cache variables. ## ## ---------------- ## ac_cv_build=x86_64-unknown-linux-gnu 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_env_CCC_set= ac_cv_env_CCC_value= ac_cv_env_CC_set= ac_cv_env_CC_value= ac_cv_env_CFLAGS_set= ac_cv_env_CFLAGS_value= ac_cv_env_CPPFLAGS_set= ac_cv_env_CPPFLAGS_value= ac_cv_env_CPP_set= ac_cv_env_CPP_value= ac_cv_env_CXXCPP_set= ac_cv_env_CXXCPP_value= ac_cv_env_CXXFLAGS_set= ac_cv_env_CXXFLAGS_value= ac_cv_env_CXX_set= ac_cv_env_CXX_value= ac_cv_env_LDFLAGS_set= ac_cv_env_LDFLAGS_value= ac_cv_env_LIBS_set= ac_cv_env_LIBS_value= ac_cv_env_M4_set= ac_cv_env_M4_value= ac_cv_env_build_alias_set= ac_cv_env_build_alias_value= ac_cv_env_host_alias_set= ac_cv_env_host_alias_value= ac_cv_env_target_alias_set= ac_cv_env_target_alias_value= ac_cv_func_dlopen=no ac_cv_func_shl_load=no ac_cv_gmp_supports_exceptions=yes ac_cv_have_decl_RLIMIT_AS=yes ac_cv_have_decl_RLIMIT_DATA=yes ac_cv_have_decl_RLIMIT_RSS=yes ac_cv_have_decl_RLIMIT_VMEM=no ac_cv_have_decl_ffs=yes ac_cv_have_decl_fma=yes ac_cv_have_decl_fmaf=yes ac_cv_have_decl_fmal=yes ac_cv_have_decl_getenv=yes ac_cv_have_decl_getrusage=yes ac_cv_have_decl_rintf=yes ac_cv_have_decl_rintl=yes ac_cv_have_decl_setitimer=yes ac_cv_have_decl_setrlimit=yes ac_cv_have_decl_sigaction=yes ac_cv_have_decl_strtod=yes ac_cv_have_decl_strtof=yes ac_cv_have_decl_strtold=yes ac_cv_have_decl_strtoll=yes ac_cv_have_decl_strtoull=yes ac_cv_have_gmp=yes ac_cv_header_dlfcn_h=yes ac_cv_header_fenv_h=yes ac_cv_header_getopt_h=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=yes ac_cv_header_sys_stat_h=yes ac_cv_header_sys_time_h=yes ac_cv_header_sys_types_h=yes ac_cv_header_unistd_h=yes ac_cv_host=x86_64-unknown-linux-gnu ac_cv_javac_supports_enums=no ac_cv_lib_dl_dlopen=yes ac_cv_lib_dld_shl_load=no 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_JAR=/usr/lib/jvm/java/bin/jar ac_cv_path_JAVA=/usr/lib/jvm/java/bin/java ac_cv_path_JAVAC=/usr/lib/jvm/java/bin/javac ac_cv_path_JAVAH=/usr/lib/jvm/java/bin/javah ac_cv_path_M4=/usr/bin/m4 ac_cv_path_PERL=/usr/bin/perl ac_cv_path_SED=/bin/sed ac_cv_path_install='/usr/bin/install -c' ac_cv_path_mkdir=/bin/mkdir ac_cv_prog_AWK=gawk ac_cv_prog_CPP='gcc -E' ac_cv_prog_CXXCPP='g++ -E' ac_cv_prog_MD5SUM=md5sum ac_cv_prog_ac_ct_AR=ar ac_cv_prog_ac_ct_CC=gcc ac_cv_prog_ac_ct_CXX=g++ ac_cv_prog_ac_ct_OBJDUMP=objdump ac_cv_prog_ac_ct_RANLIB=ranlib ac_cv_prog_ac_ct_STRIP=strip ac_cv_prog_cc_c89= ac_cv_prog_cc_g=yes ac_cv_prog_cxx_g=yes ac_cv_prog_gnu_m4_debugfile=--error-output ac_cv_prog_java_works=skipping 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=8 ac_cv_sizeof_int=4 ac_cv_sizeof_intp=8 ac_cv_sizeof_long=8 ac_cv_sizeof_long_double=16 ac_cv_sizeof_long_long=8 ac_cv_sizeof_mp_limb_t=8 ac_cv_sizeof_short=2 ac_cv_sizeof_size_t=8 ac_cv_type_int_fast16_t=yes ac_cv_type_int_fast32_t=yes ac_cv_type_int_fast64_t=yes ac_cv_type_siginfo_t=yes ac_cv_type_timeval=yes ac_cv_type_uint_fast16_t=yes ac_cv_type_uint_fast32_t=yes ac_cv_type_uint_fast64_t=yes ac_cv_type_uintptr_t=yes am_cv_CC_dependencies_compiler_type=gcc3 am_cv_CXX_dependencies_compiler_type=gcc3 am_cv_make_support_nested_variables=yes am_cv_prog_tar_ustar=gnutar lt_cv_ar_at_file=@ lt_cv_archive_cmds_need_lc=no lt_cv_deplibs_check_method=pass_all lt_cv_dlopen=dlopen lt_cv_dlopen_libs=-ldl lt_cv_dlopen_self=yes lt_cv_dlopen_self_static=no lt_cv_file_magic_cmd='$MAGIC_CMD' lt_cv_file_magic_test_file= lt_cv_ld_reload_flag=-r lt_cv_nm_interface='BSD nm' lt_cv_objdir=.libs lt_cv_path_LD=/usr/bin/ld lt_cv_path_LDCXX='/usr/bin/ld -m elf_x86_64' lt_cv_path_NM='/usr/bin/nm -B' lt_cv_path_mainfest_tool=no lt_cv_prog_compiler_c_o=yes lt_cv_prog_compiler_c_o_CXX=yes lt_cv_prog_compiler_pic='-fPIC -DPIC' lt_cv_prog_compiler_pic_CXX='-fPIC -DPIC' 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_sharedlib_from_linklib_cmd='printf %s\n' lt_cv_shlibpath_overrides_runpath=no lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[ ]$[ABCDGIRSTW][ABCDGIRSTW]*$[ ][ ]*$[_A-Za-z][_A-Za-z0-9]*$$/\1 \2 \2/p'\'' | sed '\''/ __gnu_lto/d'\''' 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=98304 lt_cv_to_host_file_cmd=func_convert_file_noop lt_cv_to_tool_file_cmd=func_convert_file_noop ## ----------------- ## ## Output variables. ## ## ----------------- ## ACLOCAL='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run aclocal-1.11' AMDEPBACKSLASH='\' AMDEP_FALSE='#' AMDEP_TRUE='' AMTAR='$${TAR-tar}' AM_BACKSLASH='\' AM_DEFAULT_V='$(AM_DEFAULT_VERBOSITY)' AM_DEFAULT_VERBOSITY='1' AM_V='$(V)' AR='ar' ASSERTIONS_ENABLED_FALSE='' ASSERTIONS_ENABLED_TRUE='#' AUTOCONF='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run autoconf' AUTOHEADER='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run autoheader' AUTOMAKE='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/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_DOCUMENTATION_FALSE='#' BUILD_DOCUMENTATION_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_XSB_PROLOG_INTERFACE_FALSE='' BUILD_XSB_PROLOG_INTERFACE_TRUE='#' BUILD_YAP_PROLOG_INTERFACE_FALSE='' BUILD_YAP_PROLOG_INTERFACE_TRUE='#' CAN_CONTROL_FPU_FALSE='#' CAN_CONTROL_FPU_TRUE='' CC='gcc' CCDEPMODE='depmode=gcc3' CFLAGS=' -g -O2 -frounding-math -W -Wall' CIAO_PROLOG='' CIAO_PROLOG_INCLUDE_OPTIONS='' CONFIGURE_OPTIONS='' CPP='gcc -E' CPPFLAGS='' CXX='g++' CXXCPP='g++ -E' CXXDEPMODE='depmode=gcc3' CXXFLAGS=' -g -O2 -frounding-math -W -Wall' CYGPATH_W='echo' DEBUGGING_ENABLED_FALSE='#' DEBUGGING_ENABLED_TRUE='' DEFS='-DHAVE_CONFIG_H' DEPDIR='.deps' DLLTOOL='false' 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='' 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_HPUX_FALSE='' HOST_OS_HPUX_TRUE='#' HOST_OS_MINGW_FALSE='' HOST_OS_MINGW_TRUE='#' HOST_OS_SOLARIS_FALSE='' HOST_OS_SOLARIS_TRUE='#' ICC_FALSE='' ICC_TRUE='#' INSTALL_DATA='${INSTALL} -m 644' INSTALL_PROGRAM='${INSTALL}' INSTALL_SCRIPT='${INSTALL}' INSTALL_STRIP_PROGRAM='$(install_sh) -c -s' ISODATE='2012-05-05' JAR='/usr/lib/jvm/java/bin/jar' JAVA='/usr/lib/jvm/java/bin/java' JAVAC='/usr/lib/jvm/java/bin/javac' JAVAH='/usr/lib/jvm/java/bin/javah' JNIFLAGS='' LD='/usr/bin/ld -m elf_x86_64' LDFLAGS='' LIBEXT='a' LIBOBJS='' LIBS='' LIBTOOL='$(SHELL) $(top_builddir)/libtool' LIPO='' LN_S='ln -s' LTLIBOBJS='' M4='/usr/bin/m4' M4_DEBUGFILE='--error-output' MAKEINFO='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run makeinfo' MANIFEST_TOOL=':' MD5SUM='md5sum' MKDIR_P='/bin/mkdir -p' NM='/usr/bin/nm -B' 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(a)cs.unipr.it' PACKAGE_NAME='the Parma Polyhedra Library' PACKAGE_STRING='the Parma Polyhedra Library 0.12.1' PACKAGE_TARNAME='ppl' PACKAGE_URL='' PACKAGE_VERSION='0.12.1' PATH_SEPARATOR=':' PERL='/usr/bin/perl' PPL_VERSION_BETA='0' PPL_VERSION_MAJOR='0' PPL_VERSION_MINOR='12' PPL_VERSION_REVISION='1' RANLIB='ranlib' SED='/bin/sed' SET_MAKE='' SHELL='/bin/sh' SHREXT='.so' SICSTUS_PROLOG_INCLUDE_OPTIONS='' STRIP='strip' SUPPORTED_DOUBLE_FALSE='#' SUPPORTED_DOUBLE_TRUE='' SUPPORTED_FLOAT_FALSE='#' SUPPORTED_FLOAT_TRUE='' SUPPORTED_LONG_DOUBLE_FALSE='#' SUPPORTED_LONG_DOUBLE_TRUE='' SUPPORTED_SOME_FLOATING_POINT_TYPE_FALSE='#' SUPPORTED_SOME_FLOATING_POINT_TYPE_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.12.1' XSB_PROLOG_INCLUDE_OPTIONS='' YAP_PROLOG='' YAP_PROLOG_INCLUDE_OPTIONS='' YAP_PROLOG_LD_OPTIONS='' ac_ct_AR='ar' ac_ct_CC='gcc' ac_ct_CXX='g++' 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__nodep='_no' am__quote='' am__tar='tar --format=ustar -chf - "$$tardir"' am__untar='tar -xf -' bindir='${exec_prefix}/bin' build='x86_64-unknown-linux-gnu' build_alias='' build_cpu='x86_64' build_os='linux-gnu' build_vendor='unknown' 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='-I/usr/local//include' extra_libraries='-L/usr/local//lib -lgmpxx -lgmp' host='x86_64-unknown-linux-gnu' host_alias='' host_cpu='x86_64' host_os='linux-gnu' host_vendor='unknown' htmldir='${docdir}' includedir='${prefix}/include' infodir='${datarootdir}/info' install_sh='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/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/ppl-0.12.1' 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='' 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.12.1" #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1" #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it" #define PACKAGE_URL "" #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/' '--prefix=/usr/local/ppl-0.12.1'" #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 8 #define SIZEOF_LONG_LONG 8 #define SIZEOF_SIZE_T 8 #define SIZEOF_FLOAT 4 #define SIZEOF_DOUBLE 8 #define SIZEOF_LONG_DOUBLE 16 #define SIZEOF_INTP 8 #define SIZEOF_FP 8 #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 1 #define PPL_SUPPORTED_FLOAT 1 #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_ZERO_LENGTH_ARRAYS 1 #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 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_RESOURCE_H 1 #define HAVE_SYS_TIME_H 1 #define HAVE_SYS_TYPES_H 1 #define HAVE_UNISTD_H 1 #define HAVE_DECL_FFS 1 #define HAVE_DECL_GETENV 1 #define HAVE_DECL_STRTOF 1 #define HAVE_DECL_STRTOD 1 #define HAVE_DECL_STRTOLD 1 #define HAVE_DECL_STRTOLL 1 #define HAVE_DECL_STRTOULL 1 #define HAVE_DECL_FMA 1 #define HAVE_DECL_FMAF 1 #define HAVE_DECL_FMAL 1 #define HAVE_DECL_RINTF 1 #define HAVE_DECL_RINTL 1 #define HAVE_INT_FAST16_T 1 #define HAVE_INT_FAST32_T 1 #define HAVE_INT_FAST64_T 1 #define HAVE_UINT_FAST16_T 1 #define HAVE_UINT_FAST32_T 1 #define HAVE_UINT_FAST64_T 1 #define HAVE_UINTPTR_T 1 #define SIZEOF_MP_LIMB_T 8 #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 HAVE_DLFCN_H 1 #define LT_OBJDIR ".libs/" #define HAVE_DECL_RLIMIT_DATA 1 #define HAVE_DECL_RLIMIT_RSS 1 #define HAVE_DECL_RLIMIT_VMEM 0 #define HAVE_DECL_RLIMIT_AS 1 #define HAVE_DECL_GETRUSAGE 1 #define HAVE_DECL_SETRLIMIT 1 #define HAVE_DECL_SETITIMER 1 #define HAVE_DECL_SIGACTION 1 #define HAVE_TIMEVAL 1 #define HAVE_SIGINFO_T 1 #define PPL_CXX_SUPPORTS_LIMITING_MEMORY 1 configure: exit 0

2 1

[GIT] ppl/ppl(ppl-0_12-branch): Version number bumped.
by Roberto Bagnara 05 May '12

05 May '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: bd3b7405eb2a43b0e2779c9791df6e2366b4eec5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3b7405eb2a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 5 14:24:14 2012 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 8e01f0f..a19ca2f 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12.1], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12.2pre1], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Added a new test showing a bug in PIP_Problem.
by Enea Zaffanella 05 May '12

05 May '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: b72921359d6cfd9e50a47db5c024a5f1bece4159 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72921359d6c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri May 4 09:35:26 2012 +0200 Added a new test showing a bug in PIP_Problem. The test was reduced from a slightly bigger one provided by Fred Mesnard. --- tests/PIP_Problem/pipproblem3.cc | 20 ++++++++++++++++++++ 1 files changed, 20 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/pipproblem3.cc b/tests/PIP_Problem/pipproblem3.cc index c8f3af8..fd75b32 100644 --- a/tests/PIP_Problem/pipproblem3.cc +++ b/tests/PIP_Problem/pipproblem3.cc @@ -150,10 +150,30 @@ test03() { return ok; } +bool +test04() { + Variable A(0); + Variable B(1); + Variable C(2); + + Constraint_System cs; + cs.insert(A >= 0); + cs.insert(A == B); + cs.insert(A == -1); + + PIP_Problem pip(2); + pip.add_constraints(cs); + + bool ok = !pip.is_satisfiable(); + + return ok; +} + } // namespace BEGIN_MAIN DO_TEST_F8(test01); DO_TEST_F8(test02); DO_TEST_F8(test03); + DO_TEST(test04); END_MAIN

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Recompute the sign of the special_equality_row after modyfying it.
by Enea Zaffanella 05 May '12

05 May '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: cbc2fc98c3af5eed865648ce953553d69f5ef637 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbc2fc98c3af… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri May 4 10:13:05 2012 +0200 Recompute the sign of the special_equality_row after modyfying it. This fixes the bug shown by test04() in tests/PIP_Problem/pipproblem3.cc. --- src/PIP_Tree.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index f434d7d..7ce9848 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2424,6 +2424,7 @@ PIP_Solution_Node const dimension_type m_eq = mapping[special_equality_row]; sub_assign(tableau.s[m_eq], v_row); sub_assign(tableau.t[m_eq], p_row); + sign[m_eq] = row_sign(tableau.t[m_eq], big_dimension); } } }

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Inclusions reordered to match the PPL coding standard.
by Roberto Bagnara 05 May '12

05 May '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: f70936756efd067c891ac1a24a44fa4d56af343a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f70936756efd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 5 14:08:35 2012 +0200 Inclusions reordered to match the PPL coding standard. --- src/Watchdog.inlines.hh | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/src/Watchdog.inlines.hh b/src/Watchdog.inlines.hh index c1262b5..30798ef 100644 --- a/src/Watchdog.inlines.hh +++ b/src/Watchdog.inlines.hh @@ -24,9 +24,8 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_Watchdog_inlines_hh #define PPL_Watchdog_inlines_hh 1 -#include <stdexcept> - #include "Handler.defs.hh" +#include <stdexcept> namespace Parma_Polyhedra_Library {

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Added missing inclusion of <stdexcept>.
by Roberto Bagnara 05 May '12

05 May '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: ed687b7f8d4f4bf21d920a212354338a62148b40 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed687b7f8d4f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 5 14:08:00 2012 +0200 Added missing inclusion of <stdexcept>. --- src/globals.inlines.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index 7832558..2f500b2 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -24,10 +24,11 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_globals_inlines_hh #define PPL_globals_inlines_hh 1 +#include "compiler.hh" #include <limits> #include <cassert> #include <cctype> -#include "compiler.hh" +#include <stdexcept> namespace Parma_Polyhedra_Library {

1 0

[GIT] ppl/ppl(master): Inclusions reordered to match the PPL coding standard.
by Roberto Bagnara 05 May '12

05 May '12

Module: ppl/ppl Branch: master Commit: 2bfa68aaf70d66197a4e220dc0f59702841afa17 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bfa68aaf70d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 5 14:08:35 2012 +0200 Inclusions reordered to match the PPL coding standard. --- src/Watchdog.inlines.hh | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/src/Watchdog.inlines.hh b/src/Watchdog.inlines.hh index c1262b5..30798ef 100644 --- a/src/Watchdog.inlines.hh +++ b/src/Watchdog.inlines.hh @@ -24,9 +24,8 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_Watchdog_inlines_hh #define PPL_Watchdog_inlines_hh 1 -#include <stdexcept> - #include "Handler.defs.hh" +#include <stdexcept> namespace Parma_Polyhedra_Library {

1 0

[GIT] ppl/ppl(master): Added missing inclusion of <stdexcept>.
by Roberto Bagnara 05 May '12

05 May '12

Module: ppl/ppl Branch: master Commit: 339b75d89fae9462239b96c767d059770c19d862 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=339b75d89fae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat May 5 14:08:00 2012 +0200 Added missing inclusion of <stdexcept>. --- src/globals.inlines.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index 748f6dc..8250d63 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -24,12 +24,13 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_globals_inlines_hh #define PPL_globals_inlines_hh 1 +#include "compiler.hh" #include <limits> #include <cassert> #include <istream> #include <ostream> #include <cctype> -#include "compiler.hh" +#include <stdexcept> namespace Parma_Polyhedra_Library {

1 0

Re: [PPL-devel] Another question
by Ezio Bartocci 04 May '12

04 May '12

Dear PPL developers, I forward the message that I sent to Roberto. Since he is traveling, maybe some of you can help us... Thanks a lot Best Regards Ezio On Thu, May 3, 2012 at 4:42 PM, Ezio Bartocci <ezio.bartocci(a)gmail.com> wrote: > Dear Roberto, > > > I have another question. This time in English so that also Radu > and Gregory can read. I have the following points, describing a > polytope: > > 1 0.005 0.007883 > 0.9967750 0.004769 0.007988 > 1 0.000250 0.007883 > 0.9967750 1.900e-05 0.007988 > 1 0.005000 0.004225 > 0.9967750 0.004769 0.004331 > 1 0.000250 0.004225 > 0.9967750 1.900e-05 0.004331 > 1 0.0050000 0.007883 > 0.4194590 0.0047690 0.007988 > 1 0.0002500 0.007883 > 0.4194590 1.9000e-05 0.007988 > 1 0.0050000 0.004225 > 0.4194590 0.0047690 0.004331 > 1 0.0002500 0.004225 > 0.4194590 1.90000e-05 0.004331 > > > From this points stored in a matrix P with rows_P = 16 and cols_P = 3. > > I call this function that I developed to generate a C_Polyhedron (or > Polytope), that uses > > add_generator > > as you suggested and assign to P the result that is private member of > the class ppl_wrap > > > ppl_wrap::ppl_wrap (double * Points, int rows_P, int > cols_P):rows_P(rows_P), cols_P(cols_P) > { > > int debug = 1; > int i, j, k; > > // Convert the standard double representation to a much > // accurate representation > vector<mpf_class> *P1_row = double2mpzclass(Points, &rows_P, &cols_P); > vector<vector<mpf_class> > *P1 = vec2mat(P1_row, &rows_P, &cols_P); > vector<mpf_class> single_point; > > list<Variable> VarList; > list<Variable>::iterator it; > Linear_Expression lin_exp[rows_P]; > if (debug) > cout << "Cols num: " << cols_P << "\n"; > > for(i=0; i< cols_P; i++) // create a list of n_col_C "Variable" objects > VarList.push_back(Variable(i)); > > C_Polyhedron ph (cols_P, EMPTY); > > if (debug) > cout << "Rows num: " << rows_P << "\n"; > for (j = 0; j < rows_P; j++) > { > if (debug) > cout << " j = " << j << "\n"; > single_point.clear(); > > /*Create linear expression for expressing the point*/ > if (debug) > cout << " k = "; > for (k = 0; k < cols_P; k++){ // pick the needed row of matrix C > if (debug) > cout << "(" << k << ") " << (*P1)[k][j] << " "; > single_point.push_back((*P1)[k][j]); > > } > if (debug) > cout << ";\n"; > > > int m; > for ( it=VarList.begin() ; it != VarList.end(); it++ ) // > creates linear expression "lin_exp_temp" by using the iterator of the > Variable-List > { > m = it->id(); > if (debug) > cout << " m = " << m <<"\n"; > lin_exp[j]+=single_point[m]*(*it); > } > > ph.add_generator(point(lin_exp[j])); > } > P = ph; > } > > > > After obtaining a polytope I need to have the following representation > to store the polytope back in matlab C * x <= d. > > Now as I wrote in a previous email I saw that with: > > Constraint_System ConSys_P; > ConSys_P = P.constraints(); > > we can actually obtain the representation: C * x >= d > > but if I print the constraints: > > ConSys_P.print(); > > -A + C >= 0, -C >= -1, A >= 0, B >= 0, -B >= -1 > > This does not seem to match with the points and it seems an over > approximation. I would expected constraints more tight constraints. > > Why is like that ? > > > Thanks, > > Best > > > Ezio > > > > > > > > > -- > Dr. Ezio Bartocci, Assistant Professor > Dependable Systems Group > Department of Computer Engineering > Faculty of informatics > TU Wien, Vienna University of Technology, Austria > Treitlstraße 3, 1040 Vienna, Austria > E-Mail: ezio.bartocci(a)tuwien.ac.at > Phone: +43 (1) 58801 - 18210 > Webiste: http://www.eziobartocci.com -- Dr. Ezio Bartocci, Assistant Professor Dependable Systems Group Department of Computer Engineering Faculty of informatics TU Wien, Vienna University of Technology, Austria Treitlstraße 3, 1040 Vienna, Austria E-Mail: ezio.bartocci(a)tuwien.ac.at Phone: +43 (1) 58801 - 18210 Webiste: http://www.eziobartocci.com

2 6

PIP and SWI-Prolog, bug?
by Fred Mesnard 04 May '12

04 May '12

Hi there! I am using PPL 1.0pre1 (GIT version) with SWI-Prolog 6.1.3 and I think I find a bug wrt PIP: Call: (8) ppl_new_PIP_Problem_from_space_dimension(6, _G10879) ? skip Exit: (8) ppl_new_PIP_Problem_from_space_dimension(6, 935460) ? creep Call: (8) ppl_PIP_Problem_add_constraints(935460, [A-B-C+D>=0, F= -A+B+E, D= -1-A+B+C]) ? creep Exit: (8) ppl_PIP_Problem_add_constraints(935460, []) ? Call: (8) ppl_PIP_Problem_is_satisfiable(935460) ? skip Exit: (8) ppl_PIP_Problem_is_satisfiable(935460) ? IMO, this last call should fail because the [A-B-C+D>=0, F= -A+B+E, D= -1-A+B+C] is not satisfiable. Note that [A-B-C+D>=0, D= -1-A+B+C] is correctly reported as unsatisfiable. Do you confirm it's a bug from PIP? Thanks in advance, Fred ---------------------------------------------------------------------------------------------------------------

2 3