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