[PPL-devel] compilation error
Roberto Bagnara
bagnara at cs.unipr.it
Wed Sep 5 09:37:39 CEST 2012
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
More information about the PPL-devel
mailing list