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

[Roberto Bagnara]

alanpae at 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

-- 
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