1.1 --- a/config/companion_libs.in Tue May 31 16:27:39 2011 +0200
1.2 +++ b/config/companion_libs.in Sat May 04 00:08:34 2013 +0200
1.3 @@ -22,6 +22,11 @@
1.4 select PPL
1.5 select COMPLIBS_NEEDED
1.6
1.7 +config ISL_NEEDED
1.8 + bool
1.9 + select ISL
1.10 + select COMPLIBS_NEEDED
1.11 +
1.12 config CLOOG_NEEDED
1.13 bool
1.14 select CLOOG
1.15 @@ -54,6 +59,11 @@
1.16 select GMP
1.17 select COMPLIBS
1.18
1.19 +config ISL
1.20 + bool
1.21 + select GMP
1.22 + select COMPLIBS
1.23 +
1.24 config CLOOG
1.25 bool
1.26 select GMP
1.27 @@ -82,6 +92,9 @@
1.28 if PPL
1.29 source "config/companion_libs/ppl.in"
1.30 endif
1.31 +if ISL
1.32 +source "config/companion_libs/isl.in"
1.33 +endif
1.34 if CLOOG
1.35 source "config/companion_libs/cloog.in"
1.36 endif