On Mon, Aug 24, 2009 at 03:40:54PM +0200, Tobias Grosser wrote: > Hi Toon, > > did you build with the latest cloog-ppl package. It is 0.15.7 and > availa...@ftp://gcc.gnu.org/pub/gcc/infrastructure/. > > Gcc should build without any problems using this package. Can you verify > this? > > The problem was in the cloog-ppl headers and was fixed in CLooG-ppl > 0.15.4 (I think). > > We should add a check for ClooG revision to make configure fail on > outdated cloog 0.15 revisions. > > Otherwise there is not not much we can do about this in gcc. These are > bugs fixed in CLooG and the user needs the latest bugfix release of > CLooG itself. > > Tobi >
Such a patch was already proposed by Sebastian... http://gcc.gnu.org/ml/gcc-patches/2009-07/msg01839.html ...but never applied. Jack
