[PPL-devel] About PPL 0.10

[Roberto]

Hi

I'm trying to install ppl-0.10 but I've made make in Cygwin shell and
it returned the following bug report:


$ make
make  all-recursive
make[1]: Entering directory `/home/beto/ppl-0.10pre21'
Making all in utils
make[2]: Entering directory `/home/beto/ppl-0.10pre21/utils'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory `/home/beto/ppl-0.10pre21/utils'
Making all in src
make[2]: Entering directory `/home/beto/ppl-0.10pre21/src'
make  all-am
make[3]: Entering directory `/home/beto/ppl-0.10pre21/src'
/bin/sh ../libtool --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I..
 -I../src  -I/usr/local/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/usr/local/inclu
de -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.c
c  -DDLL_EXPORT -DPIC -o .libs/Box.o
In file included from checked.defs.hh:426,
                 from Checked_Number.defs.hh:27,
                 from Coefficient.types.hh:15,
                 from Coefficient.defs.hh:26,
                 from Box.defs.hh:28,
                 from Box.cc:24:
checked.inlines.hh: In function `Parma_Polyhedra_Library::Result Parma_Polyhedra
_Library::Checked::input_generic(Type&, std::istream&, Parma_Polyhedra_Library::
Rounding_Dir)':
checked.inlines.hh:579: internal compiler error: in invert_truthvalue, at fold-c
onst.c:2719
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://cygwin.com/problems.html> for instructions.
make[3]: *** [Box.lo] Error 1
make[3]: Leaving directory `/home/beto/ppl-0.10pre21/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/beto/ppl-0.10pre21/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/beto/ppl-0.10pre21'
make: *** [all] Error 2


Is there any special options to configure  PPL ?

Yours Sincerely