FW: compilation error

Not possible, the reason why i want install PPL is because im trying to update gcc and it asks PPL ;)
It should be a way to install PPL on Gcc 4.11 ...
Hugo Gomes
Date: Wed, 5 Sep 2012 19:23:08 +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 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? Thanks,
Roberto
-- 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

On Wed, Sep 05, 2012 at 05:38:02PM +0000, Hugo Gomes wrote:
Not possible, the reason why i want install PPL is because im trying to update gcc and it asks PPL ;)
You can configure gcc with "--with-ppl=no".
You could then compile PPL with the resulting gcc and recompile gcc with PPL.
skimo

On 09/05/2012 07:38 PM, Hugo Gomes wrote:
Not possible, the reason why i want install PPL is because im trying to update gcc and it asks PPL ;)
It should be a way to install PPL on Gcc 4.11 ...
Hugo Gomes
My *guess* is that you should try something along the following lines:
(a) build GCC disabling CLooG support (i.e., no need for PPL);
(b) using the newer GCC obtained at step (a), build the PPL and then re-build GCC, this time enabling CLooG support.
Of course, this is assuming that you care about CLooG optimizations. If you don't care, you can even stop after step (a).
Enea.
participants (3)
-
Enea Zaffanella
-
Hugo Gomes
-
Sven Verdoolaege