summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@free.fr>2013-05-04 22:01:05 (GMT)
committerYann E. MORIN" <yann.morin.1998@free.fr>2013-05-04 22:01:05 (GMT)
commite1675bac640e9491b23d2fd95f46af17b160013b (patch)
tree0695bc5fc424ab0451fb4be9ccd34dfb76848586 /config/companion_libs/cloog.in
parent1dc3dd91672d2742d294429b8427b548ee2ba85a (diff)
complibs/cloog: add support for the ISL backend
CLooG 0.18+ will use ISL instead of PPL, so we have to configure adequately depending of which backend is in use. The Kconfig entries will decide for us which is selected, so we can rely on either PPL xor ISL to be selected, not both. Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru> [Dmitry did a preliminray patch to add ISL support, which this patch is inspired from] Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
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