[PPL-devel] Problem comiling ppl 0.10.2

[Roberto Bagnara]

Pierre wrote:
> # make
> make  all-recursive
> make[1]: Entering directory `/tmp/ppl-0.10.2'
> Making all in .
> make[2]: Entering directory `/tmp/ppl-0.10.2'
> make[2]: Nothing to be done for `all-am'.
> make[2]: Leaving directory `/tmp/ppl-0.10.2'
> Making all in utils
> make[2]: Entering directory `/tmp/ppl-0.10.2/utils'
> make[2]: Nothing to be done for `all'.
> make[2]: Leaving directory `/tmp/ppl-0.10.2/utils'
> Making all in src
> make[2]: Entering directory `/tmp/ppl-0.10.2/src'
> g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src    -Winvalid-pch -g -O2 
> -march=x86 -frounding-math -s -O3 -march=i686 -W -Wall -xc++-header -o 
> ppl.hh.gch ppl.hh
> ppl.hh: In function `void 
> Parma_Polyhedra_Library::restore_pre_PPL_rounding()':
> ppl.hh:1002: error: 
> `Parma_Polyhedra_Library::fpu_rounding_direction_type 
> Parma_Polyhedra_Library::Init::old_rounding_direction' is private
> ppl.hh:1801: error: within this context
> ppl.hh:4678: confused by earlier errors, bailing out
> make[2]: *** [ppl.hh.gch] Error 1
> make[2]: Leaving directory `/tmp/ppl-0.10.2/src'
> make[1]: *** [all-recursive] Error 1
> make[1]: Leaving directory `/tmp/ppl-0.10.2'
> make: *** [all] Error 2

Hi Pierre,

my guess is that you are using an old version of GCC.
As explained in

   http://www.cs.unipr.it/ppl/Download/requirements

you need at least GCC 4.0.3.  In case the guess is wrong,
please send us the config.log file generated by the
configuration command you gave.
All the best,

      Roberto

P.S. Your Mantis registration failed because the email address
      "pierre24d at 9online.fr" you used there seems to be invalid.

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it