On 17/07/2014 16:11, Roman Gareev wrote:
I've attached the patch, which adds the requirement for isl 0.12. Tobias, is it important to accept only 0.12.1, 0.12.2 and forbid 0.12?
I am not aware of any problems with isl 0.12 and would be surprised if such problems exist. Are you?
The patch itself looks good. As it is trivial, fixing an annoying bootstrapping bug, and people agreed that this is the right direction, I propose that you commit it right ahead.
Further reviews are still welcome. Cheers, Tobias P.S: As Richard suggested, we may also want to forbid CLooG 0.17.
