[PPL-devel] Modified PPL 0.10.2 source distribution for Solaris

[alanpae at ilkda.com]

> 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