diff options
author | Yann E. MORIN" <yann.morin.1998@free.fr> | 2013-05-03 22:08:34 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@free.fr> | 2013-05-03 22:08:34 (GMT) |
commit | e4828c01d378448d56cfad19fdb8c29247cecd3c (patch) | |
tree | 204159da4ab9962bc849f928143cffd4be27ac0e /config/companion_libs.in | |
parent | 501204e8d48eeea4d63cb9f95af5ed490c8e99de (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.in | 13 |
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 |