[PPL-devel] Problems with ppl-0.10.2 and g++ 4.4.0 on Open Solaris (x86_64)

[Roberto Bagnara]

Marc Glisse wrote:
> (sorry for the broken thread, I haven't subscribed to the list)
> 
>> apparently, some of the header files in your system are broken.
>> For example, here is line 69 in src/Pointset_Powerset.defs.hh:
>>
>>    typedef Powerset<CS> Base;
>>
>> I bet that you have an header file containing something like
>>
>>    #define CS 15
>>
>> Can you please check that?
> 
> He does, in sys/regset.h. And so does linux (actually glibc) on x86(_64)
> in sys/reg.h (but CS is either 13 or 17 there). The only difference is
> that the libstdc++ headers end up accidentally including it on solaris
> and not on linux.
> 
> It sucks, but I guess it would be nice to occasionally build PPL and run
> the testsuite on linux on a PC with CPPFLAGS='-include sys/reg.h'.

Hi Marc,

we will certainly follow your suggestion.  Unfortunately, this seems very
"ad hoc".  In other words, I wonder if there are other header files that
may give rise to similar problems, and which macros are they defining.
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