[PPL-devel] compilation error

[Hugo Gomes]

Sorry don't even noticed i had reply to other email ;) I'm testing at this right moment, i guess on the next minutes i will have some news, if not i will send config.log file.
 Tks once again,
Hugo Gomes
 > Date: Wed, 5 Sep 2012 13:41:37 +0200
> From: bagnara at cs.unipr.it
> To: hggomes at hotmail.com
> Subject: Re: [PPL-devel] compilation error
> 
> On 09/05/12 13:34, Hugo Gomes wrote:
> > Hi Roberto,
> >
> > Thanks alot i will try and report to you.
> 
> It's better if you report to ppl-devel at cs.unipr.it.
> Cheers,
> 
>     Roberto
> 
> >  > Date: Wed, 5 Sep 2012 09:37:39 +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/04/12 18:35, Hugo Gomes wrote:
> >  > > Hi, i'm having problems compiling ppl-1.0 on a mips enviroment, please check this log error:
> >  > >
> >  > >
> >  > >
> >  > > make all-am
> >  > > make[3]: Entering directory `/opt/ppl-1.0/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 assert.lo -MD -MP -MF .deps/assert.Tpo -c -o assert.lo assert.cc
> >  > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -fPIC -DPIC -o .libs/assert.o
> >  > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -o assert.o >/dev/null 2>&1
> >  > > mv -f .deps/assert.Tpo .deps/assert.Plo
> >  > > /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 Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc
> >  > > libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fPIC -DPIC -o .libs/Box.o
> >  > > checked_float.inlines.hh: In function 'void Parma_Polyhedra_Library::Checked::assign_mpq_numeric_float(mpq_class&, From) [with From = long double]':
> >  > > checked_float.inlines.hh:1012: error: 'frexpl' was not declared in this scope
> >  > > checked_float.inlines.hh:1023: error: 'floorl' was not declared in this scope
> >  > > make[3]: *** [Box.lo] Error 1
> >  > > make[3]: Leaving directory `/opt/ppl-1.0/src'
> >  > > make[2]: *** [all] Error 2
> >  > > make[2]: Leaving directory `/opt/ppl-1.0/src'
> >  > > make[1]: *** [all-recursive] Error 1
> >  > > make[1]: Leaving directory `/opt/ppl-1.0'
> >  > > make: *** [all] Error 2
> >  >
> >  > Hi Hugo,
> >  >
> >  > thanks for the report. Please try the PPL 1.1 snapshot
> >  > available at
> >  >
> >  > http://bugseng.com/products/ppl/download/ftp/snapshots/
> >  >
> >  > and let us know how it goes.
> >  > If the problem persists, please send the config.log file (compressed)
> >  > that is created at configure time.
> >  > Kind regards,
> >  >
> >  > 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
> 
> 
> -- 
> 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/eb8a2db3/attachment.htm>