[PPL-devel] Problems with test suite on alpha

[Roberto Bagnara]

On 09/09/2010 03:05 PM, Michael Tautschnig wrote:
> Hi!
>
> [...]
>
>>
>> thanks for the update.  How about changing all the #ifndef __alpha__ to
>>
>> #if !defined(__alpha__)                                 \
>>    || !defined(__GNUC__)                                 \
>>    || __GNUC__>  4                                       \
>>    || (__GNUC__ == 4&&  __GNUC_MINOR__>= 4)
>>
>
> Although this is completely up to you to decide, I just wanted to add that this
> only concerns the test suite; so maybe it's even better to make it fail such
> that people notice there might be a problem on their system.

You are right, of course.
Thanks,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it