[PPL-devel] About PPL 0.10

[Roberto Bagnara]

Roberto wrote:
> 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 ?

Dear Roberto,

it seems you are using a very old version of GCC: you need
at least GCC 4.0.3.  Building issues on Cygwin have been
discussed recently on this list: see the archives.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it