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.in20
1 files changed, 19 insertions, 1 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index d2e6b0a..1f58731 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -2,10 +2,22 @@
choice
bool
- prompt "CLooG/ppl version"
+ prompt "CLooG version"
+
+if ISL
+
# Don't remove next line
# CT_INSERT_VERSION_BELOW
+config CLOOG_V_0_18_0
+ bool
+ prompt "0.18.0"
+ select CLOOG_0_18_or_later
+
+endif # ISL
+
+if PPL
+
config CLOOG_V_0_15_11
bool
prompt "0.15.11"
@@ -32,12 +44,15 @@ config CLOOG_V_0_15_6
bool
prompt "0.15.6"
+endif # PPL
+
endchoice
config CLOOG_VERSION
string
# Don't remove next line
# CT_INSERT_VERSION_STRING_BELOW
+ 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
default "0.15.9" if CLOOG_V_0_15_9
@@ -45,6 +60,9 @@ config CLOOG_VERSION
default "0.15.7" if CLOOG_V_0_15_7
default "0.15.6" if CLOOG_V_0_15_6
+config CLOOG_0_18_or_later
+ bool
+
config CLOOG_0_15_1x
bool
select CLOOG_NEEDS_AUTORECONF