Re: [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
Hi Alan,
it seems the compiler you are using is buggy: according to the C++ standard, size_t has to be provided by <cstddef> and <cstddef> is included by globals.types.hh prior to the first reference to size_t. All the best,
Roberto
Ok, the gmp that comes with OpenSolaris is not compatible with your program. So I downloaded the recent tarball and rebuilt it using your instructions in README.configure.
./configure on your program runs through with no errors. To avoid the Sun Studio issue I switched back to gcc.
gcc --version gcc (GCC) 3.4.3 (csl-sol210-3_4-20050802) Copyright (C) 2004 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
This generates a new error.
gmake all-am gmake[3]: Entering directory `/build/ppl-0.10.2/src' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/gmp/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/opt/gmp/include -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:595, 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:607: internal compiler error: in invert_truthvalue, at fold-const.c:2695 Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. gmake[3]: *** [Box.lo] Error 1 gmake[3]: Leaving directory `/build/ppl-0.10.2/src' gmake[2]: *** [all] Error 2 gmake[2]: Leaving directory `/build/ppl-0.10.2/src' gmake[1]: *** [all-recursive] Error 1 gmake[1]: Leaving directory `/build/ppl-0.10.2' gmake: *** [all] Error 2
alan
alanpae@ilkda.com wrote:
Hi Alan,
it seems the compiler you are using is buggy: according to the C++ standard, size_t has to be provided by <cstddef> and <cstddef> is included by globals.types.hh prior to the first reference to size_t. All the best,
Roberto
Ok, the gmp that comes with OpenSolaris is not compatible with your program. So I downloaded the recent tarball and rebuilt it using your instructions in README.configure.
./configure on your program runs through with no errors. To avoid the Sun Studio issue I switched back to gcc.
gcc --version gcc (GCC) 3.4.3 (csl-sol210-3_4-20050802) Copyright (C) 2004 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
This generates a new error.
gmake all-am gmake[3]: Entering directory `/build/ppl-0.10.2/src' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/opt/gmp/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/opt/gmp/include -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:595, 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:607: internal compiler error: in invert_truthvalue, at fold-const.c:2695 Please submit a full bug report, with preprocessed source if appropriate. See URL:http://gcc.gnu.org/bugs.html for instructions. gmake[3]: *** [Box.lo] Error 1 gmake[3]: Leaving directory `/build/ppl-0.10.2/src' gmake[2]: *** [all] Error 2 gmake[2]: Leaving directory `/build/ppl-0.10.2/src' gmake[1]: *** [all-recursive] Error 1 gmake[1]: Leaving directory `/build/ppl-0.10.2' gmake: *** [all] Error 2
Hi Alan,
my guess is that you are using an old version of GCC. As explained in
http://www.cs.unipr.it/ppl/Download/requirements
you need at least GCC 4.0.3. All the best,
Roberto
participants (2)
-
alanpae＠ilkda.com -
Roberto Bagnara