ppl-0.11をインストールしていると、cloog-ppl-0.15.9では、pplを見つけられなくてconfigureで失敗します。ppl-0.11とcloog-ppl-0.15.9の組み合わせの場合、以下のパッチを適用してください。cloog-ppl-0.15.9-ppl-0.11.diffppl-0.11とcloog-ppl-0.15.10の組み合わせの場合は、configureの問題は修正されています。追記configureの後、makeの時エラーになるので、パッチを適用します。追記configureオプションの、--with-host-libstdcxx=-lstdc++は、付けなくてもコンパイルできるようになっていたので削除しました。