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@shangai ppl-0.10pre17]$
I am sending the information about the error. Do you have any idea Why? Thanks.
Sincerely.
David Rodriguez Velazquez david.rodriguez-velazquez@wmich.edu