<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>
Sorry don't even noticed i had reply to other email ;)<BR> <BR>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.<br><BR> <BR>Tks once again,<br>Hugo Gomes<br> <BR><div><div id="SkyDrivePlaceholder"></div>> Date: Wed, 5 Sep 2012 13:41:37 +0200<br>> From: bagnara@cs.unipr.it<br>> To: hggomes@hotmail.com<br>> Subject: Re: [PPL-devel] compilation error<br>> <br>> On 09/05/12 13:34, Hugo Gomes wrote:<br>> > Hi Roberto,<br>> ><br>> > Thanks alot i will try and report to you.<br>> <br>> It's better if you report to ppl-devel@cs.unipr.it.<br>> Cheers,<br>> <br>> Roberto<br>> <br>> > > Date: Wed, 5 Sep 2012 09:37:39 +0200<br>> > > From: bagnara@cs.unipr.it<br>> > > To: ppl-devel@cs.unipr.it<br>> > > CC: hggomes@hotmail.com<br>> > > Subject: Re: [PPL-devel] compilation error<br>> > ><br>> > > On 09/04/12 18:35, Hugo Gomes wrote:<br>> > > > Hi, i'm having problems compiling ppl-1.0 on a mips enviroment, please check this log error:<br>> > > ><br>> > > ><br>> > > ><br>> > > > make all-am<br>> > > > make[3]: Entering directory `/opt/ppl-1.0/src'<br>> > > > /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<br>> > > > 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<br>> > > > 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<br>> > > > mv -f .deps/assert.Tpo .deps/assert.Plo<br>> > > > /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<br>> > > > 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<br>> > > > checked_float.inlines.hh: In function 'void Parma_Polyhedra_Library::Checked::assign_mpq_numeric_float(mpq_class&, From) [with From = long double]':<br>> > > > checked_float.inlines.hh:1012: error: 'frexpl' was not declared in this scope<br>> > > > checked_float.inlines.hh:1023: error: 'floorl' was not declared in this scope<br>> > > > make[3]: *** [Box.lo] Error 1<br>> > > > make[3]: Leaving directory `/opt/ppl-1.0/src'<br>> > > > make[2]: *** [all] Error 2<br>> > > > make[2]: Leaving directory `/opt/ppl-1.0/src'<br>> > > > make[1]: *** [all-recursive] Error 1<br>> > > > make[1]: Leaving directory `/opt/ppl-1.0'<br>> > > > make: *** [all] Error 2<br>> > ><br>> > > Hi Hugo,<br>> > ><br>> > > thanks for the report. Please try the PPL 1.1 snapshot<br>> > > available at<br>> > ><br>> > > http://bugseng.com/products/ppl/download/ftp/snapshots/<br>> > ><br>> > > and let us know how it goes.<br>> > > If the problem persists, please send the config.log file (compressed)<br>> > > that is created at configure time.<br>> > > Kind regards,<br>> > ><br>> > > Roberto<br>> > ><br>> > > --<br>> > > Prof. Roberto Bagnara<br>> > > Applied Formal Methods Laboratory<br>> > > Department of Mathematics and Computer Science, University of Parma, Italy<br>> > > http://www.cs.unipr.it/~bagnara/<br>> > > mailto:bagnara@cs.unipr.it<br>> <br>> <br>> -- <br>> Prof. Roberto Bagnara<br>> Applied Formal Methods Laboratory<br>> Department of Mathematics and Computer Science, University of Parma, Italy<br>> http://www.cs.unipr.it/~bagnara/<br>> mailto:bagnara@cs.unipr.it<br></div> </div></body>
</html>