summaryrefslogtreecommitdiff
path: root/config/companion_libs.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@free.fr>2013-05-03 22:08:34 (GMT)
committerYann E. MORIN" <yann.morin.1998@free.fr>2013-05-03 22:08:34 (GMT)
commite4828c01d378448d56cfad19fdb8c29247cecd3c (patch)
tree204159da4ab9962bc849f928143cffd4be27ac0e /config/companion_libs.in
parent501204e8d48eeea4d63cb9f95af5ed490c8e99de (diff)
complibs: add ISL
ISL is used by gcc-4.8 onward for GRAPHITE, so is also used as backend for CLooG 0.18.0 onward. Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru> [Dmitry did a preliminray patch to add ISL, which this one 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.in13
1 files changed, 13 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index d4996a6..eb0800b 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -22,6 +22,11 @@ config PPL_NEEDED
select PPL
select COMPLIBS_NEEDED
+config ISL_NEEDED
+ bool
+ select ISL
+ select COMPLIBS_NEEDED
+
config CLOOG_NEEDED
bool
select CLOOG
@@ -54,6 +59,11 @@ config PPL
select GMP
select COMPLIBS
+config ISL
+ bool
+ select GMP
+ select COMPLIBS
+
config CLOOG
bool
select GMP
@@ -82,6 +92,9 @@ endif
if PPL
source "config/companion_libs/ppl.in"
endif
+if ISL
+source "config/companion_libs/isl.in"
+endif
if CLOOG
source "config/companion_libs/cloog.in"
endif