[PPL-devel] Some troubles I met while building PPL.

Abramo Bagnara abramo.bagnara at gmail.com
Thu Apr 23 09:50:27 CEST 2009


Yuriy Taraday ha scritto:
> Here it is, just as in config.log that I sent.
> 
> Mobi-Ya:ppl-0.10.2 yorik$ gcc -v
> Using built-in specs.
> Target: i686-apple-darwin9
> Configured with: /var/tmp/gcc/gcc-5490~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 5490)

With this versione of gcc not only you will not be able to compile
reliably the Parma Polyhedra Library, see
http://www.cs.unipr.it/ppl/Download/requirements

but you will have also troubles compiling GMP, see
http://gmplib.org/macos.html

Please retry with an more recent version.

-- 
Abramo Bagnara

Opera Unica                          Phone: +39.0546.656023
Via Borghesi, 16
48014 Castel Bolognese (RA) - Italy



More information about the PPL-devel mailing list