summaryrefslogtreecommitdiff
path: root/config/companion_libs.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.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.in')
-rw-r--r--config/companion_libs.in1
1 files changed, 0 insertions, 1 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