1.1 --- a/config/companion_libs.in	Tue May 31 16:27:39 2011 +0200
     1.2 +++ b/config/companion_libs.in	Sun May 05 17:59:00 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