On Sun, Sep 7, 2008 at 2:06 AM, Roberto Bagnara bagnara@cs.unipr.it wrote:
It shouldn't be. Please send me the generated config.log file.
Dear Roberto,
Thanks so much for the help. Please scroll below for the content of the file.
Best, Swarat
-------------------------------------
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.9, which was generated by GNU Autoconf 2.59. Invocation command line was
$ ./configure --with-libgmpxx-prefix=/usr/local/lib
## --------- ## ## Platform. ## ## --------- ##
hostname = sisyphus.cse.psu.edu uname -m = i386 uname -r = 9.2.0 uname -s = Darwin uname -v = Darwin Kernel Version 9.2.0: Tue Feb 5 16:13:22 PST 2008; root:xnu-1228.3.13~1/RELEASE_I386
/usr/bin/uname -p = i386 /bin/uname -X = unknown
/bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown hostinfo = Mach kernel version: Darwin Kernel Version 9.2.0: Tue Feb 5 16:13:22 PST 2008; root:xnu-1228.3.13~1/RELEASE_I386 Kernel configured for up to 2 processors. 2 processors are physically available. 2 processors are logically available. Processor type: i486 (Intel 80486) Processors active: 0 1 Primary memory available: 4.00 gigabytes Default processor set: 87 tasks, 258 threads, 2 processors Load average: 0.36, Mach factor: 1.63 /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown
PATH: /opt/local/bin PATH: /opt/local/sbin PATH: /usr/texbin PATH: /Volumes/swarat/Tools/cil/bin PATH: /usr/bin PATH: /bin PATH: /usr/sbin PATH: /sbin PATH: /usr/local/bin PATH: /usr/texbin PATH: /usr/X11/bin
## ----------- ## ## Core tests. ## ## ----------- ##
configure:1583: checking for a BSD-compatible install configure:1638: result: /usr/bin/install -c configure:1649: checking whether build environment is sane configure:1692: result: yes configure:1757: checking for gawk configure:1786: result: no configure:1757: checking for mawk configure:1786: result: no configure:1757: checking for nawk configure:1786: result: no configure:1757: checking for awk configure:1773: found /usr/bin/awk configure:1783: result: awk configure:1793: checking whether make sets $(MAKE) configure:1813: result: yes configure:2032: checking build system type configure:2050: result: i386-apple-darwin9.2.0 configure:2058: checking host system type configure:2072: result: i386-apple-darwin9.2.0 configure:2111: checking whether to compile with debug info configure:2120: result: yes configure:2136: checking whether to compile for profiling configure:2151: result: no configure:2162: checking whether to compile for test coverage configure:2177: result: no configure:2188: checking whether to enable checking of run-time assertions configure:2201: result: no configure:2213: checking whether to enable even more run-time assertions configure:2226: result: no configure:2271: checking whether to enable optimizations configure:2298: result: standard configure:2324: checking for which architecture to optimize configure:2347: result: default configure:2358: checking whether to use precompiled headers configure:2372: result: no configure:2396: checking the type of integral values to use as coefficients configure:2461: result: GMP mpz configure:2614: checking for egrep configure:2624: result: grep -E configure:2675: checking for gcc configure:2691: found /usr/bin/gcc configure:2701: result: gcc configure:2945: checking for C compiler version configure:2948: gcc --version </dev/null >&5 i686-apple-darwin9-gcc-4.0.1 (GCC) 4.0.1 (Apple Inc. build 5484) Copyright (C) 2005 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:2951: $? = 0 configure:2953: gcc -v </dev/null >&5 Using built-in specs. Target: i686-apple-darwin9 Configured with: /var/tmp/gcc/gcc-5484~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --with-arch=apple --with-tune=generic --host=i686-apple-darwin9 --target=i686-apple-darwin9 Thread model: posix gcc version 4.0.1 (Apple Inc. build 5484) configure:2956: $? = 0 configure:2958: gcc -V </dev/null >&5 gcc-4.0: argument to `-V' is missing configure:2961: $? = 1 configure:2984: checking for C compiler default output file name configure:2987: gcc -g -O2 conftest.c >&5 configure:2990: $? = 0 configure:3036: result: a.out configure:3041: checking whether the C compiler works configure:3047: ./a.out configure:3050: $? = 0 configure:3067: result: yes configure:3074: checking whether we are cross compiling configure:3076: result: no configure:3079: checking for suffix of executables configure:3081: gcc -o conftest -g -O2 conftest.c >&5 configure:3084: $? = 0 configure:3109: result: configure:3115: checking for suffix of object files configure:3136: gcc -c -g -O2 conftest.c >&5 configure:3139: $? = 0 configure:3161: result: o configure:3165: checking whether we are using the GNU C compiler configure:3189: gcc -c -g -O2 conftest.c >&5 configure:3195: $? = 0 configure:3199: test -z || test ! -s conftest.err configure:3202: $? = 0 configure:3205: test -s conftest.o configure:3208: $? = 0 configure:3221: result: yes configure:3227: checking whether gcc accepts -g configure:3248: gcc -c -g conftest.c >&5 configure:3254: $? = 0 configure:3258: test -z || test ! -s conftest.err configure:3261: $? = 0 configure:3264: test -s conftest.o configure:3267: $? = 0 configure:3278: result: yes configure:3295: checking for gcc option to accept ANSI C configure:3365: gcc -c -g -O2 conftest.c >&5 configure:3371: $? = 0 configure:3375: test -z || test ! -s conftest.err configure:3378: $? = 0 configure:3381: test -s conftest.o configure:3384: $? = 0 configure:3402: result: none needed configure:3420: gcc -c -g -O2 conftest.c >&5 conftest.c:2: error: syntax error before 'me' configure:3426: $? = 1 configure: failed program was: | #ifndef __cplusplus | choke me | #endif configure:3570: checking for style of include used by make configure:3598: result: GNU configure:3626: checking dependency style of gcc configure:3716: result: gcc3 configure:3785: checking for g++ configure:3801: found /usr/bin/g++ configure:3811: result: g++ configure:3827: checking for C++ compiler version configure:3830: g++ --version </dev/null >&5 i686-apple-darwin9-g++-4.0.1 (GCC) 4.0.1 (Apple Inc. build 5484) Copyright (C) 2005 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:3833: $? = 0 configure:3835: g++ -v </dev/null >&5 Using built-in specs. Target: i686-apple-darwin9 Configured with: /var/tmp/gcc/gcc-5484~1/src/configure --disable-checking -enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.0/ --with-gxx-include-dir=/include/c++/4.0.0 --with-slibdir=/usr/lib --build=i686-apple-darwin9 --with-arch=apple --with-tune=generic --host=i686-apple-darwin9 --target=i686-apple-darwin9 Thread model: posix gcc version 4.0.1 (Apple Inc. build 5484) configure:3838: $? = 0 configure:3840: g++ -V </dev/null >&5 g++-4.0: argument to `-V' is missing configure:3843: $? = 1 configure:3846: checking whether we are using the GNU C++ compiler configure:3870: g++ -c -g -O2 conftest.cc >&5 configure:3876: $? = 0 configure:3880: test -z || test ! -s conftest.err configure:3883: $? = 0 configure:3886: test -s conftest.o configure:3889: $? = 0 configure:3902: result: yes configure:3908: checking whether g++ accepts -g configure:3929: g++ -c -g conftest.cc >&5 configure:3935: $? = 0 configure:3939: test -z || test ! -s conftest.err configure:3942: $? = 0 configure:3945: test -s conftest.o configure:3948: $? = 0 configure:3959: result: yes configure:4001: g++ -c -g -O2 conftest.cc >&5 configure:4007: $? = 0 configure:4011: test -z || test ! -s conftest.err configure:4014: $? = 0 configure:4017: test -s conftest.o configure:4020: $? = 0 configure:4046: g++ -c -g -O2 conftest.cc >&5 conftest.cc: In function 'int main()': conftest.cc:20: error: 'exit' was not declared in this scope configure:4052: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | /* end confdefs.h. */ | | int | main () | { | exit (42); | ; | return 0; | } configure:4001: g++ -c -g -O2 conftest.cc >&5 /usr/include/stdlib.h:159: error: declaration of 'void std::exit(int)' throws different exceptions conftest.cc:16: error: than previous declaration 'void std::exit(int) throw ()' configure:4007: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | /* end confdefs.h. */ | extern "C" void std::exit (int) throw (); using std::exit; | #include <stdlib.h> | int | main () | { | exit (42); | ; | return 0; | } configure:4001: g++ -c -g -O2 conftest.cc >&5 configure:4007: $? = 0 configure:4011: test -z || test ! -s conftest.err configure:4014: $? = 0 configure:4017: test -s conftest.o configure:4020: $? = 0 configure:4046: g++ -c -g -O2 conftest.cc >&5 configure:4052: $? = 0 configure:4056: test -z || test ! -s conftest.err configure:4059: $? = 0 configure:4062: test -s conftest.o configure:4065: $? = 0 configure:4090: checking dependency style of g++ configure:4180: result: gcc3 configure:4202: checking how to run the C++ preprocessor configure:4233: g++ -E conftest.cc configure:4239: $? = 0 configure:4271: g++ -E conftest.cc conftest.cc:19:28: error: ac_nonexistent.h: No such file or directory configure:4277: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:4316: result: g++ -E configure:4340: g++ -E conftest.cc configure:4346: $? = 0 configure:4378: g++ -E conftest.cc conftest.cc:19:28: error: ac_nonexistent.h: No such file or directory configure:4384: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:4427: checking whether make sets $(MAKE) configure:4447: result: yes configure:4469: checking for a BSD-compatible install configure:4524: result: /usr/bin/install -c configure:4539: checking for perl configure:4557: found /usr/bin/perl configure:4570: result: /usr/bin/perl configure:4597: checking for an ANSI C-conforming const configure:4664: gcc -c -g -O2 conftest.c >&5 configure:4670: $? = 0 configure:4674: test -z || test ! -s conftest.err configure:4677: $? = 0 configure:4680: test -s conftest.o configure:4683: $? = 0 configure:4694: result: yes configure:4704: checking for inline configure:4725: gcc -c -g -O2 conftest.c >&5 configure:4731: $? = 0 configure:4735: test -z || test ! -s conftest.err configure:4738: $? = 0 configure:4741: test -s conftest.o configure:4744: $? = 0 configure:4756: result: inline configure:4775: checking whether byte ordering is bigendian configure:4802: gcc -c -g -O2 conftest.c >&5 configure:4808: $? = 0 configure:4812: test -z || test ! -s conftest.err configure:4815: $? = 0 configure:4818: test -s conftest.o configure:4821: $? = 0 configure:4845: gcc -c -g -O2 conftest.c >&5 conftest.c: In function 'main': conftest.c:26: error: 'not' undeclared (first use in this function) conftest.c:26: error: (Each undeclared identifier is reported only once conftest.c:26: error: for each function it appears in.) conftest.c:26: error: syntax error before 'big' configure:4851: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | /* 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:4986: result: no configure:5012: checking how to run the C preprocessor configure:5047: gcc -E conftest.c configure:5053: $? = 0 configure:5085: gcc -E conftest.c conftest.c:19:28: error: ac_nonexistent.h: No such file or directory configure:5091: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:5130: result: gcc -E configure:5154: gcc -E conftest.c configure:5160: $? = 0 configure:5192: gcc -E conftest.c conftest.c:19:28: error: ac_nonexistent.h: No such file or directory configure:5198: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:5242: checking for ANSI C header files configure:5267: gcc -c -g -O2 conftest.c >&5 configure:5273: $? = 0 configure:5277: test -z || test ! -s conftest.err configure:5280: $? = 0 configure:5283: test -s conftest.o configure:5286: $? = 0 configure:5375: gcc -o conftest -g -O2 conftest.c >&5 conftest.c: In function 'main': conftest.c:36: warning: incompatible implicit declaration of built-in function 'exit' configure:5378: $? = 0 configure:5380: ./conftest configure:5383: $? = 0 configure:5398: result: yes configure:5422: checking for sys/types.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for sys/stat.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for stdlib.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for string.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for memory.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for strings.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for inttypes.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for stdint.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5422: checking for unistd.h configure:5438: gcc -c -g -O2 conftest.c >&5 configure:5444: $? = 0 configure:5448: test -z || test ! -s conftest.err configure:5451: $? = 0 configure:5454: test -s conftest.o configure:5457: $? = 0 configure:5468: result: yes configure:5480: checking for int configure:5504: gcc -c -g -O2 conftest.c >&5 configure:5510: $? = 0 configure:5514: test -z || test ! -s conftest.err configure:5517: $? = 0 configure:5520: test -s conftest.o configure:5523: $? = 0 configure:5534: result: yes configure:5537: checking size of int configure:5856: gcc -o conftest -g -O2 conftest.c >&5 configure:5859: $? = 0 configure:5861: ./conftest configure:5864: $? = 0 configure:5887: result: 4 configure:5894: checking for long configure:5918: gcc -c -g -O2 conftest.c >&5 configure:5924: $? = 0 configure:5928: test -z || test ! -s conftest.err configure:5931: $? = 0 configure:5934: test -s conftest.o configure:5937: $? = 0 configure:5948: result: yes configure:5951: checking size of long configure:6270: gcc -o conftest -g -O2 conftest.c >&5 configure:6273: $? = 0 configure:6275: ./conftest configure:6278: $? = 0 configure:6301: result: 4 configure:6308: checking for long long configure:6332: gcc -c -g -O2 conftest.c >&5 configure:6338: $? = 0 configure:6342: test -z || test ! -s conftest.err configure:6345: $? = 0 configure:6348: test -s conftest.o configure:6351: $? = 0 configure:6362: result: yes configure:6365: checking size of long long configure:6684: gcc -o conftest -g -O2 conftest.c >&5 configure:6687: $? = 0 configure:6689: ./conftest configure:6692: $? = 0 configure:6715: result: 8 configure:6722: checking for unsigned configure:6746: gcc -c -g -O2 conftest.c >&5 configure:6752: $? = 0 configure:6756: test -z || test ! -s conftest.err configure:6759: $? = 0 configure:6762: test -s conftest.o configure:6765: $? = 0 configure:6776: result: yes configure:6779: checking size of unsigned configure:7098: gcc -o conftest -g -O2 conftest.c >&5 configure:7101: $? = 0 configure:7103: ./conftest configure:7106: $? = 0 configure:7129: result: 4 configure:7136: checking for unsigned long configure:7160: gcc -c -g -O2 conftest.c >&5 configure:7166: $? = 0 configure:7170: test -z || test ! -s conftest.err configure:7173: $? = 0 configure:7176: test -s conftest.o configure:7179: $? = 0 configure:7190: result: yes configure:7193: checking size of unsigned long configure:7512: gcc -o conftest -g -O2 conftest.c >&5 configure:7515: $? = 0 configure:7517: ./conftest configure:7520: $? = 0 configure:7543: result: 4 configure:7550: checking for unsigned long long configure:7574: gcc -c -g -O2 conftest.c >&5 configure:7580: $? = 0 configure:7584: test -z || test ! -s conftest.err configure:7587: $? = 0 configure:7590: test -s conftest.o configure:7593: $? = 0 configure:7604: result: yes configure:7607: checking size of unsigned long long configure:7926: gcc -o conftest -g -O2 conftest.c >&5 configure:7929: $? = 0 configure:7931: ./conftest configure:7934: $? = 0 configure:7957: result: 8 configure:7964: checking for size_t configure:7988: gcc -c -g -O2 conftest.c >&5 configure:7994: $? = 0 configure:7998: test -z || test ! -s conftest.err configure:8001: $? = 0 configure:8004: test -s conftest.o configure:8007: $? = 0 configure:8018: result: yes configure:8021: checking size of size_t configure:8340: gcc -o conftest -g -O2 conftest.c >&5 configure:8343: $? = 0 configure:8345: ./conftest configure:8348: $? = 0 configure:8371: result: 4 configure:8378: checking for float configure:8402: gcc -c -g -O2 conftest.c >&5 configure:8408: $? = 0 configure:8412: test -z || test ! -s conftest.err configure:8415: $? = 0 configure:8418: test -s conftest.o configure:8421: $? = 0 configure:8432: result: yes configure:8435: checking size of float configure:8754: gcc -o conftest -g -O2 conftest.c >&5 configure:8757: $? = 0 configure:8759: ./conftest configure:8762: $? = 0 configure:8785: result: 4 configure:8792: checking for double configure:8816: gcc -c -g -O2 conftest.c >&5 configure:8822: $? = 0 configure:8826: test -z || test ! -s conftest.err configure:8829: $? = 0 configure:8832: test -s conftest.o configure:8835: $? = 0 configure:8846: result: yes configure:8849: checking size of double configure:9168: gcc -o conftest -g -O2 conftest.c >&5 configure:9171: $? = 0 configure:9173: ./conftest configure:9176: $? = 0 configure:9199: result: 8 configure:9206: checking for long double configure:9230: gcc -c -g -O2 conftest.c >&5 configure:9236: $? = 0 configure:9240: test -z || test ! -s conftest.err configure:9243: $? = 0 configure:9246: test -s conftest.o configure:9249: $? = 0 configure:9260: result: yes configure:9263: checking size of long double configure:9582: gcc -o conftest -g -O2 conftest.c >&5 configure:9585: $? = 0 configure:9587: ./conftest configure:9590: $? = 0 configure:9613: result: 16 configure:9653: checking fenv.h usability configure:9665: g++ -c -g -O2 conftest.cc >&5 configure:9671: $? = 0 configure:9675: test -z || test ! -s conftest.err configure:9678: $? = 0 configure:9681: test -s conftest.o configure:9684: $? = 0 configure:9694: result: yes configure:9698: checking fenv.h presence configure:9708: g++ -E conftest.cc configure:9714: $? = 0 configure:9734: result: yes configure:9769: checking for fenv.h configure:9776: result: yes configure:9653: checking ieeefp.h usability configure:9665: g++ -c -g -O2 conftest.cc >&5 conftest.cc:74:20: error: ieeefp.h: No such file or directory configure:9671: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define HAVE_FENV_H 1 | /* end confdefs.h. */ | #include <stdio.h> | #if HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #if HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #if STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # if HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #if HAVE_STRING_H | # if !STDC_HEADERS && HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #if HAVE_STRINGS_H | # include <strings.h> | #endif | #if HAVE_INTTYPES_H | # include <inttypes.h> | #else | # if HAVE_STDINT_H | # include <stdint.h> | # endif | #endif | #if HAVE_UNISTD_H | # include <unistd.h> | #endif | #include <ieeefp.h> configure:9694: result: no configure:9698: checking ieeefp.h presence configure:9708: g++ -E conftest.cc conftest.cc:40:20: error: ieeefp.h: No such file or directory configure:9714: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define HAVE_FENV_H 1 | /* end confdefs.h. */ | #include <ieeefp.h> configure:9734: result: no configure:9769: checking for ieeefp.h configure:9776: result: no configure:9789: checking for the possibility to control the FPU configure:9813: g++ -c -g -O2 conftest.cc >&5 configure:9819: $? = 0 configure:9823: test -z || test ! -s conftest.err configure:9826: $? = 0 configure:9829: test -s conftest.o configure:9832: $? = 0 configure:9834: result: yes configure:9881: checking the binary format of C++ floats configure:9940: g++ -o conftest -g -O2 conftest.cc >&5 configure:9943: $? = 0 configure:9945: ./conftest configure:9948: $? = 0 configure:9965: result: IEEE754 Single Precision configure:10011: checking the binary format of C++ doubles configure:10079: g++ -o conftest -g -O2 conftest.cc >&5 configure:10082: $? = 0 configure:10084: ./conftest configure:10087: $? = 0 configure:10104: result: IEEE754 Double Precision configure:10150: checking the binary format of C++ long doubles configure:10219: g++ -o conftest -g -O2 conftest.cc >&5 configure:10222: $? = 0 configure:10224: ./conftest configure:10227: $? = 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.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define HAVE_FENV_H 1 | #define PPL_CAN_CONTROL_FPU 1 | #define CXX_FLOAT_BINARY_FORMAT float_ieee754_single | #define PPL_SUPPORTED_FLOAT 1 | #define CXX_DOUBLE_BINARY_FORMAT float_ieee754_double | #define PPL_SUPPORTED_DOUBLE 1 | /* end confdefs.h. */ | | #include <limits> | #ifdef HAVE_STDINT_H | #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() { | return std::numeric_limits<long double>::is_iec559 | && (convert(0xaaacccaaUL, 0xacccaaacccaaacccULL) | == -23475151196235330448360987288488448023604990597437922665537894499317141030270831473500040521309097782521743811281100731620612303910141158923283064807755815684643856544564541670181998003713114595098650350075763370916908460284838902787487703020001649220669684278577319085319204471093693972621987808779314674903648668236688723332999785552894845325917244897920804830290985291535343986477508649100409893486651507134071296739623686984014433965803259868867855465109457220731656260670349710137932272802677796915669809481885196101414678015638835049035133835457854893845093496950772367562664955830097293678125205138879788670490610650322134182370990336443894886171520732434535881085387893610114822547025980969387956199048733969351859470324032549906964255557877860343871346618951696178837035563054101786829980983909935265617095747543882856776297861197958453847978446679149969948882161264279705948735019353220550905117946051015070744207453853343171175921378515361160726195198161165083475968.0L | && convert(0xcccaaaccUL, 0xcaaacccaaacccaaaULL) | == -3.234349908433673569788362433758236701401379200386310478070230491201716094576208088733092209352711081763530973139439402754721006217889031902309566905344106766697050593355851405189694125966100801537593811320493850579152938679705465870788684523518541806158791408378718596936132854683425581754205242594614192465876640102628432246897674583649745467641139234207139584810101868772915312454075582265240687184279243861217351667059920878236164506473261797703393981510799228030778152399657445848839855361831637014754038570644257393307922665529947406582062857348101442206039278033447012163028384634753160589791458287895963629514043345016273218385584012204321293761500625038828699451659598873739820939586314044735551522599884065690704853850058509917597610804664086074437219778400030370474948166770867639885264893441594112815147445129222900623635467542926999246959939000796968650036727515644358583656635086409945418378371210848857160579105176395869221692977516017583375976424496977231821652434877830409470264872174e-1634L) | ? 0 : 1; | } | | #else // SIZEOF_LONG_DOUBLE != 12 | | int | main() { | return 1; | } | | #endif // SIZEOF_LONG_DOUBLE != 12 | configure:10311: g++ -o conftest -g -O2 conftest.cc >&5 configure:10314: $? = 0 configure:10316: ./conftest configure:10319: $? = 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.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define HAVE_FENV_H 1 | #define PPL_CAN_CONTROL_FPU 1 | #define CXX_FLOAT_BINARY_FORMAT float_ieee754_single | #define PPL_SUPPORTED_FLOAT 1 | #define CXX_DOUBLE_BINARY_FORMAT float_ieee754_double | #define PPL_SUPPORTED_DOUBLE 1 | /* end confdefs.h. */ | | #include <limits> | #ifdef HAVE_STDINT_H | #include <stdint.h> | #endif | #ifdef HAVE_INTTYPES_H | #include <inttypes.h> | #endif | | #if SIZEOF_LONG_DOUBLE == 16 | | long double | convert(uint64_t msp, uint64_t lsp) { | union { | long double value; | struct { | #ifdef WORDS_BIGENDIAN | uint64_t msp; | uint64_t lsp; | #else | uint64_t lsp; | uint64_t msp; | #endif | } parts; | } u; | | u.parts.msp = msp; | u.parts.lsp = lsp; | return u.value; | } | | int | main() { | return std::numeric_limits<long double>::is_iec559 | && (convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL) | == -8.5585565388510043474134185399390263e-1644L | && convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL) | == -1.245145811075115522107964569349668e+986L) | ? 0 : 1; | } | | #else // SIZEOF_LONG_DOUBLE != 16 | | int | main() { | return 1; | } | | #endif // SIZEOF_LONG_DOUBLE != 16 | configure:10404: g++ -o conftest -g -O2 conftest.cc >&5 configure:10407: $? = 0 configure:10409: ./conftest configure:10412: $? = 0 configure:10523: result: Intel Double-Extended configure:10569: checking whether the C++ compiler supports flexible arrays configure:10630: g++ -o conftest -g -O2 conftest.cc >&5 configure:10633: $? = 0 configure:10635: ./conftest configure:10638: $? = 0 configure:10640: result: yes configure:10689: checking whether the C++ compiler supports __attribute__ ((weak)) configure:10707: g++ -c -g -O2 conftest.cc >&5 configure:10713: $? = 0 configure:10717: test -z || test ! -s conftest.err configure:10720: $? = 0 configure:10723: test -s conftest.o configure:10726: $? = 0 configure:10728: result: yes configure:10764: checking whether ffs is declared configure:10789: g++ -c -g -O2 conftest.cc >&5 configure:10795: $? = 0 configure:10799: test -z || test ! -s conftest.err configure:10802: $? = 0 configure:10805: test -s conftest.o configure:10808: $? = 0 configure:10819: result: yes configure:10837: checking whether getenv is declared configure:10862: g++ -c -g -O2 conftest.cc >&5 configure:10868: $? = 0 configure:10872: test -z || test ! -s conftest.err configure:10875: $? = 0 configure:10878: test -s conftest.o configure:10881: $? = 0 configure:10892: result: yes configure:10908: checking whether strtof is declared configure:10933: g++ -c -g -O2 conftest.cc >&5 configure:10939: $? = 0 configure:10943: test -z || test ! -s conftest.err configure:10946: $? = 0 configure:10949: test -s conftest.o configure:10952: $? = 0 configure:10963: result: yes configure:10979: checking whether strtod is declared configure:11004: g++ -c -g -O2 conftest.cc >&5 configure:11010: $? = 0 configure:11014: test -z || test ! -s conftest.err configure:11017: $? = 0 configure:11020: test -s conftest.o configure:11023: $? = 0 configure:11034: result: yes configure:11050: checking whether strtold is declared configure:11075: g++ -c -g -O2 conftest.cc >&5 configure:11081: $? = 0 configure:11085: test -z || test ! -s conftest.err configure:11088: $? = 0 configure:11091: test -s conftest.o configure:11094: $? = 0 configure:11105: result: yes configure:11121: checking whether strtoll is declared configure:11146: g++ -c -g -O2 conftest.cc >&5 configure:11152: $? = 0 configure:11156: test -z || test ! -s conftest.err configure:11159: $? = 0 configure:11162: test -s conftest.o configure:11165: $? = 0 configure:11176: result: yes configure:11192: checking whether strtoull is declared configure:11217: g++ -c -g -O2 conftest.cc >&5 configure:11223: $? = 0 configure:11227: test -z || test ! -s conftest.err configure:11230: $? = 0 configure:11233: test -s conftest.o configure:11236: $? = 0 configure:11247: result: yes configure:11265: checking whether fma is declared configure:11290: g++ -c -g -O2 conftest.cc >&5 configure:11296: $? = 0 configure:11300: test -z || test ! -s conftest.err configure:11303: $? = 0 configure:11306: test -s conftest.o configure:11309: $? = 0 configure:11320: result: yes configure:11336: checking whether fmaf is declared configure:11361: g++ -c -g -O2 conftest.cc >&5 configure:11367: $? = 0 configure:11371: test -z || test ! -s conftest.err configure:11374: $? = 0 configure:11377: test -s conftest.o configure:11380: $? = 0 configure:11391: result: yes configure:11407: checking whether fmal is declared configure:11432: g++ -c -g -O2 conftest.cc >&5 configure:11438: $? = 0 configure:11442: test -z || test ! -s conftest.err configure:11445: $? = 0 configure:11448: test -s conftest.o configure:11451: $? = 0 configure:11462: result: yes configure:11478: checking whether rintf is declared configure:11503: g++ -c -g -O2 conftest.cc >&5 configure:11509: $? = 0 configure:11513: test -z || test ! -s conftest.err configure:11516: $? = 0 configure:11519: test -s conftest.o configure:11522: $? = 0 configure:11533: result: yes configure:11549: checking whether rintl is declared configure:11574: g++ -c -g -O2 conftest.cc >&5 configure:11580: $? = 0 configure:11584: test -z || test ! -s conftest.err configure:11587: $? = 0 configure:11590: test -s conftest.o configure:11593: $? = 0 configure:11604: result: yes configure:11624: checking for int_fast16_t configure:11648: g++ -c -g -O2 conftest.cc >&5 configure:11654: $? = 0 configure:11658: test -z || test ! -s conftest.err configure:11661: $? = 0 configure:11664: test -s conftest.o configure:11667: $? = 0 configure:11678: result: yes configure:11688: checking for int_fast32_t configure:11712: g++ -c -g -O2 conftest.cc >&5 configure:11718: $? = 0 configure:11722: test -z || test ! -s conftest.err configure:11725: $? = 0 configure:11728: test -s conftest.o configure:11731: $? = 0 configure:11742: result: yes configure:11752: checking for int_fast64_t configure:11776: g++ -c -g -O2 conftest.cc >&5 configure:11782: $? = 0 configure:11786: test -z || test ! -s conftest.err configure:11789: $? = 0 configure:11792: test -s conftest.o configure:11795: $? = 0 configure:11806: result: yes configure:11816: checking for uint_fast16_t configure:11840: g++ -c -g -O2 conftest.cc >&5 configure:11846: $? = 0 configure:11850: test -z || test ! -s conftest.err configure:11853: $? = 0 configure:11856: test -s conftest.o configure:11859: $? = 0 configure:11870: result: yes configure:11880: checking for uint_fast32_t configure:11904: g++ -c -g -O2 conftest.cc >&5 configure:11910: $? = 0 configure:11914: test -z || test ! -s conftest.err configure:11917: $? = 0 configure:11920: test -s conftest.o configure:11923: $? = 0 configure:11934: result: yes configure:11944: checking for uint_fast64_t configure:11968: g++ -c -g -O2 conftest.cc >&5 configure:11974: $? = 0 configure:11978: test -z || test ! -s conftest.err configure:11981: $? = 0 configure:11984: test -s conftest.o configure:11987: $? = 0 configure:11998: result: yes configure:12055: checking for ld used by GCC configure:12119: result: /usr/libexec/gcc/i686-apple-darwin9/4.0.1/ld configure:12128: checking if the linker (/usr/libexec/gcc/i686-apple-darwin9/4.0.1/ld) is GNU ld configure:12141: result: no configure:12148: checking for shared library run path origin configure:12161: result: done configure:12192: checking how to link with libgmp configure:12581: result: -lgmp configure:12621: checking how to link with libgmpxx configure:13010: result: -lgmpxx -lgmp configure:13054: checking for the GMP library version 4.1.3 or above configure:13081: g++ -o conftest -g -O2 conftest.cc -lgmpxx -lgmp >&5 ld warning: in /usr/local/lib/libgmpxx.dylib, file is not of required architecture ld warning: in /usr/local/lib/libgmp.dylib, file is not of required architecture Undefined symbols: "___gmpz_clear", referenced from: _main in ccxmmb5n.o _main in ccxmmb5n.o "___gmpz_init_set_str", referenced from: _main in ccxmmb5n.o ld: symbol(s) not found collect2: ld returned 1 exit status configure:13084: $? = 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.9" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.9" | #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define COEFFICIENT_BITS 0 | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 16 | #define HAVE_FENV_H 1 | #define PPL_CAN_CONTROL_FPU 1 | #define CXX_FLOAT_BINARY_FORMAT float_ieee754_single | #define PPL_SUPPORTED_FLOAT 1 | #define CXX_DOUBLE_BINARY_FORMAT float_ieee754_double | #define PPL_SUPPORTED_DOUBLE 1 | #define CXX_LONG_DOUBLE_BINARY_FORMAT float_intel_double_extended | #define PPL_SUPPORTED_LONG_DOUBLE 1 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 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 <gmpxx.h> | | #if __GNU_MP_VERSION < 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR < 1) || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR == 1 && __GNU_MP_VERSION_PATCHLEVEL < 3) | #error "GMP version 4.1.3 or higher is required" | #endif | | int main() { | mpz_class n("3141592653589793238462643383279502884"); | return 0; | } | configure:13100: result: no configure:13637: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options.
## ---------------- ## ## Cache variables. ## ## ---------------- ##
ac_cv_build=i386-apple-darwin9.2.0 ac_cv_build_alias=i386-apple-darwin9.2.0 ac_cv_c_bigendian=no ac_cv_c_compiler_gnu=yes ac_cv_c_const=yes ac_cv_c_inline=inline ac_cv_can_control_fpu=1 ac_cv_cxx_compiler_gnu=yes ac_cv_env_CC_set= ac_cv_env_CC_value= ac_cv_env_CFLAGS_set= ac_cv_env_CFLAGS_value= ac_cv_env_CPPFLAGS_set= ac_cv_env_CPPFLAGS_value= ac_cv_env_CPP_set= ac_cv_env_CPP_value= ac_cv_env_CXXCPP_set= ac_cv_env_CXXCPP_value= ac_cv_env_CXXFLAGS_set= ac_cv_env_CXXFLAGS_value= ac_cv_env_CXX_set= ac_cv_env_CXX_value= ac_cv_env_F77_set= ac_cv_env_F77_value= ac_cv_env_FFLAGS_set= ac_cv_env_FFLAGS_value= ac_cv_env_LDFLAGS_set= ac_cv_env_LDFLAGS_value= ac_cv_env_build_alias_set= ac_cv_env_build_alias_value= ac_cv_env_host_alias_set= ac_cv_env_host_alias_value= ac_cv_env_target_alias_set= ac_cv_env_target_alias_value= ac_cv_exeext= ac_cv_have_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_rintf=yes ac_cv_have_decl_rintl=yes ac_cv_have_decl_strtod=yes ac_cv_have_decl_strtof=yes ac_cv_have_decl_strtold=yes ac_cv_have_decl_strtoll=yes ac_cv_have_decl_strtoull=yes ac_cv_have_gmp=no ac_cv_header_fenv_h=yes ac_cv_header_ieeefp_h=no ac_cv_header_inttypes_h=yes ac_cv_header_memory_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_stat_h=yes ac_cv_header_sys_types_h=yes ac_cv_header_unistd_h=yes ac_cv_host=i386-apple-darwin9.2.0 ac_cv_host_alias=i386-apple-darwin9.2.0 ac_cv_libgmp_cppflags= ac_cv_libgmp_libs=-lgmp ac_cv_libgmp_ltlibs=-lgmp ac_cv_libgmpxx_cppflags= ac_cv_libgmpxx_libs='-lgmpxx -lgmp' ac_cv_libgmpxx_ltlibs='-lgmpxx -lgmp' ac_cv_objext=o ac_cv_path_PERL=/usr/bin/perl ac_cv_path_install='/usr/bin/install -c' ac_cv_prog_AWK=awk ac_cv_prog_CPP='gcc -E' ac_cv_prog_CXXCPP='g++ -E' ac_cv_prog_ac_ct_CC=gcc ac_cv_prog_ac_ct_CXX=g++ ac_cv_prog_cc_g=yes ac_cv_prog_cc_stdc= ac_cv_prog_cxx_g=yes ac_cv_prog_egrep='grep -E' ac_cv_prog_make_make_set=yes ac_cv_sizeof_double=8 ac_cv_sizeof_float=4 ac_cv_sizeof_int=4 ac_cv_sizeof_long=4 ac_cv_sizeof_long_double=16 ac_cv_sizeof_long_long=8 ac_cv_sizeof_size_t=4 ac_cv_sizeof_unsigned=4 ac_cv_sizeof_unsigned_long=4 ac_cv_sizeof_unsigned_long_long=8 ac_cv_type_double=yes ac_cv_type_float=yes ac_cv_type_int=yes ac_cv_type_int_fast16_t=yes ac_cv_type_int_fast32_t=yes ac_cv_type_int_fast64_t=yes ac_cv_type_long=yes ac_cv_type_long_double=yes ac_cv_type_long_long=yes ac_cv_type_size_t=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_unsigned=yes ac_cv_type_unsigned_long=yes ac_cv_type_unsigned_long_long=yes acl_cv_hardcode_direct=no acl_cv_hardcode_libdir_flag_spec= acl_cv_hardcode_libdir_separator= acl_cv_hardcode_minus_L=no acl_cv_libext=a acl_cv_path_LD=/usr/libexec/gcc/i686-apple-darwin9/4.0.1/ld acl_cv_prog_gnu_ld=no acl_cv_rpath=done acl_cv_shlibext=dylib acl_cv_wl=-Wl, am_cv_CC_dependencies_compiler_type=gcc3 am_cv_CXX_dependencies_compiler_type=gcc3
## ----------------- ## ## Output variables. ## ## ----------------- ##
ACLOCAL='${SHELL} /Users/swarat/Downloads/ppl-0.9/missing --run aclocal-1.9' AMDEPBACKSLASH='' AMDEP_FALSE='#' AMDEP_TRUE='' AMTAR='${SHELL} /Users/swarat/Downloads/ppl-0.9/missing --run tar' AR='' AS='' ASSERTIONS_ENABLED_FALSE='' ASSERTIONS_ENABLED_TRUE='#' AUTOCONF='${SHELL} /Users/swarat/Downloads/ppl-0.9/missing --run autoconf' AUTOHEADER='${SHELL} /Users/swarat/Downloads/ppl-0.9/missing --run autoheader' AUTOMAKE='${SHELL} /Users/swarat/Downloads/ppl-0.9/missing --run automake-1.9' AWK='awk' BUILD_CIAO_PROLOG_INTERFACE_FALSE='' BUILD_CIAO_PROLOG_INTERFACE_TRUE='' BUILD_C_INTERFACE_FALSE='' BUILD_C_INTERFACE_TRUE='' BUILD_GNU_PROLOG_INTERFACE_FALSE='' BUILD_GNU_PROLOG_INTERFACE_TRUE='' BUILD_SICSTUS_PROLOG_INTERFACE_FALSE='' BUILD_SICSTUS_PROLOG_INTERFACE_TRUE='' BUILD_SWI_PROLOG_INTERFACE_FALSE='' BUILD_SWI_PROLOG_INTERFACE_TRUE='' BUILD_WATCHDOG_LIBRARY_FALSE='' BUILD_WATCHDOG_LIBRARY_TRUE='' BUILD_XSB_PROLOG_INTERFACE_FALSE='' BUILD_XSB_PROLOG_INTERFACE_TRUE='' BUILD_YAP_PROLOG_INTERFACE_FALSE='' BUILD_YAP_PROLOG_INTERFACE_TRUE='' CAN_CONTROL_FPU_FALSE='#' CAN_CONTROL_FPU_TRUE='' CC='gcc' CCDEPMODE='depmode=gcc3' CFLAGS=' -g -O2' CIAO_PROLOG='' CPP='gcc -E' CPPFLAGS='' CXX='g++' CXXCPP='g++ -E' CXXDEPMODE='depmode=gcc3' CXXFLAGS=' -g -O2' CYGPATH_W='echo' DEFS='' DEPDIR='.deps' DLLTOOL='' ECHO='/bin/echo' ECHO_C='ECHO_N='' ECHO_T='' EGREP='grep -E' ENABLE_SHARED_FALSE='' ENABLE_SHARED_TRUE='' ENABLE_STATIC_FALSE='' ENABLE_STATIC_TRUE='' EXEEXT='' F77='' FFLAGS='' GNU_PROLOG='' HAVE_GLPK_FALSE='' HAVE_GLPK_TRUE='' HAVE_MD5SUM_FALSE='' HAVE_MD5SUM_TRUE='' HAVE_PERL_FALSE='#' HAVE_PERL_TRUE='' HOST_OS_CYGWIN_FALSE='' HOST_OS_CYGWIN_TRUE='' HOST_OS_DARWIN_FALSE='' HOST_OS_DARWIN_TRUE='' HOST_OS_SOLARIS_FALSE='' HOST_OS_SOLARIS_TRUE='' INSTALL_DATA='${INSTALL} -m 644' INSTALL_PROGRAM='${INSTALL}' INSTALL_SCRIPT='${INSTALL}' INSTALL_STRIP_PROGRAM='${SHELL} $(install_sh) -c -s' ISODATE='2008-09-07' LDFLAGS='' LIBGMP='-lgmp' LIBGMPXX='-lgmpxx -lgmp' LIBOBJS='' LIBS='' LIBTOOL='' LN_S='' LTLIBGMP='-lgmp' LTLIBGMPXX='-lgmpxx -lgmp' LTLIBOBJS='' MAKEINFO='${SHELL} /Users/swarat/Downloads/ppl-0.9/missing --run makeinfo' MD5SUM='' NO_UNDEFINED_FALSE='' NO_UNDEFINED_TRUE='' OBJDUMP='' OBJEXT='o' PACKAGE='ppl' PACKAGE_BUGREPORT='ppl-devel@cs.unipr.it' PACKAGE_NAME='the Parma Polyhedra Library' PACKAGE_STRING='the Parma Polyhedra Library 0.9' PACKAGE_TARNAME='ppl' PACKAGE_VERSION='0.9' PATH_SEPARATOR=':' PERL='/usr/bin/perl' PPL_CONFIGURE_OPTIONS='"'--with-libgmpxx-prefix=/usr/local/lib'"' PPL_VERSION_BETA='0' PPL_VERSION_MAJOR='0' PPL_VERSION_MINOR='9' PPL_VERSION_REVISION='0' RANLIB='' SET_MAKE='' SHELL='/bin/sh' SICSTUS_PROLOG_INCLUDE_OPTIONS='' STRIP='' SUPPORTED_DOUBLE_FALSE='#' SUPPORTED_DOUBLE_TRUE='' SUPPORTED_FLOAT_FALSE='#' SUPPORTED_FLOAT_TRUE='' SUPPORTED_LONG_DOUBLE_FALSE='#' SUPPORTED_LONG_DOUBLE_TRUE='' SWI_PROLOG_INCLUDE_OPTIONS='' TEXT_MD5SUM='' 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='#' VERSION='0.9' XSB_PROLOG_INCLUDE_OPTIONS='' YAP_PROLOG='' ac_ct_AR='' ac_ct_AS='' ac_ct_CC='gcc' ac_ct_CXX='g++' ac_ct_DLLTOOL='' ac_ct_F77='' ac_ct_OBJDUMP='' ac_ct_RANLIB='' ac_ct_STRIP='' am__fastdepCC_FALSE='#' am__fastdepCC_TRUE='' am__fastdepCXX_FALSE='#' am__fastdepCXX_TRUE='' am__include='include' am__leading_dot='.' am__quote='' am__tar='${AMTAR} chof - "$$tardir"' am__untar='${AMTAR} xf -' bindir='${exec_prefix}/bin' build='i386-apple-darwin9.2.0' build_alias='' build_cpu='i386' build_os='darwin9.2.0' build_vendor='apple' coefficient_mnemonic='mpz' datadir='${prefix}/share' debug_flag='-DNDEBUG=1' docdir='${datadir}/doc/ppl' exec_prefix='NONE' extra_includes='' extra_libraries=' -lm' host='i386-apple-darwin9.2.0' host_alias='' host_cpu='i386' host_os='darwin9.2.0' host_vendor='apple' includedir='${prefix}/include' infodir='${prefix}/info' install_sh='/Users/swarat/Downloads/ppl-0.9/install-sh' libdir='${exec_prefix}/lib' libexecdir='${exec_prefix}/libexec' localstatedir='${prefix}/var' mandir='${prefix}/man' mkdir_p='$(mkinstalldirs)' oldincludedir='/usr/include' prefix='NONE' program_transform_name='s,x,x,' sbindir='${exec_prefix}/sbin' sharedstatedir='${prefix}/com' sicstus_prolog='' subdirs='' swi_prolog='' sysconfdir='${prefix}/etc' target_alias='' xsb_prolog=''
## ----------- ## ## confdefs.h. ## ## ----------- ##
#define COEFFICIENT_BITS 0 #define COEFFICIENT_TYPE mpz_class #define CXX_DOUBLE_BINARY_FORMAT float_ieee754_double #define CXX_FLOAT_BINARY_FORMAT float_ieee754_single #define CXX_LONG_DOUBLE_BINARY_FORMAT float_intel_double_extended #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 #define GMP_INTEGERS 1 #define HAVE_DECL_FFS 1 #define HAVE_DECL_FMA 1 #define HAVE_DECL_FMAF 1 #define HAVE_DECL_FMAL 1 #define HAVE_DECL_GETENV 1 #define HAVE_DECL_RINTF 1 #define HAVE_DECL_RINTL 1 #define HAVE_DECL_STRTOD 1 #define HAVE_DECL_STRTOF 1 #define HAVE_DECL_STRTOLD 1 #define HAVE_DECL_STRTOLL 1 #define HAVE_DECL_STRTOULL 1 #define HAVE_FENV_H 1 #define HAVE_INTTYPES_H 1 #define HAVE_INT_FAST16_T 1 #define HAVE_INT_FAST32_T 1 #define HAVE_INT_FAST64_T 1 #define HAVE_MEMORY_H 1 #define HAVE_STDINT_H 1 #define HAVE_STDLIB_H 1 #define HAVE_STRINGS_H 1 #define HAVE_STRING_H 1 #define HAVE_SYS_STAT_H 1 #define HAVE_SYS_TYPES_H 1 #define HAVE_UINT_FAST16_T 1 #define HAVE_UINT_FAST32_T 1 #define HAVE_UINT_FAST64_T 1 #define HAVE_UNISTD_H 1 #define NDEBUG 1 #define PACKAGE "ppl" #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" #define PACKAGE_NAME "the Parma Polyhedra Library" #define PACKAGE_STRING "the Parma Polyhedra Library 0.9" #define PACKAGE_TARNAME "ppl" #define PACKAGE_VERSION "0.9" #define PPL_CAN_CONTROL_FPU 1 #define PPL_CONFIGURE_OPTIONS "'--with-libgmpxx-prefix=/usr/local/lib'" #define PPL_SUPPORTED_DOUBLE 1 #define PPL_SUPPORTED_FLOAT 1 #define PPL_SUPPORTED_LONG_DOUBLE 1 #define SIZEOF_DOUBLE 8 #define SIZEOF_FLOAT 4 #define SIZEOF_INT 4 #define SIZEOF_LONG 4 #define SIZEOF_LONG_DOUBLE 16 #define SIZEOF_LONG_LONG 8 #define SIZEOF_SIZE_T 4 #define SIZEOF_UNSIGNED 4 #define SIZEOF_UNSIGNED_LONG 4 #define SIZEOF_UNSIGNED_LONG_LONG 8 #define STDC_HEADERS 1 #define VERSION "0.9" #endif #ifdef __cplusplus extern "C" void std::exit (int); using std::exit;
configure: exit 1