diff -r 48c12c696778 -r 945dc995daa7 config/companion_libs.in
--- a/config/companion_libs.in	Tue May 05 22:04:20 2009 +0000
+++ b/config/companion_libs.in	Sun May 24 22:04:14 2009 +0000
@@ -49,6 +49,7 @@
 
 if PPL_CLOOG
 source config/companion_libs/ppl.in
+source config/companion_libs/cloog.in
 endif
 
 endmenu