That was always my problem, i could NEVER compile any version of PPL on my ASUS RT-N16 router. [root@proxy root]$ uname -a Linux proxy.server 2.6.22.19 #1 Thu Aug 30 00:03:26 CEST 2012 mips GNU/Linux [root@proxy root]$ gcc -v Using built-in specs. Target: mipsel-linux-uclibc Configured with: /home/slug/optware/oleg/toolchain/buildroot/toolchain_build_mipsel/gcc-4.1.1/configure --prefix=/opt --build=i386-pc-linux-gnu --host=mipsel-linux-uclibc --target=mipsel-linux-uclibc --enable-languages=c,c++ --with-gxx-include-dir=/opt/include/c++ --disable-__cxa_atexit --enable-target-optspace --with-gnu-ld --enable-shared --enable-threads --disable-multilib Thread model: posix gcc version 4.1.1 Thank you, Hugo Gomes
Date: Wed, 5 Sep 2012 19:51:46 +0200 From: bagnara@cs.unipr.it To: ppl-devel@cs.unipr.it CC: hggomes@hotmail.com Subject: Re: [PPL-devel] compilation error
On 09/05/12 19:23, Roberto Bagnara wrote:
On 09/05/12 14:45, Hugo Gomes wrote:
Hi Roberto,
Here it is the new error:
make all-am make[3]: Entering directory `/opt/ppl-1.1pre3/src' /opt/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c -o PIP_Tree.lo PIP_Tree.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c PIP_Tree.cc -fPIC -DPIC -o .libs/PIP_Tree.o Linear_Expression_inlines.hh: In constructor 'Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter::Artificial_Parameter(const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::GMP_Integer&)': Linear_Expression_inlines.hh:445: error: 'Parma_Polyhedra_Library::Coefficient Parma_Polyhedra_Library::Linear_Expression::gcd(Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type) const' is private PIP_Tree.cc:897: error: within this context Linear_Expression_inlines.hh:452: error: 'void Parma_Polyhedra_Library::Linear_Expression::exact_div_assign(const Parma_Polyhedra_Library::GMP_Integer&, Parma_Polyhedra_Library::dimension_type, Parma_Polyhedra_Library::dimension_type)' is private PIP_Tree.cc:912: error: within this context make[3]: *** [PIP_Tree.lo] Error 1 make[3]: Leaving directory `/opt/ppl-1.1pre3/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/opt/ppl-1.1pre3/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/opt/ppl-1.1pre3' make: *** [all] Error 2
Dear Hugo,
I am afraid you stumbled upon a bug of GCC 4.1.1. Can you please upgrade to a later GCC version and retry?
Alternatively, you could try to downgrade PPL (say, PPL 0.11.2).
-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics and Computer Science, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it