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