[PPL-devel] math_utilities.inlines.hh:71: error:

[Roberto Bagnara]

On 06/14/2010 09:20 PM, Z wrote:
> Hello
>
> I suppose here is the most right place to report my problem for the
> installation.
>
> I am under MacBook Pro. Everything should be correctly configured
> especially
> --gmp is installed with enable-cxx option
> --configure of ppl is done with   --with-libgmpxx-prefix=\sw (my gmp by
> fink)
>
> I verified and verified, tried and tried and still got such error
> (attached), can anyone tell me how to fix it?
> Many thanks.
>
> Z
>
> bash-3.2$ make
> make  all-recursive
> Making all in .
> make[2]: Nothing to be done for `all-am'.
> Making all in utils
> make[2]: Nothing to be done for `all'.
> Making all in src
> make  all-am
> /bin/sh ../libtool --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I.
> -I..  -I.. -I../src  -I/sw/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/sw/include -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF
> .deps/Box.Tpo -c Box.cc  -fno-common -DPIC -o .libs/Box.o
> math_utilities.inlines.hh: In function 'void
> Parma_Polyhedra_Library::div_round_up(Parma_Polyhedra_Library::Checked_Number<T,
> P>&, const Parma_Polyhedra_Library::GMP_Integer&, const
> Parma_Polyhedra_Library::GMP_Integer&)':
> math_utilities.inlines.hh:71: error:
> 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses
> anonymous type
> math_utilities.inlines.hh:71: error:   trying to instantiate
> 'template<class T> struct Parma_Polyhedra_Library::Is_Checked'
> math_utilities.inlines.hh:71: error:
> 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses
> anonymous type
> ...
> ...
> ...
> Box.templates.hh:894: error:   trying to instantiate 'template<class T>
> struct Parma_Polyhedra_Library::Is_Native_Or_Checked'
> Box.templates.hh:894: error:
> 'Parma_Polyhedra_Library::Bool<true>::<anonymous enum>' is/uses
> anonymous type
> Box.templates.hh:894: error:   trying to instantiate 'template<class T>
> struct Parma_Polyhedra_Library::Is_Native_Or_Checked'
> make[3]: *** [Box.lo] Error 1
> make[2]: *** [all] Error 2
> make[1]: *** [all-recursive] Error 1
> make: *** [all] Error 2
> bash-3.2$

Hi Z,

which version of g++ are you using?  My guess is that it is too old:
see http://www.cs.unipr.it/ppl/Download/requirements
All the best,

   Roberto

-- 
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