Le 2 janvier 2011 07:53:44, Allan McRae a écrit : > Move cloog-ppl headers to /usr/include/cloog-ppl and a cosmetic rebuild > of gcc with configure options for the new header location. > > Signoff both, > Allan Tested in a chroot, nothing broken. Signoff both. Stéphane