[PPL-devel] Error Message Installing the new version
Roberto Bagnara
bagnara at cs.unipr.it
Wed Apr 2 18:25:36 CEST 2008
David Rodriguez Velazquez wrote:
> Dear Roberto:
> I am installing the version 10 of ppl
> When I type make , one error was displayed.
>
> make
> make all-recursive
> make[1]: Entering directory `/home/david/alv/ppl-0.10pre17'
> Making all in utils
> make[2]: Entering directory `/home/david/alv/ppl-0.10pre17/utils'
> make[2]: Nothing to be done for `all'.
> make[2]: Leaving directory `/home/david/alv/ppl-0.10pre17/utils'
> Making all in src
> make[2]: Entering directory `/home/david/alv/ppl-0.10pre17/src'
> make all-am
> make[3]: Entering directory `/home/david/alv/ppl-0.10pre17/src'
> /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -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 -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fPIC -DPIC -o .libs/Box.o
> In file included from checked.defs.hh:426,
> from Checked_Number.defs.hh:27,
> from Boundary.defs.hh:26,
> from Interval_Info.defs.hh:26,
> from Interval.defs.hh:30,
> 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:575: internal compiler error: in invert_truthvalue, at fold-const.c:2700
> Please submit a full bug report,
> with preprocessed source if appropriate.
> See <URL:http://bugzilla.redhat.com/bugzilla> for instructions.
> Preprocessed source stored into /tmp/cc4AXBs0.out file, please attach this to your bugreport.
> make[3]: *** [Box.lo] Error 1
> make[3]: Leaving directory `/home/david/alv/ppl-0.10pre17/src'
> make[2]: *** [all] Error 2
> make[2]: Leaving directory `/home/david/alv/ppl-0.10pre17/src'
> make[1]: *** [all-recursive] Error 1
> make[1]: Leaving directory `/home/david/alv/ppl-0.10pre17'
> make: *** [all] Error 2
> [david at shangai ppl-0.10pre17]$
>
>
> I am sending the information about the error. Do you have any idea Why?
It looks like you are using an old compiler. I recommend you use GCC version
4.1 or later.
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
More information about the PPL-devel
mailing list