Created
March 10, 2011 22:22
-
-
Save gilligan/865062 to your computer and use it in GitHub Desktop.
ppl configure fails because it doesn't find gmp
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| This file contains any messages produced by compilers while | |
| running configure, to aid debugging if configure makes a mistake. | |
| It was created by the Parma Polyhedra Library configure 0.10.2, which was | |
| generated by GNU Autoconf 2.63. Invocation command line was | |
| $ ./configure --disable-debug --disable-dependency-tracking --prefix=/usr/local/Cellar/ppl/0.10.2 --enable-optimization=sspeed | |
| ## --------- ## | |
| ## Platform. ## | |
| ## --------- ## | |
| hostname = elma | |
| uname -m = i386 | |
| uname -r = 10.6.0 | |
| uname -s = Darwin | |
| uname -v = Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/RELEASE_I386 | |
| /usr/bin/uname -p = i386 | |
| /bin/uname -X = unknown | |
| /bin/arch = unknown | |
| /usr/bin/arch -k = unknown | |
| /usr/convex/getsysinfo = unknown | |
| /usr/bin/hostinfo = Mach kernel version: | |
| Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/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: 95 tasks, 404 threads, 2 processors | |
| Load average: 1.23, Mach factor: 0.77 | |
| /bin/machine = unknown | |
| /usr/bin/oslevel = unknown | |
| /bin/universe = unknown | |
| PATH: /opt/local/bin | |
| PATH: /opt/local/sbin | |
| PATH: /usr/bin | |
| PATH: /bin | |
| PATH: /usr/sbin | |
| PATH: /sbin | |
| PATH: /usr/local/bin | |
| PATH: /usr/local/git/bin | |
| PATH: /usr/texbin | |
| PATH: /usr/X11/bin | |
| PATH: /Applications/android-sdk-mac_86/tools | |
| PATH: /Users/gilligan/.bin/ | |
| ## ----------- ## | |
| ## Core tests. ## | |
| ## ----------- ## | |
| configure:2298: checking build system type | |
| configure:2316: result: i386-apple-darwin10.6.0 | |
| configure:2338: checking host system type | |
| configure:2353: result: i386-apple-darwin10.6.0 | |
| configure:2393: checking for a BSD-compatible install | |
| configure:2461: result: /usr/bin/install -c | |
| configure:2472: checking whether build environment is sane | |
| configure:2515: result: yes | |
| configure:2540: checking for a thread-safe mkdir -p | |
| configure:2579: result: ./install-sh -c -d | |
| configure:2592: checking for gawk | |
| configure:2622: result: no | |
| configure:2592: checking for mawk | |
| configure:2622: result: no | |
| configure:2592: checking for nawk | |
| configure:2622: result: no | |
| configure:2592: checking for awk | |
| configure:2608: found /usr/bin/awk | |
| configure:2619: result: awk | |
| configure:2630: checking whether make sets $(MAKE) | |
| configure:2652: result: yes | |
| configure:2822: checking how to create a ustar tar archive | |
| configure:2835: tar --version | |
| bsdtar 2.6.2 - libarchive 2.6.2 | |
| configure:2838: $? = 0 | |
| configure:2878: tardir=conftest.dir && eval tar --format=ustar -chf - "$tardir" >conftest.tar | |
| configure:2881: $? = 0 | |
| configure:2885: tar -xf - <conftest.tar | |
| configure:2888: $? = 0 | |
| configure:2901: result: gnutar | |
| configure:3027: checking for gcc | |
| configure:3054: result: /usr/bin/cc | |
| configure:3286: checking for C compiler version | |
| configure:3294: /usr/bin/cc --version >&5 | |
| i686-apple-darwin10-gcc-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5664) | |
| Copyright (C) 2007 Free Software Foundation, Inc. | |
| This is free software; see the source for copying conditions. There is NO | |
| warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. | |
| configure:3298: $? = 0 | |
| configure:3305: /usr/bin/cc -v >&5 | |
| Using built-in specs. | |
| Target: i686-apple-darwin10 | |
| Configured with: /var/tmp/gcc/gcc-5664~105/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1 | |
| Thread model: posix | |
| gcc version 4.2.1 (Apple Inc. build 5664) | |
| configure:3309: $? = 0 | |
| configure:3316: /usr/bin/cc -V >&5 | |
| gcc-4.2: argument to `-V' is missing | |
| configure:3320: $? = 1 | |
| configure:3343: checking for C compiler default output file name | |
| configure:3365: /usr/bin/cc -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:3369: $? = 0 | |
| configure:3407: result: a.out | |
| configure:3426: checking whether the C compiler works | |
| configure:3436: ./a.out | |
| configure:3440: $? = 0 | |
| configure:3459: result: yes | |
| configure:3466: checking whether we are cross compiling | |
| configure:3468: result: no | |
| configure:3471: checking for suffix of executables | |
| configure:3478: /usr/bin/cc -o conftest -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:3482: $? = 0 | |
| configure:3508: result: | |
| configure:3514: checking for suffix of object files | |
| configure:3540: /usr/bin/cc -c -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:3544: $? = 0 | |
| configure:3569: result: o | |
| configure:3573: checking whether we are using the GNU C compiler | |
| configure:3602: /usr/bin/cc -c -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:3609: $? = 0 | |
| configure:3626: result: yes | |
| configure:3635: checking whether /usr/bin/cc accepts -g | |
| configure:3665: /usr/bin/cc -c -g conftest.c >&5 | |
| configure:3672: $? = 0 | |
| configure:3773: result: yes | |
| configure:3790: checking for /usr/bin/cc option to accept ISO C89 | |
| configure:3864: /usr/bin/cc -c -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:3871: $? = 0 | |
| configure:3894: result: none needed | |
| configure:3923: checking for style of include used by make | |
| configure:3951: result: GNU | |
| configure:3976: checking dependency style of /usr/bin/cc | |
| configure:4067: result: none | |
| configure:4096: checking whether we are actually using the Intel C compiler | |
| configure:4123: /usr/bin/cc -c -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| conftest.c:11: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'me' | |
| configure:4130: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | /* end confdefs.h. */ | |
| | | |
| | #ifndef __INTEL_COMPILER | |
| | choke me | |
| | #endif | |
| | | |
| configure:4142: result: no | |
| configure:4269: checking for C++ compiler version | |
| configure:4277: /usr/bin/c++ --version >&5 | |
| i686-apple-darwin10-g++-4.2.1 (GCC) 4.2.1 (Apple Inc. build 5664) | |
| Copyright (C) 2007 Free Software Foundation, Inc. | |
| This is free software; see the source for copying conditions. There is NO | |
| warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. | |
| configure:4281: $? = 0 | |
| configure:4288: /usr/bin/c++ -v >&5 | |
| Using built-in specs. | |
| Target: i686-apple-darwin10 | |
| Configured with: /var/tmp/gcc/gcc-5664~105/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1 | |
| Thread model: posix | |
| gcc version 4.2.1 (Apple Inc. build 5664) | |
| configure:4292: $? = 0 | |
| configure:4299: /usr/bin/c++ -V >&5 | |
| c++-4.2: argument to `-V' is missing | |
| configure:4303: $? = 1 | |
| configure:4306: checking whether we are using the GNU C++ compiler | |
| configure:4335: /usr/bin/c++ -c -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:4342: $? = 0 | |
| configure:4359: result: yes | |
| configure:4368: checking whether /usr/bin/c++ accepts -g | |
| configure:4398: /usr/bin/c++ -c -g conftest.cpp >&5 | |
| configure:4405: $? = 0 | |
| configure:4506: result: yes | |
| configure:4531: checking dependency style of /usr/bin/c++ | |
| configure:4622: result: none | |
| configure:4642: checking whether we are actually using the Intel C++ compiler | |
| configure:4669: /usr/bin/c++ -c -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp:11: error: 'choke' does not name a type | |
| configure:4676: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | /* end confdefs.h. */ | |
| | | |
| | #ifndef __INTEL_COMPILER | |
| | choke me | |
| | #endif | |
| | | |
| configure:4688: result: no | |
| configure:4702: checking for grep that handles long lines and -e | |
| configure:4762: result: /usr/bin/grep | |
| configure:4767: checking for fgrep | |
| configure:4831: result: /usr/bin/grep -F | |
| configure:4836: checking for egrep | |
| configure:4900: result: /usr/bin/grep -E | |
| configure:4905: checking for a sed that does not truncate output | |
| configure:4971: result: /usr/bin/sed | |
| configure:4981: checking how to run the C++ preprocessor | |
| configure:5017: /usr/bin/c++ -E conftest.cpp | |
| configure:5024: $? = 0 | |
| configure:5055: /usr/bin/c++ -E conftest.cpp | |
| conftest.cpp:9:28: error: ac_nonexistent.h: No such file or directory | |
| configure:5062: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | /* end confdefs.h. */ | |
| | #include <ac_nonexistent.h> | |
| configure:5095: result: /usr/bin/c++ -E | |
| configure:5124: /usr/bin/c++ -E conftest.cpp | |
| configure:5131: $? = 0 | |
| configure:5162: /usr/bin/c++ -E conftest.cpp | |
| conftest.cpp:9:28: error: ac_nonexistent.h: No such file or directory | |
| configure:5169: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | /* end confdefs.h. */ | |
| | #include <ac_nonexistent.h> | |
| configure:5208: checking whether make sets $(MAKE) | |
| configure:5230: result: yes | |
| configure:5253: checking for a BSD-compatible install | |
| configure:5321: result: /usr/bin/install -c | |
| configure:5339: checking whether to compile with debug info | |
| configure:5348: result: yes | |
| configure:5372: checking whether to compile for profiling | |
| configure:5387: result: no | |
| configure:5398: checking whether to compile for test coverage | |
| configure:5413: result: no | |
| configure:5424: checking whether to enable checking of run-time assertions | |
| configure:5437: result: no | |
| configure:5449: checking whether to enable even more run-time assertions | |
| configure:5462: result: no | |
| configure:5515: checking whether to enable optimizations | |
| configure:5524: result: sspeed | |
| configure:5568: checking for which architecture to optimize | |
| configure:5580: result: i386 | |
| configure:5604: checking whether to select specific floating point arithmetics | |
| configure:5647: result: default | |
| configure:5692: checking whether to use precompiled headers | |
| configure:5706: result: no | |
| configure:5824: checking the type of integral values to use as coefficients | |
| configure:5889: result: GMP mpz | |
| configure:6030: checking for perl | |
| configure:6048: found /usr/bin/perl | |
| configure:6061: result: /usr/bin/perl | |
| configure:6086: checking for an ANSI C-conforming const | |
| configure:6161: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6168: $? = 0 | |
| configure:6183: result: yes | |
| configure:6193: checking for inline | |
| configure:6219: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6226: $? = 0 | |
| configure:6244: result: inline | |
| configure:6268: checking how to run the C preprocessor | |
| configure:6308: /usr/bin/cc -E conftest.c | |
| configure:6315: $? = 0 | |
| configure:6346: /usr/bin/cc -E conftest.c | |
| conftest.c:15:28: error: ac_nonexistent.h: No such file or directory | |
| configure:6353: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #define PPL_NDEBUG 1 | |
| | #define PPL_FPMATH_MAY_USE_387 1 | |
| | #define PPL_FPMATH_MAY_USE_SSE 1 | |
| | #define PPL_COEFFICIENT_TYPE mpz_class | |
| | #define PPL_COEFFICIENT_BITS 0 | |
| | #define PPL_GMP_INTEGERS 1 | |
| | /* end confdefs.h. */ | |
| | #include <ac_nonexistent.h> | |
| configure:6386: result: /usr/bin/cc -E | |
| configure:6415: /usr/bin/cc -E conftest.c | |
| configure:6422: $? = 0 | |
| configure:6453: /usr/bin/cc -E conftest.c | |
| conftest.c:15:28: error: ac_nonexistent.h: No such file or directory | |
| configure:6460: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #define PPL_NDEBUG 1 | |
| | #define PPL_FPMATH_MAY_USE_387 1 | |
| | #define PPL_FPMATH_MAY_USE_SSE 1 | |
| | #define PPL_COEFFICIENT_TYPE mpz_class | |
| | #define PPL_COEFFICIENT_BITS 0 | |
| | #define PPL_GMP_INTEGERS 1 | |
| | /* end confdefs.h. */ | |
| | #include <ac_nonexistent.h> | |
| configure:6500: checking for ANSI C header files | |
| configure:6530: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6537: $? = 0 | |
| configure:6636: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6640: $? = 0 | |
| configure:6646: ./conftest | |
| configure:6650: $? = 0 | |
| configure:6668: result: yes | |
| configure:6692: checking for sys/types.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for sys/stat.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for stdlib.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for string.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for memory.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for strings.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for inttypes.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for stdint.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6692: checking for unistd.h | |
| configure:6713: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6720: $? = 0 | |
| configure:6737: result: yes | |
| configure:6752: checking whether byte ordering is bigendian | |
| configure:6777: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6784: $? = 0 | |
| configure:6834: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:6841: $? = 0 | |
| configure:6873: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| conftest.c: In function 'main': | |
| conftest.c:32: error: 'not' undeclared (first use in this function) | |
| conftest.c:32: error: (Each undeclared identifier is reported only once | |
| conftest.c:32: error: for each function it appears in.) | |
| conftest.c:32: error: expected ';' before 'big' | |
| configure:6880: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #define PPL_NDEBUG 1 | |
| | #define PPL_FPMATH_MAY_USE_387 1 | |
| | #define PPL_FPMATH_MAY_USE_SSE 1 | |
| | #define PPL_COEFFICIENT_TYPE mpz_class | |
| | #define PPL_COEFFICIENT_BITS 0 | |
| | #define PPL_GMP_INTEGERS 1 | |
| | #define STDC_HEADERS 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_SYS_STAT_H 1 | |
| | #define HAVE_STDLIB_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_MEMORY_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_INTTYPES_H 1 | |
| | #define HAVE_STDINT_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | /* end confdefs.h. */ | |
| | #include <sys/types.h> | |
| | #include <sys/param.h> | |
| | | |
| | int | |
| | main () | |
| | { | |
| | #if BYTE_ORDER != BIG_ENDIAN | |
| | not big endian | |
| | #endif | |
| | | |
| | ; | |
| | return 0; | |
| | } | |
| configure:7132: result: no | |
| configure:7158: checking for typeof syntax and keyword spelling | |
| configure:7199: /usr/bin/cc -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:7206: $? = 0 | |
| configure:7223: result: typeof | |
| configure:7246: checking size of char | |
| configure:7551: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:7555: $? = 0 | |
| configure:7561: ./conftest | |
| configure:7565: $? = 0 | |
| configure:7591: result: 1 | |
| configure:7605: checking size of short | |
| configure:7910: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:7914: $? = 0 | |
| configure:7920: ./conftest | |
| configure:7924: $? = 0 | |
| configure:7950: result: 2 | |
| configure:7964: checking size of int | |
| configure:8269: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:8273: $? = 0 | |
| configure:8279: ./conftest | |
| configure:8283: $? = 0 | |
| configure:8309: result: 4 | |
| configure:8323: checking size of long | |
| configure:8628: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:8632: $? = 0 | |
| configure:8638: ./conftest | |
| configure:8642: $? = 0 | |
| configure:8668: result: 8 | |
| configure:8682: checking size of long long | |
| configure:8987: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:8991: $? = 0 | |
| configure:8997: ./conftest | |
| configure:9001: $? = 0 | |
| configure:9027: result: 8 | |
| configure:9041: checking size of size_t | |
| configure:9346: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:9350: $? = 0 | |
| configure:9356: ./conftest | |
| configure:9360: $? = 0 | |
| configure:9386: result: 8 | |
| configure:9400: checking size of float | |
| configure:9705: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:9709: $? = 0 | |
| configure:9715: ./conftest | |
| configure:9719: $? = 0 | |
| configure:9745: result: 4 | |
| configure:9759: checking size of double | |
| configure:10064: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:10068: $? = 0 | |
| configure:10074: ./conftest | |
| configure:10078: $? = 0 | |
| configure:10104: result: 8 | |
| configure:10118: checking size of long double | |
| configure:10423: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:10427: $? = 0 | |
| configure:10433: ./conftest | |
| configure:10437: $? = 0 | |
| configure:10463: result: 16 | |
| configure:10480: checking size of int* | |
| configure:10785: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:10789: $? = 0 | |
| configure:10795: ./conftest | |
| configure:10799: $? = 0 | |
| configure:10825: result: 8 | |
| configure:10839: checking size of fp | |
| configure:11150: /usr/bin/cc -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.c >&5 | |
| configure:11154: $? = 0 | |
| configure:11160: ./conftest | |
| configure:11164: $? = 0 | |
| configure:11190: result: 8 | |
| configure:11237: checking fenv.h usability | |
| configure:11254: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:11261: $? = 0 | |
| configure:11275: result: yes | |
| configure:11279: checking fenv.h presence | |
| configure:11294: /usr/bin/c++ -E conftest.cpp | |
| configure:11301: $? = 0 | |
| configure:11315: result: yes | |
| configure:11348: checking for fenv.h | |
| configure:11357: result: yes | |
| configure:11237: checking ieeefp.h usability | |
| configure:11254: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp:71:20: error: ieeefp.h: No such file or directory | |
| configure:11261: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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:11275: result: no | |
| configure:11279: checking ieeefp.h presence | |
| configure:11294: /usr/bin/c++ -E conftest.cpp | |
| conftest.cpp:38:20: error: ieeefp.h: No such file or directory | |
| configure:11301: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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:11315: result: no | |
| configure:11348: checking for ieeefp.h | |
| configure:11357: result: no | |
| configure:11372: checking if it is possible to control the FPU | |
| configure:11527: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp -lm >&5 | |
| configure:11531: $? = 0 | |
| configure:11537: ./conftest | |
| configure:11541: $? = 0 | |
| configure:11543: result: yes | |
| configure:11594: checking whether the C++ compiler provides proper long doubles | |
| configure:11627: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:11631: $? = 0 | |
| configure:11637: ./conftest | |
| configure:11641: $? = 0 | |
| configure:11643: result: yes | |
| configure:11695: checking the binary format of C++ floats | |
| configure:11763: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:11767: $? = 0 | |
| configure:11773: ./conftest | |
| configure:11777: $? = 0 | |
| configure:11799: result: IEEE754 Single Precision | |
| configure:11812: checking whether C++ provides exact output for floats | |
| configure:11918: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:11922: $? = 0 | |
| configure:11928: ./conftest | |
| configure:11932: $? = 0 | |
| configure:11934: result: yes | |
| configure:12011: checking the binary format of C++ doubles | |
| configure:12089: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:12093: $? = 0 | |
| configure:12099: ./conftest | |
| configure:12103: $? = 0 | |
| configure:12125: result: IEEE754 Double Precision | |
| configure:12139: checking whether C++ provides exact output for doubles | |
| configure:12254: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:12258: $? = 0 | |
| configure:12264: ./conftest | |
| configure:12268: $? = 0 | |
| configure:12270: result: yes | |
| configure:12347: checking the binary format of C++ long doubles | |
| configure:12425: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:12429: $? = 0 | |
| configure:12435: ./conftest | |
| configure:12439: $? = 1 | |
| configure: program exited with status 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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:12551: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:12555: $? = 0 | |
| configure:12561: ./conftest | |
| configure:12565: $? = 1 | |
| configure: program exited with status 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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:12665: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:12669: $? = 0 | |
| configure:12675: ./conftest | |
| configure:12679: $? = 0 | |
| configure:12816: result: Intel Double-Extended | |
| configure:12830: checking whether C++ provides exact output for long doubles | |
| configure:13058: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13062: $? = 0 | |
| configure:13068: ./conftest | |
| configure:13072: $? = 0 | |
| configure:13074: result: yes | |
| configure:13162: checking whether the C++ compiler supports flexible arrays | |
| configure:13307: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13311: $? = 0 | |
| configure:13317: ./conftest | |
| configure:13321: $? = 0 | |
| configure:13323: result: yes | |
| configure:13375: checking whether the IEEE inexact flag is supported in C++ | |
| configure:13477: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13481: $? = 0 | |
| configure:13487: ./conftest | |
| configure:13491: $? = 0 | |
| configure:13493: result: yes | |
| configure:13546: checking if the compiler has the remainder bug | |
| configure:13585: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13589: $? = 0 | |
| configure:13595: ./conftest | |
| ./configure: line 13597: 46483 Floating point exception./conftest$ac_exeext | |
| configure:13599: $? = 136 | |
| configure: program exited with status 136 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | /* end confdefs.h. */ | |
| | | |
| | #include <climits> | |
| | | |
| | int minus_one(int n) { | |
| | return (n+1)*(n-1)-n*n; | |
| | } | |
| | | |
| | int p(int x, int y) { | |
| | int z = x % y; | |
| | return z; | |
| | } | |
| | | |
| | int main(int argc, char** argv) { | |
| | if (p(INT_MIN, minus_one(argc)) != 0) | |
| | return 1; | |
| | else | |
| | return 0; | |
| | } | |
| | | |
| configure:13610: result: yes | |
| configure:13653: checking whether the C++ compiler supports __attribute__ ((weak)) | |
| configure:13676: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13683: $? = 0 | |
| configure:13688: result: yes | |
| configure:13739: checking for fenv.h | |
| configure:13746: result: yes | |
| configure:13739: checking for ieeefp.h | |
| configure:13746: result: no | |
| configure:13750: checking getopt.h usability | |
| configure:13767: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13774: $? = 0 | |
| configure:13788: result: yes | |
| configure:13792: checking getopt.h presence | |
| configure:13807: /usr/bin/c++ -E conftest.cpp | |
| configure:13814: $? = 0 | |
| configure:13828: result: yes | |
| configure:13861: checking for getopt.h | |
| configure:13870: result: yes | |
| configure:13750: checking signal.h usability | |
| configure:13767: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13774: $? = 0 | |
| configure:13788: result: yes | |
| configure:13792: checking signal.h presence | |
| configure:13807: /usr/bin/c++ -E conftest.cpp | |
| configure:13814: $? = 0 | |
| configure:13828: result: yes | |
| configure:13861: checking for signal.h | |
| configure:13870: result: yes | |
| configure:13739: checking for string.h | |
| configure:13746: result: yes | |
| configure:13739: checking for strings.h | |
| configure:13746: result: yes | |
| configure:13750: checking sys/resource.h usability | |
| configure:13767: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13774: $? = 0 | |
| configure:13788: result: yes | |
| configure:13792: checking sys/resource.h presence | |
| configure:13807: /usr/bin/c++ -E conftest.cpp | |
| configure:13814: $? = 0 | |
| configure:13828: result: yes | |
| configure:13861: checking for sys/resource.h | |
| configure:13870: result: yes | |
| configure:13750: checking sys/time.h usability | |
| configure:13767: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13774: $? = 0 | |
| configure:13788: result: yes | |
| configure:13792: checking sys/time.h presence | |
| configure:13807: /usr/bin/c++ -E conftest.cpp | |
| configure:13814: $? = 0 | |
| configure:13828: result: yes | |
| configure:13861: checking for sys/time.h | |
| configure:13870: result: yes | |
| configure:13739: checking for sys/types.h | |
| configure:13746: result: yes | |
| configure:13739: checking for unistd.h | |
| configure:13746: result: yes | |
| configure:13887: checking whether ffs is declared | |
| configure:13923: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:13930: $? = 0 | |
| configure:13945: result: yes | |
| configure:13963: checking whether getenv is declared | |
| configure:13993: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14000: $? = 0 | |
| configure:14015: result: yes | |
| configure:14031: checking whether strtof is declared | |
| configure:14061: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14068: $? = 0 | |
| configure:14083: result: yes | |
| configure:14099: checking whether strtod is declared | |
| configure:14129: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14136: $? = 0 | |
| configure:14151: result: yes | |
| configure:14167: checking whether strtold is declared | |
| configure:14197: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14204: $? = 0 | |
| configure:14219: result: yes | |
| configure:14235: checking whether strtoll is declared | |
| configure:14265: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14272: $? = 0 | |
| configure:14287: result: yes | |
| configure:14303: checking whether strtoull is declared | |
| configure:14333: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14340: $? = 0 | |
| configure:14355: result: yes | |
| configure:14373: checking whether fma is declared | |
| configure:14403: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14410: $? = 0 | |
| configure:14425: result: yes | |
| configure:14441: checking whether fmaf is declared | |
| configure:14471: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14478: $? = 0 | |
| configure:14493: result: yes | |
| configure:14509: checking whether fmal is declared | |
| configure:14539: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14546: $? = 0 | |
| configure:14561: result: yes | |
| configure:14577: checking whether rintf is declared | |
| configure:14607: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14614: $? = 0 | |
| configure:14629: result: yes | |
| configure:14645: checking whether rintl is declared | |
| configure:14675: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14682: $? = 0 | |
| configure:14697: result: yes | |
| configure:14717: checking for int_fast16_t | |
| configure:14745: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14752: $? = 0 | |
| configure:14779: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:110: error: expected primary-expression before ')' token | |
| configure:14786: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_RESOURCE_H 1 | |
| | #define HAVE_SYS_TIME_H 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | #define HAVE_DECL_FFS 1 | |
| | #define HAVE_DECL_GETENV 1 | |
| | #define HAVE_DECL_STRTOF 1 | |
| | #define HAVE_DECL_STRTOD 1 | |
| | #define HAVE_DECL_STRTOLD 1 | |
| | #define HAVE_DECL_STRTOLL 1 | |
| | #define HAVE_DECL_STRTOULL 1 | |
| | #define HAVE_DECL_FMA 1 | |
| | #define HAVE_DECL_FMAF 1 | |
| | #define HAVE_DECL_FMAL 1 | |
| | #define HAVE_DECL_RINTF 1 | |
| | #define HAVE_DECL_RINTL 1 | |
| | /* end confdefs.h. */ | |
| | #include <stdio.h> | |
| | #ifdef HAVE_SYS_TYPES_H | |
| | # include <sys/types.h> | |
| | #endif | |
| | #ifdef HAVE_SYS_STAT_H | |
| | # include <sys/stat.h> | |
| | #endif | |
| | #ifdef STDC_HEADERS | |
| | # include <stdlib.h> | |
| | # include <stddef.h> | |
| | #else | |
| | # ifdef HAVE_STDLIB_H | |
| | # include <stdlib.h> | |
| | # endif | |
| | #endif | |
| | #ifdef HAVE_STRING_H | |
| | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | |
| | # include <memory.h> | |
| | # endif | |
| | # include <string.h> | |
| | #endif | |
| | #ifdef HAVE_STRINGS_H | |
| | # include <strings.h> | |
| | #endif | |
| | #ifdef HAVE_INTTYPES_H | |
| | # include <inttypes.h> | |
| | #endif | |
| | #ifdef HAVE_STDINT_H | |
| | # include <stdint.h> | |
| | #endif | |
| | #ifdef HAVE_UNISTD_H | |
| | # include <unistd.h> | |
| | #endif | |
| | int | |
| | main () | |
| | { | |
| | if (sizeof ((int_fast16_t))) | |
| | return 0; | |
| | ; | |
| | return 0; | |
| | } | |
| configure:14809: result: yes | |
| configure:14819: checking for int_fast32_t | |
| configure:14847: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14854: $? = 0 | |
| configure:14881: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:111: error: expected primary-expression before ')' token | |
| configure:14888: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_RESOURCE_H 1 | |
| | #define HAVE_SYS_TIME_H 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | #define HAVE_DECL_FFS 1 | |
| | #define HAVE_DECL_GETENV 1 | |
| | #define HAVE_DECL_STRTOF 1 | |
| | #define HAVE_DECL_STRTOD 1 | |
| | #define HAVE_DECL_STRTOLD 1 | |
| | #define HAVE_DECL_STRTOLL 1 | |
| | #define HAVE_DECL_STRTOULL 1 | |
| | #define HAVE_DECL_FMA 1 | |
| | #define HAVE_DECL_FMAF 1 | |
| | #define HAVE_DECL_FMAL 1 | |
| | #define HAVE_DECL_RINTF 1 | |
| | #define HAVE_DECL_RINTL 1 | |
| | #define HAVE_INT_FAST16_T 1 | |
| | /* end confdefs.h. */ | |
| | #include <stdio.h> | |
| | #ifdef HAVE_SYS_TYPES_H | |
| | # include <sys/types.h> | |
| | #endif | |
| | #ifdef HAVE_SYS_STAT_H | |
| | # include <sys/stat.h> | |
| | #endif | |
| | #ifdef STDC_HEADERS | |
| | # include <stdlib.h> | |
| | # include <stddef.h> | |
| | #else | |
| | # ifdef HAVE_STDLIB_H | |
| | # include <stdlib.h> | |
| | # endif | |
| | #endif | |
| | #ifdef HAVE_STRING_H | |
| | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | |
| | # include <memory.h> | |
| | # endif | |
| | # include <string.h> | |
| | #endif | |
| | #ifdef HAVE_STRINGS_H | |
| | # include <strings.h> | |
| | #endif | |
| | #ifdef HAVE_INTTYPES_H | |
| | # include <inttypes.h> | |
| | #endif | |
| | #ifdef HAVE_STDINT_H | |
| | # include <stdint.h> | |
| | #endif | |
| | #ifdef HAVE_UNISTD_H | |
| | # include <unistd.h> | |
| | #endif | |
| | int | |
| | main () | |
| | { | |
| | if (sizeof ((int_fast32_t))) | |
| | return 0; | |
| | ; | |
| | return 0; | |
| | } | |
| configure:14911: result: yes | |
| configure:14921: checking for int_fast64_t | |
| configure:14949: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:14956: $? = 0 | |
| configure:14983: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:112: error: expected primary-expression before ')' token | |
| configure:14990: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_RESOURCE_H 1 | |
| | #define HAVE_SYS_TIME_H 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | #define HAVE_DECL_FFS 1 | |
| | #define HAVE_DECL_GETENV 1 | |
| | #define HAVE_DECL_STRTOF 1 | |
| | #define HAVE_DECL_STRTOD 1 | |
| | #define HAVE_DECL_STRTOLD 1 | |
| | #define HAVE_DECL_STRTOLL 1 | |
| | #define HAVE_DECL_STRTOULL 1 | |
| | #define HAVE_DECL_FMA 1 | |
| | #define HAVE_DECL_FMAF 1 | |
| | #define HAVE_DECL_FMAL 1 | |
| | #define HAVE_DECL_RINTF 1 | |
| | #define HAVE_DECL_RINTL 1 | |
| | #define HAVE_INT_FAST16_T 1 | |
| | #define HAVE_INT_FAST32_T 1 | |
| | /* end confdefs.h. */ | |
| | #include <stdio.h> | |
| | #ifdef HAVE_SYS_TYPES_H | |
| | # include <sys/types.h> | |
| | #endif | |
| | #ifdef HAVE_SYS_STAT_H | |
| | # include <sys/stat.h> | |
| | #endif | |
| | #ifdef STDC_HEADERS | |
| | # include <stdlib.h> | |
| | # include <stddef.h> | |
| | #else | |
| | # ifdef HAVE_STDLIB_H | |
| | # include <stdlib.h> | |
| | # endif | |
| | #endif | |
| | #ifdef HAVE_STRING_H | |
| | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | |
| | # include <memory.h> | |
| | # endif | |
| | # include <string.h> | |
| | #endif | |
| | #ifdef HAVE_STRINGS_H | |
| | # include <strings.h> | |
| | #endif | |
| | #ifdef HAVE_INTTYPES_H | |
| | # include <inttypes.h> | |
| | #endif | |
| | #ifdef HAVE_STDINT_H | |
| | # include <stdint.h> | |
| | #endif | |
| | #ifdef HAVE_UNISTD_H | |
| | # include <unistd.h> | |
| | #endif | |
| | int | |
| | main () | |
| | { | |
| | if (sizeof ((int_fast64_t))) | |
| | return 0; | |
| | ; | |
| | return 0; | |
| | } | |
| configure:15013: result: yes | |
| configure:15023: checking for uint_fast16_t | |
| configure:15051: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:15058: $? = 0 | |
| configure:15085: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:113: error: expected primary-expression before ')' token | |
| configure:15092: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_RESOURCE_H 1 | |
| | #define HAVE_SYS_TIME_H 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | #define HAVE_DECL_FFS 1 | |
| | #define HAVE_DECL_GETENV 1 | |
| | #define HAVE_DECL_STRTOF 1 | |
| | #define HAVE_DECL_STRTOD 1 | |
| | #define HAVE_DECL_STRTOLD 1 | |
| | #define HAVE_DECL_STRTOLL 1 | |
| | #define HAVE_DECL_STRTOULL 1 | |
| | #define HAVE_DECL_FMA 1 | |
| | #define HAVE_DECL_FMAF 1 | |
| | #define HAVE_DECL_FMAL 1 | |
| | #define HAVE_DECL_RINTF 1 | |
| | #define HAVE_DECL_RINTL 1 | |
| | #define HAVE_INT_FAST16_T 1 | |
| | #define HAVE_INT_FAST32_T 1 | |
| | #define HAVE_INT_FAST64_T 1 | |
| | /* end confdefs.h. */ | |
| | #include <stdio.h> | |
| | #ifdef HAVE_SYS_TYPES_H | |
| | # include <sys/types.h> | |
| | #endif | |
| | #ifdef HAVE_SYS_STAT_H | |
| | # include <sys/stat.h> | |
| | #endif | |
| | #ifdef STDC_HEADERS | |
| | # include <stdlib.h> | |
| | # include <stddef.h> | |
| | #else | |
| | # ifdef HAVE_STDLIB_H | |
| | # include <stdlib.h> | |
| | # endif | |
| | #endif | |
| | #ifdef HAVE_STRING_H | |
| | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | |
| | # include <memory.h> | |
| | # endif | |
| | # include <string.h> | |
| | #endif | |
| | #ifdef HAVE_STRINGS_H | |
| | # include <strings.h> | |
| | #endif | |
| | #ifdef HAVE_INTTYPES_H | |
| | # include <inttypes.h> | |
| | #endif | |
| | #ifdef HAVE_STDINT_H | |
| | # include <stdint.h> | |
| | #endif | |
| | #ifdef HAVE_UNISTD_H | |
| | # include <unistd.h> | |
| | #endif | |
| | int | |
| | main () | |
| | { | |
| | if (sizeof ((uint_fast16_t))) | |
| | return 0; | |
| | ; | |
| | return 0; | |
| | } | |
| configure:15115: result: yes | |
| configure:15125: checking for uint_fast32_t | |
| configure:15153: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:15160: $? = 0 | |
| configure:15187: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:114: error: expected primary-expression before ')' token | |
| configure:15194: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_RESOURCE_H 1 | |
| | #define HAVE_SYS_TIME_H 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | #define HAVE_DECL_FFS 1 | |
| | #define HAVE_DECL_GETENV 1 | |
| | #define HAVE_DECL_STRTOF 1 | |
| | #define HAVE_DECL_STRTOD 1 | |
| | #define HAVE_DECL_STRTOLD 1 | |
| | #define HAVE_DECL_STRTOLL 1 | |
| | #define HAVE_DECL_STRTOULL 1 | |
| | #define HAVE_DECL_FMA 1 | |
| | #define HAVE_DECL_FMAF 1 | |
| | #define HAVE_DECL_FMAL 1 | |
| | #define HAVE_DECL_RINTF 1 | |
| | #define HAVE_DECL_RINTL 1 | |
| | #define HAVE_INT_FAST16_T 1 | |
| | #define HAVE_INT_FAST32_T 1 | |
| | #define HAVE_INT_FAST64_T 1 | |
| | #define HAVE_UINT_FAST16_T 1 | |
| | /* end confdefs.h. */ | |
| | #include <stdio.h> | |
| | #ifdef HAVE_SYS_TYPES_H | |
| | # include <sys/types.h> | |
| | #endif | |
| | #ifdef HAVE_SYS_STAT_H | |
| | # include <sys/stat.h> | |
| | #endif | |
| | #ifdef STDC_HEADERS | |
| | # include <stdlib.h> | |
| | # include <stddef.h> | |
| | #else | |
| | # ifdef HAVE_STDLIB_H | |
| | # include <stdlib.h> | |
| | # endif | |
| | #endif | |
| | #ifdef HAVE_STRING_H | |
| | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | |
| | # include <memory.h> | |
| | # endif | |
| | # include <string.h> | |
| | #endif | |
| | #ifdef HAVE_STRINGS_H | |
| | # include <strings.h> | |
| | #endif | |
| | #ifdef HAVE_INTTYPES_H | |
| | # include <inttypes.h> | |
| | #endif | |
| | #ifdef HAVE_STDINT_H | |
| | # include <stdint.h> | |
| | #endif | |
| | #ifdef HAVE_UNISTD_H | |
| | # include <unistd.h> | |
| | #endif | |
| | int | |
| | main () | |
| | { | |
| | if (sizeof ((uint_fast32_t))) | |
| | return 0; | |
| | ; | |
| | return 0; | |
| | } | |
| configure:15217: result: yes | |
| configure:15227: checking for uint_fast64_t | |
| configure:15255: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| configure:15262: $? = 0 | |
| configure:15289: /usr/bin/c++ -c -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:115: error: expected primary-expression before ')' token | |
| configure:15296: $? = 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_RESOURCE_H 1 | |
| | #define HAVE_SYS_TIME_H 1 | |
| | #define HAVE_SYS_TYPES_H 1 | |
| | #define HAVE_UNISTD_H 1 | |
| | #define HAVE_DECL_FFS 1 | |
| | #define HAVE_DECL_GETENV 1 | |
| | #define HAVE_DECL_STRTOF 1 | |
| | #define HAVE_DECL_STRTOD 1 | |
| | #define HAVE_DECL_STRTOLD 1 | |
| | #define HAVE_DECL_STRTOLL 1 | |
| | #define HAVE_DECL_STRTOULL 1 | |
| | #define HAVE_DECL_FMA 1 | |
| | #define HAVE_DECL_FMAF 1 | |
| | #define HAVE_DECL_FMAL 1 | |
| | #define HAVE_DECL_RINTF 1 | |
| | #define HAVE_DECL_RINTL 1 | |
| | #define HAVE_INT_FAST16_T 1 | |
| | #define HAVE_INT_FAST32_T 1 | |
| | #define HAVE_INT_FAST64_T 1 | |
| | #define HAVE_UINT_FAST16_T 1 | |
| | #define HAVE_UINT_FAST32_T 1 | |
| | /* end confdefs.h. */ | |
| | #include <stdio.h> | |
| | #ifdef HAVE_SYS_TYPES_H | |
| | # include <sys/types.h> | |
| | #endif | |
| | #ifdef HAVE_SYS_STAT_H | |
| | # include <sys/stat.h> | |
| | #endif | |
| | #ifdef STDC_HEADERS | |
| | # include <stdlib.h> | |
| | # include <stddef.h> | |
| | #else | |
| | # ifdef HAVE_STDLIB_H | |
| | # include <stdlib.h> | |
| | # endif | |
| | #endif | |
| | #ifdef HAVE_STRING_H | |
| | # if !defined STDC_HEADERS && defined HAVE_MEMORY_H | |
| | # include <memory.h> | |
| | # endif | |
| | # include <string.h> | |
| | #endif | |
| | #ifdef HAVE_STRINGS_H | |
| | # include <strings.h> | |
| | #endif | |
| | #ifdef HAVE_INTTYPES_H | |
| | # include <inttypes.h> | |
| | #endif | |
| | #ifdef HAVE_STDINT_H | |
| | # include <stdint.h> | |
| | #endif | |
| | #ifdef HAVE_UNISTD_H | |
| | # include <unistd.h> | |
| | #endif | |
| | int | |
| | main () | |
| | { | |
| | if (sizeof ((uint_fast64_t))) | |
| | return 0; | |
| | ; | |
| | return 0; | |
| | } | |
| configure:15319: result: yes | |
| configure:15376: checking for ld used by GCC | |
| configure:15440: result: /usr/bin/cc | |
| configure:15449: checking if the linker (/usr/bin/cc) is GNU ld | |
| configure:15462: result: no | |
| configure:15469: checking for shared library run path origin | |
| configure:15482: result: done | |
| configure:15513: checking how to link with libgmp | |
| configure:15902: result: -lgmp | |
| configure:15942: checking how to link with libgmpxx | |
| configure:16331: result: -lgmpxx -lgmp | |
| configure:16375: checking for the GMP library version 4.1.3 or above | |
| configure:16495: /usr/bin/c++ -o conftest -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe conftest.cpp -lgmpxx -lgmp >&5 | |
| conftest.cpp: In function 'int main()': | |
| conftest.cpp:121: error: '__GMP_BITS_PER_MP_LIMB' was not declared in this scope | |
| configure:16499: $? = 1 | |
| configure: program exited with status 1 | |
| configure: failed program was: | |
| | /* confdefs.h. */ | |
| | #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| | #define PACKAGE_TARNAME "ppl" | |
| | #define PACKAGE_VERSION "0.10.2" | |
| | #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| | #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| | #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_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_FLEXIBLE_ARRAYS 1 | |
| | #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| | #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| | #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| | #define HAVE_FENV_H 1 | |
| | #define HAVE_GETOPT_H 1 | |
| | #define HAVE_SIGNAL_H 1 | |
| | #define HAVE_STRING_H 1 | |
| | #define HAVE_STRINGS_H 1 | |
| | #define HAVE_SYS_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 <gmpxx.h> | |
| | #include <climits> | |
| | #include <string> | |
| | #include <sstream> | |
| | #include <iostream> | |
| | | |
| | #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) | |
| | #GMP version 4.1.3 or higher is required | |
| | #endif | |
| | | |
| | int | |
| | main() { | |
| | std::string header_version; | |
| | { | |
| | std::ostringstream s(header_version); | |
| | s << __GNU_MP_VERSION << "." << __GNU_MP_VERSION_MINOR; | |
| | // Starting from GMP version 4.3.0, the gmp_version variable | |
| | // always contains three parts. In previous versions the | |
| | // patchlevel was omitted if it was 0. | |
| | if (__GNU_MP_VERSION_PATCHLEVEL != 0 | |
| | || __GNU_MP_VERSION > 4 | |
| | || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR >= 3)) | |
| | s << "." << __GNU_MP_VERSION_PATCHLEVEL; | |
| | header_version = s.str(); | |
| | } | |
| | | |
| | std::string library_version = gmp_version; | |
| | | |
| | if (header_version != library_version) { | |
| | std::cerr | |
| | << "GMP header (gmp.h) and library (ligmp.*) version mismatch:\n" | |
| | << "header gives " << header_version << ";\n" | |
| | << "library gives " << library_version << "." << std::endl; | |
| | return 1; | |
| | } | |
| | | |
| | if (sizeof(mp_limb_t)*CHAR_BIT != GMP_LIMB_BITS | |
| | || GMP_LIMB_BITS != mp_bits_per_limb) { | |
| | std::cerr | |
| | << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n" | |
| | << "header gives " << __GMP_BITS_PER_MP_LIMB << ";\n" | |
| | << "library gives " << mp_bits_per_limb << ".\n" | |
| | << "This probably means you are on a bi-arch system and\n" | |
| | << "you are compiling with the wrong header or linking with\n" | |
| | << "the wrong library." << std::endl; | |
| | return 1; | |
| | } | |
| | | |
| | mpz_class n("3141592653589793238462643383279502884"); | |
| | return 0; | |
| | } | |
| | | |
| configure:16520: result: no | |
| configure:17017: 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-darwin10.6.0 | |
| ac_cv_c_bigendian=no | |
| ac_cv_c_compiler_gnu=yes | |
| ac_cv_c_const=yes | |
| ac_cv_c_inline=inline | |
| ac_cv_c_typeof=typeof | |
| ac_cv_can_control_fpu=1 | |
| ac_cv_cxx_compiler_gnu=yes | |
| ac_cv_cxx_has_remainder_bug=yes | |
| ac_cv_env_CCC_set= | |
| ac_cv_env_CCC_value= | |
| ac_cv_env_CC_set=set | |
| ac_cv_env_CC_value=/usr/bin/cc | |
| ac_cv_env_CFLAGS_set=set | |
| ac_cv_env_CFLAGS_value='-O3 -march=core2 -msse4.1 -w -pipe' | |
| ac_cv_env_CPPFLAGS_set= | |
| ac_cv_env_CPPFLAGS_value= | |
| ac_cv_env_CPP_set= | |
| ac_cv_env_CPP_value= | |
| ac_cv_env_CXXCPP_set= | |
| ac_cv_env_CXXCPP_value= | |
| ac_cv_env_CXXFLAGS_set=set | |
| ac_cv_env_CXXFLAGS_value='-O3 -march=core2 -msse4.1 -w -pipe' | |
| ac_cv_env_CXX_set=set | |
| ac_cv_env_CXX_value=/usr/bin/c++ | |
| 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_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_getopt_h=yes | |
| 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=i386-apple-darwin10.6.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_EGREP='/usr/bin/grep -E' | |
| ac_cv_path_FGREP='/usr/bin/grep -F' | |
| ac_cv_path_GREP=/usr/bin/grep | |
| ac_cv_path_PERL=/usr/bin/perl | |
| ac_cv_path_SED=/usr/bin/sed | |
| ac_cv_path_install='/usr/bin/install -c' | |
| ac_cv_prog_AWK=awk | |
| ac_cv_prog_CPP='/usr/bin/cc -E' | |
| ac_cv_prog_CXXCPP='/usr/bin/c++ -E' | |
| ac_cv_prog_ac_ct_CC=/usr/bin/cc | |
| ac_cv_prog_cc_c89= | |
| ac_cv_prog_cc_g=yes | |
| ac_cv_prog_cxx_g=yes | |
| ac_cv_prog_make_make_set=yes | |
| ac_cv_sizeof_char=1 | |
| ac_cv_sizeof_double=8 | |
| ac_cv_sizeof_float=4 | |
| ac_cv_sizeof_fp=8 | |
| ac_cv_sizeof_int=4 | |
| ac_cv_sizeof_intp=8 | |
| ac_cv_sizeof_long=8 | |
| ac_cv_sizeof_long_double=16 | |
| ac_cv_sizeof_long_long=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_uint_fast16_t=yes | |
| ac_cv_type_uint_fast32_t=yes | |
| ac_cv_type_uint_fast64_t=yes | |
| acl_cv_hardcode_direct=no | |
| acl_cv_hardcode_libdir_flag_spec= | |
| acl_cv_hardcode_libdir_separator= | |
| acl_cv_hardcode_minus_L=no | |
| acl_cv_libext=a | |
| acl_cv_libname_spec='lib$name' | |
| acl_cv_library_names_spec='$libname$shrext' | |
| acl_cv_path_LD=/usr/bin/cc | |
| acl_cv_prog_gnu_ld=no | |
| acl_cv_rpath=done | |
| acl_cv_shlibext=dylib | |
| acl_cv_wl=-Wl, | |
| am_cv_CC_dependencies_compiler_type=none | |
| am_cv_CXX_dependencies_compiler_type=none | |
| am_cv_prog_tar_ustar=gnutar | |
| ## ----------------- ## | |
| ## Output variables. ## | |
| ## ----------------- ## | |
| ACLOCAL='${SHELL} /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/missing --run aclocal-1.10' | |
| AMDEPBACKSLASH='' | |
| AMDEP_FALSE='' | |
| AMDEP_TRUE='#' | |
| AMTAR='${SHELL} /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/missing --run tar' | |
| AR='' | |
| ASSERTIONS_ENABLED_FALSE='' | |
| ASSERTIONS_ENABLED_TRUE='#' | |
| AUTOCONF='${SHELL} /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/missing --run autoconf' | |
| AUTOHEADER='${SHELL} /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/missing --run autoheader' | |
| AUTOMAKE='${SHELL} /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/missing --run automake-1.10' | |
| AWK='awk' | |
| BUILD_CIAO_PROLOG_INTERFACE_FALSE='' | |
| BUILD_CIAO_PROLOG_INTERFACE_TRUE='' | |
| BUILD_CXX_INTERFACE_FALSE='' | |
| BUILD_CXX_INTERFACE_TRUE='' | |
| BUILD_C_INTERFACE_FALSE='' | |
| BUILD_C_INTERFACE_TRUE='' | |
| BUILD_GNU_PROLOG_INTERFACE_FALSE='' | |
| BUILD_GNU_PROLOG_INTERFACE_TRUE='' | |
| BUILD_JAVA_INTERFACE_FALSE='' | |
| BUILD_JAVA_INTERFACE_TRUE='' | |
| BUILD_OCAML_INTERFACE_FALSE='' | |
| BUILD_OCAML_INTERFACE_TRUE='' | |
| BUILD_PPL_LCDD_FALSE='' | |
| BUILD_PPL_LCDD_TRUE='' | |
| BUILD_PPL_LPSOL_FALSE='' | |
| BUILD_PPL_LPSOL_TRUE='' | |
| BUILD_SICSTUS_PROLOG_INTERFACE_FALSE='' | |
| BUILD_SICSTUS_PROLOG_INTERFACE_TRUE='' | |
| BUILD_SOME_PROLOG_INTERFACES_FALSE='' | |
| BUILD_SOME_PROLOG_INTERFACES_TRUE='' | |
| BUILD_SWI_PROLOG_INTERFACE_FALSE='' | |
| BUILD_SWI_PROLOG_INTERFACE_TRUE='' | |
| BUILD_WATCHDOG_LIBRARY_FALSE='' | |
| BUILD_WATCHDOG_LIBRARY_TRUE='' | |
| BUILD_XSB_PROLOG_INTERFACE_FALSE='' | |
| BUILD_XSB_PROLOG_INTERFACE_TRUE='' | |
| BUILD_YAP_PROLOG_INTERFACE_FALSE='' | |
| BUILD_YAP_PROLOG_INTERFACE_TRUE='' | |
| CAN_CONTROL_FPU_FALSE='#' | |
| CAN_CONTROL_FPU_TRUE='' | |
| CC='/usr/bin/cc' | |
| CCDEPMODE='depmode=none' | |
| CFLAGS=' -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe' | |
| CIAO_PROLOG='' | |
| CIAO_PROLOG_INCLUDE_OPTIONS='' | |
| CONFIGURE_OPTIONS='' | |
| CPP='/usr/bin/cc -E' | |
| CPPFLAGS='' | |
| CXX='/usr/bin/c++' | |
| CXXCPP='/usr/bin/c++ -E' | |
| CXXDEPMODE='depmode=none' | |
| CXXFLAGS=' -g -O3 -fomit-frame-pointer -march=i386 -frounding-math -O3 -march=core2 -msse4.1 -w -pipe' | |
| CYGPATH_W='echo' | |
| DEBUGGING_ENABLED_FALSE='#' | |
| DEBUGGING_ENABLED_TRUE='' | |
| DEFS='' | |
| DEPDIR='.deps' | |
| DSYMUTIL='' | |
| DUMPBIN='' | |
| ECHO_C='\c' | |
| ECHO_N='' | |
| ECHO_T='' | |
| EGREP='/usr/bin/grep -E' | |
| ENABLE_SHARED_FALSE='' | |
| ENABLE_SHARED_TRUE='' | |
| ENABLE_STATIC_FALSE='' | |
| ENABLE_STATIC_TRUE='' | |
| EXEEXT='' | |
| FGREP='/usr/bin/grep -F' | |
| GCC_FALSE='#' | |
| GCC_TRUE='' | |
| GNU_PROLOG='' | |
| GREP='/usr/bin/grep' | |
| HAVE_GLPK_FALSE='' | |
| HAVE_GLPK_TRUE='' | |
| HAVE_MD5SUM_FALSE='' | |
| HAVE_MD5SUM_TRUE='' | |
| HAVE_OCAMLC_FALSE='' | |
| HAVE_OCAMLC_TRUE='' | |
| HAVE_OCAMLOPT_FALSE='' | |
| HAVE_OCAMLOPT_TRUE='' | |
| HAVE_PERL_FALSE='#' | |
| HAVE_PERL_TRUE='' | |
| HOST_CPU_X86_64_FALSE='' | |
| HOST_CPU_X86_64_TRUE='#' | |
| HOST_OS_CYGWIN_FALSE='' | |
| HOST_OS_CYGWIN_TRUE='#' | |
| HOST_OS_DARWIN_FALSE='#' | |
| HOST_OS_DARWIN_TRUE='' | |
| HOST_OS_MINGW_FALSE='' | |
| HOST_OS_MINGW_TRUE='#' | |
| HOST_OS_SOLARIS_FALSE='' | |
| HOST_OS_SOLARIS_TRUE='#' | |
| INSTALL_DATA='${INSTALL} -m 644' | |
| INSTALL_PROGRAM='${INSTALL}' | |
| INSTALL_SCRIPT='${INSTALL}' | |
| INSTALL_STRIP_PROGRAM='$(install_sh) -c -s' | |
| ISODATE='2011-03-10' | |
| JAR='' | |
| JAVA='' | |
| JAVAC='' | |
| JAVAH='' | |
| JNIFLAGS='' | |
| LD='/usr/bin/cc' | |
| LDFLAGS='' | |
| LIBEXT='' | |
| LIBGMP='-lgmp' | |
| LIBGMPXX='-lgmpxx -lgmp' | |
| LIBOBJS='' | |
| LIBS='' | |
| LIBTOOL='' | |
| LIPO='' | |
| LN_S='' | |
| LTLIBGMP='-lgmp' | |
| LTLIBGMPXX='-lgmpxx -lgmp' | |
| LTLIBOBJS='' | |
| M4='' | |
| M4_DEBUGFILE='' | |
| MAKEINFO='${SHELL} /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/missing --run makeinfo' | |
| MD5SUM='' | |
| MKDIR_P='./install-sh -c -d' | |
| NM='' | |
| NMEDIT='' | |
| NO_UNDEFINED_FALSE='' | |
| NO_UNDEFINED_TRUE='#' | |
| OBJDUMP='' | |
| OBJEXT='o' | |
| OCAMLC='' | |
| OCAMLOPT='' | |
| OTOOL64='' | |
| OTOOL='' | |
| PACKAGE='ppl' | |
| PACKAGE_BUGREPORT='ppl-devel@cs.unipr.it' | |
| PACKAGE_NAME='the Parma Polyhedra Library' | |
| PACKAGE_STRING='the Parma Polyhedra Library 0.10.2' | |
| PACKAGE_TARNAME='ppl' | |
| PACKAGE_VERSION='0.10.2' | |
| PATH_SEPARATOR=':' | |
| PERL='/usr/bin/perl' | |
| PPL_VERSION_BETA='0' | |
| PPL_VERSION_MAJOR='0' | |
| PPL_VERSION_MINOR='10' | |
| PPL_VERSION_REVISION='2' | |
| RANLIB='' | |
| SED='/usr/bin/sed' | |
| SET_MAKE='' | |
| SHELL='/bin/sh' | |
| SHREXT='' | |
| 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='' | |
| SWI_PROLOG_INCLUDE_OPTIONS='' | |
| SWI_PROLOG_LD_OPTIONS='' | |
| TEXT_MD5SUM='' | |
| THOROUGH_MAKE_CHECK_FALSE='' | |
| THOROUGH_MAKE_CHECK_TRUE='' | |
| USE_CHECKED_INTEGERS_FALSE='' | |
| USE_CHECKED_INTEGERS_TRUE='#' | |
| USE_GMP_INTEGERS_FALSE='#' | |
| USE_GMP_INTEGERS_TRUE='' | |
| USE_INT16_FALSE='' | |
| USE_INT16_TRUE='#' | |
| USE_INT32_FALSE='' | |
| USE_INT32_TRUE='#' | |
| USE_INT64_FALSE='' | |
| USE_INT64_TRUE='#' | |
| USE_INT8_FALSE='' | |
| USE_INT8_TRUE='#' | |
| USE_NATIVE_INTEGERS_FALSE='' | |
| USE_NATIVE_INTEGERS_TRUE='#' | |
| USE_PRECOMPILED_HEADERS_FALSE='' | |
| USE_PRECOMPILED_HEADERS_TRUE='#' | |
| VALGRIND='' | |
| VALGRIND_TESTS_ENABLED_FALSE='' | |
| VALGRIND_TESTS_ENABLED_TRUE='' | |
| VERSION='0.10.2' | |
| XSB_PROLOG_INCLUDE_OPTIONS='' | |
| YAP_PROLOG='' | |
| ac_ct_CC='/usr/bin/cc' | |
| ac_ct_CXX='' | |
| ac_ct_DUMPBIN='' | |
| am__fastdepCC_FALSE='' | |
| am__fastdepCC_TRUE='#' | |
| am__fastdepCXX_FALSE='' | |
| am__fastdepCXX_TRUE='#' | |
| am__include='include' | |
| am__isrc='' | |
| am__leading_dot='.' | |
| am__quote='' | |
| am__tar='tar --format=ustar -chf - "$$tardir"' | |
| am__untar='tar -xf -' | |
| bindir='${exec_prefix}/bin' | |
| build='i386-apple-darwin10.6.0' | |
| build_alias='' | |
| build_cpu='i386' | |
| build_os='darwin10.6.0' | |
| build_vendor='apple' | |
| ciao_prolog='' | |
| coefficient_mnemonic='mpz' | |
| datadir='${datarootdir}' | |
| datarootdir='${prefix}/share' | |
| debug_flag='-DNDEBUG=1' | |
| docdir='${datarootdir}/doc/${PACKAGE_TARNAME}' | |
| dvidir='${docdir}' | |
| exec_prefix='NONE' | |
| extra_includes='' | |
| extra_libraries=' -lm' | |
| host='i386-apple-darwin10.6.0' | |
| host_alias='' | |
| host_cpu='i386' | |
| host_os='darwin10.6.0' | |
| host_vendor='apple' | |
| htmldir='${docdir}' | |
| includedir='${prefix}/include' | |
| infodir='${datarootdir}/info' | |
| install_sh='$(SHELL) /private/tmp/homebrew-ppl-0.10.2-7lC0/ppl-0.10.2/install-sh' | |
| libdir='${exec_prefix}/lib' | |
| libexecdir='${exec_prefix}/libexec' | |
| localedir='${datarootdir}/locale' | |
| localstatedir='${prefix}/var' | |
| lt_ECHO='/bin/echo' | |
| mandir='${datarootdir}/man' | |
| mkdir_p='$(top_builddir)/./install-sh -c -d' | |
| mlgmp_dir='' | |
| ocamlc_root='' | |
| oldincludedir='/usr/include' | |
| pdfdir='${docdir}' | |
| prefix='/usr/local/Cellar/ppl/0.10.2' | |
| program_transform_name='s,x,x,' | |
| psdir='${docdir}' | |
| required_instantiations='' | |
| required_instantiations_c_cxx_headers='' | |
| required_instantiations_c_cxx_objects='' | |
| required_instantiations_c_cxx_sources='' | |
| required_instantiations_canonical_names='' | |
| required_instantiations_java_classes='' | |
| required_instantiations_java_cxx_headers='' | |
| required_instantiations_java_cxx_headers_sources='' | |
| required_instantiations_java_cxx_objects='' | |
| required_instantiations_java_cxx_sources='' | |
| required_instantiations_java_sources='' | |
| required_instantiations_ocaml_cxx_headers='' | |
| required_instantiations_ocaml_cxx_objects='' | |
| required_instantiations_ocaml_cxx_sources='' | |
| required_instantiations_prolog_cxx_headers='' | |
| required_instantiations_prolog_cxx_objects='' | |
| required_instantiations_prolog_cxx_sources='' | |
| required_instantiations_prolog_generated_test_sources='' | |
| sbindir='${exec_prefix}/sbin' | |
| sharedstatedir='${prefix}/com' | |
| sicstus_prolog='' | |
| subdirs='' | |
| swi_prolog='' | |
| sysconfdir='${prefix}/etc' | |
| target_alias='' | |
| uudecode='' | |
| xsb_prolog='' | |
| ## ----------- ## | |
| ## confdefs.h. ## | |
| ## ----------- ## | |
| #define PACKAGE_NAME "the Parma Polyhedra Library" | |
| #define PACKAGE_TARNAME "ppl" | |
| #define PACKAGE_VERSION "0.10.2" | |
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.10.2" | |
| #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | |
| #define PPL_CONFIGURE_OPTIONS " '--disable-debug' '--disable-dependency-tracking' '--prefix=/usr/local/Cellar/ppl/0.10.2' '--enable-optimization=sspeed' 'CC=/usr/bin/cc' 'CFLAGS=-O3 -march=core2 -msse4.1 -w -pipe' 'CXX=/usr/bin/c++' 'CXXFLAGS=-O3 -march=core2 -msse4.1 -w -pipe'" | |
| #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_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_FLEXIBLE_ARRAYS 1 | |
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1 | |
| #define PPL_CXX_HAS_REMAINDER_BUG 1 | |
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | |
| #define HAVE_FENV_H 1 | |
| #define HAVE_GETOPT_H 1 | |
| #define HAVE_SIGNAL_H 1 | |
| #define HAVE_STRING_H 1 | |
| #define HAVE_STRINGS_H 1 | |
| #define HAVE_SYS_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 | |
| configure: exit 1 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [...] | |
| checking if the linker (/usr/bin/cc) is GNU ld... no | |
| checking for shared library run path origin... done | |
| checking how to link with libgmp... -lgmp | |
| checking how to link with libgmpxx... -lgmpxx -lgmp | |
| checking for the GMP library version 4.1.3 or above... no | |
| configure: 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. | |
| $ brew --config | |
| HOMEBREW_VERSION: 0.7.1 | |
| HEAD: 03a0687e59b0f860a7fb1843af07a902f737b6be | |
| HOMEBREW_PREFIX: /usr/local | |
| HOMEBREW_CELLAR: /usr/local/Cellar | |
| HOMEBREW_REPOSITORY: /usr/local | |
| HOMEBREW_LIBRARY_PATH: /usr/local/Library/Homebrew | |
| Hardware: dual-core 64-bit penryn | |
| OS X: 10.6.6 | |
| Kernel Architecture: i386 | |
| Ruby: 1.8.7-174 | |
| /usr/bin/ruby => /System/Library/Frameworks/Ruby.framework/Versions/1.8/usr/bin/ruby | |
| Xcode: 3.2.4 | |
| GCC-4.0: build 5494 | |
| GCC-4.2: build 5664 | |
| LLVM: build 2326 | |
| MacPorts or Fink? false | |
| X11 installed? true |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment