[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


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,


Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics and Computer Science, University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the PPL-devel mailing list