1 files changed, 13 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index d4996a6f..eb0800b5 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