[PPL-devel] compilation error
Hugo Gomes
hggomes at hotmail.com
Wed Sep 5 13:45:22 CEST 2012
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>
More information about the PPL-devel
mailing list