On 03/02/2011 04:01 PM, Richard Guenther wrote: > It seems to work for me > Likewise, with my usual simple configure line including only --enable-cloog-backend=isl beyond trivial things. Paolo.