- --enable-cloog-backend=backend
- isl: The cloog.org isl backend
- ppl-legacy: The legacy ppl backend - default
- ppl: The cloog.org ppl backend
+ --enable-cloog-backend[=BACKEND]
+ set the CLooG BACKEND used to either isl, ppl or
+ ppl-legacy (default)