diff options
author | Yann E. MORIN" <yann.morin.1998@free.fr> | 2013-05-04 22:01:05 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@free.fr> | 2013-05-04 22:01:05 (GMT) |
commit | e1675bac640e9491b23d2fd95f46af17b160013b (patch) | |
tree | 0695bc5fc424ab0451fb4be9ccd34dfb76848586 /config | |
parent | 1dc3dd91672d2742d294429b8427b548ee2ba85a (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')
-rw-r--r-- | config/companion_libs.in | 1 | ||||
-rw-r--r-- | config/companion_libs/cloog.in | 20 |
2 files changed, 19 insertions, 2 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index eb0800b..c48fc82 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -67,7 +67,6 @@ config ISL config CLOOG bool select GMP - select PPL select COMPLIBS config MPC 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 |