[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