From e4828c01d378448d56cfad19fdb8c29247cecd3c Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@free.fr>
Date: Sat, 4 May 2013 00:08:34 +0200
Subject: 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>
---
 config/companion_libs.in     | 13 +++++++++++++
 config/companion_libs/isl.in | 19 +++++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 config/companion_libs/isl.in

(limited to 'config')

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
diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
new file mode 100644
index 00000000..51854c89
--- /dev/null
+++ b/config/companion_libs/isl.in
@@ -0,0 +1,19 @@
+# ISL options
+
+choice
+    bool
+    prompt "ISL version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
+
+config ISL_V_0_11_1
+    bool
+    prompt "0.11.1"
+
+endchoice
+
+config ISL_VERSION
+    string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
+    default "0.11.1" if ISL_V_0_11_1
-- 
cgit v1.2.3