diff -r 000000000000 -r 46658e3fc781 config/companion_libs/cloog.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/companion_libs/cloog.in	Mon May 25 17:26:21 2009 +0000
@@ -0,0 +1,32 @@
+# CLooG options
+
+choice
+    bool
+    prompt "CLooG/ppl version"
+
+config CLOOG_V_0_15_3
+    bool
+    prompt "0.15.3"
+
+# CT_INSERT_VERSION_ABOVE
+# Don't remove above line!
+endchoice
+
+config CLOOG_VERSION
+    string
+    default "0.15.3" if CLOOG_V_0_15_3
+# CT_INSERT_VERSION_STRING_ABOVE
+# Don't remove above line!
+
+config CLOOG_CHECK
+    bool
+    prompt "Check CLooG (!!! README !!!)"
+    default n
+    help
+      It is highly recommended to check the newly built CLooG library.
+      Unfortunately, this is a very intensive task, and takes a loooong time.
+      
+      Checking CLooG is thus disabled by default.
+      
+      If you suspect that your CLooG library is the cause for incorrectly
+      generated code, you should answer 'Y' here.