Richard Guenther wrote: > That's expected and true for all other build dependencies as well. > Humm, ok. Frankly, I'm not sure it's generally true, I should double check, I mean, for cloog and ppl, which I also have in /usr/local, I can build without... Paolo.