* doc/install.texi (Prerequisites): Document PPL and CLooG-PPL
dependences and the configure options.
(Configuration): Document --with-cloog, --with-ppl, --with-cloog-lib,
* doc/install.texi (Prerequisites): Document PPL and CLooG-PPL
dependences and the configure options.
(Configuration): Document --with-cloog, --with-ppl, --with-cloog-lib,