Hi Manuel,
Both 7.2 ("release" branch) and 7.3alpha ("master" branch) for Git should work for you (if not, please report).
7.2 (git) usage is a bit easier - you don't need to ./autogen.sh.
Regards
15 03 2012, 23:58 Manuel.Serrano at inria.fr:
> > Have you tried the GIT version? - Last time I tried, it worked with the
> > latest versions of those compilers.
> Wonderful! Thanks for the information.
>> Just to be sure... when you say the GIT version you mean 7.3alpha1,
> right?
>> --
> Manuel