summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index 1f58731..6f6a776 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -9,6 +9,11 @@ if ISL
# Don't remove next line
# CT_INSERT_VERSION_BELOW
+config CLOOG_V_0_18_1
+ bool
+ prompt "0.18.1"
+ select CLOOG_0_18_or_later
+
config CLOOG_V_0_18_0
bool
prompt "0.18.0"
@@ -52,6 +57,7 @@ config CLOOG_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
+ default "0.18.1" if CLOOG_V_0_18_1
default "0.18.0" if CLOOG_V_0_18_0
default "0.15.11" if CLOOG_V_0_15_11
default "0.15.10" if CLOOG_V_0_15_10