../gcc-4.7.0/configure --with-ppl=/usr/local --with-cloog=/usr/local/ --enable-cloog-backend=isl --with-tune-64=corei7-avx --with-build-config=bootstrap-lto fails when using cloog 0.17. cloog 0.16.2 works well. -- Empfehlen Sie GMX DSL Ihren Freunden und Bekannten und wir belohnen Sie mit bis zu 50,- Euro! https://freundschaftswerbung.gmx.de