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@cs.unipr.it