Hi, I lost the original thread about libgcc revbumps and good measures for revbumping ... but it seems that all cross-compilers are now broken and need a revbump. Maybe we should put some comments on top of isl. From what I remember in the past isl would also often just work with newer gcc and for older ones one would need to use an older version. Mojca