summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
authorYann E. MORIN <devnull@localhost>2009-06-17 09:38:04 (GMT)
committerYann E. MORIN <devnull@localhost>2009-06-17 09:38:04 (GMT)
commit302dd084c2e782ea5fdbde1db9f1b2bcda5ac83f (patch)
tree2bd1601131ca41844086fcdcaccffcc7438a66ee /config/companion_libs/cloog.in
parenta393a72f5f7b0f0f48f11782d70b255c6ca5f740 (diff)
parenta7ff05b022a8db08185486fa0fbf324f2ecd9d3e (diff)
[gcc] Merge the gcc-4.4 suport to the default branch, from 1407:83083566fdd0
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in19
1 files changed, 19 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
new file mode 100644
index 0000000..99779c9
--- /dev/null
+++ b/config/companion_libs/cloog.in
@@ -0,0 +1,19 @@
+# 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!