
9 Sep
2010
9 Sep
'10
7:58 p.m.
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