[PPL-devel] FW: compilation error

Hugo Gomes hggomes at hotmail.com
Wed Sep 5 19:38:02 CEST 2012




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 at cs.unipr.it
> To: ppl-devel at cs.unipr.it
> CC: hggomes at 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 at cs.unipr.it
 		 	   		   		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120905/9729c689/attachment.htm>


More information about the PPL-devel mailing list