summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/companion_libs/cloog.in20
1 files changed, 20 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index 99779c9..2b6185d 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -8,6 +8,22 @@ config CLOOG_V_0_15_3
bool
prompt "0.15.3"
+config CLOOG_V_0_15_4
+ bool
+ prompt "0.15.4"
+
+config CLOOG_V_0_15_5
+ bool
+ prompt "0.15.5"
+
+config CLOOG_V_0_15_6
+ bool
+ prompt "0.15.6"
+
+config CLOOG_V_0_15_7
+ bool
+ prompt "0.15.7"
+
# CT_INSERT_VERSION_ABOVE
# Don't remove above line!
endchoice
@@ -15,5 +31,9 @@ endchoice
config CLOOG_VERSION
string
default "0.15.3" if CLOOG_V_0_15_3
+ default "0.15.4" if CLOOG_V_0_15_4
+ default "0.15.5" if CLOOG_V_0_15_5
+ default "0.15.6" if CLOOG_V_0_15_6
+ default "0.15.7" if CLOOG_V_0_15_7
# CT_INSERT_VERSION_STRING_ABOVE
# Don't remove above line!