diff -r 48c12c696778 -r 46658e3fc781 config/companion_libs.in
--- a/config/companion_libs.in	Tue May 05 22:04:20 2009 +0000
+++ b/config/companion_libs.in	Mon May 25 17:26:21 2009 +0000
@@ -49,6 +49,7 @@
 
 if PPL_CLOOG
 source config/companion_libs/ppl.in
+source config/companion_libs/cloog.in
 endif
 
 endmenu