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@cs.unipr.it To: hggomes@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@cs.unipr.it. Cheers,
RobertoDate: Wed, 5 Sep 2012 09:37:39 +0200 From: bagnara@cs.unipr.it To: ppl-devel@cs.unipr.it CC: hggomes@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@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@cs.unipr.it
participants (1)
-
Hugo Gomes