diff -r d1a8c2ae7946 -r bfad02f03c75 config/companion_libs.in
--- a/config/companion_libs.in	Tue May 31 16:27:39 2011 +0200
+++ b/config/companion_libs.in	Sat May 04 00:08:34 2013 +0200
@@ -22,6 +22,11 @@
     select PPL
     select COMPLIBS_NEEDED
 
+config ISL_NEEDED
+    bool
+    select ISL
+    select COMPLIBS_NEEDED
+
 config CLOOG_NEEDED
     bool
     select CLOOG
@@ -54,6 +59,11 @@
     select GMP
     select COMPLIBS
 
+config ISL
+    bool
+    select GMP
+    select COMPLIBS
+
 config CLOOG
     bool
     select GMP
@@ -82,6 +92,9 @@
 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