01/01: gnu: address@hidden: Build with address@hidden

[Marius Bakke]

mbakke pushed a commit to branch core-updates
in repository guix.

commit 25bd72678ae4048b0b84ee82bc5f2644367e9715
Author: Marius Bakke <address@hidden>
Date:   Fri Aug 10 17:00:27 2018 +0200

    gnu: address@hidden: Build with address@hidden
    
    * gnu/packages/gcc.scm (gcc-5)[inputs]: Change ISL to ISL-0.18.
    (isl-0.18): New public variable.
---
 gnu/packages/gcc.scm | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm
index 5bdd70b..46b70ce 100644
--- a/gnu/packages/gcc.scm
+++ b/gnu/packages/gcc.scm
@@ -451,7 +451,8 @@ Go.  It also includes runtime support libraries for these 
languages.")
                      "$OBJDUMP_FOR_TARGET -T"))
                   #t))))
     (inputs
-     `(("isl" ,isl)
+     `(;; GCC5 needs <isl/band.h> which is removed in later versions.
+       ("isl" ,isl-0.18)
        ,@(package-inputs gcc-4.7)))))
 
 (define-public gcc-6
@@ -860,6 +861,20 @@ reduction, transitive closures on maps (which may encode 
infinite graphs),
 dependence analysis and bounds on piecewise step-polynomials.")
     (license lgpl2.1+)))
 
+(define-public isl-0.18
+  (package
+    (inherit isl)
+    (version "0.18")
+    (source (origin
+              (method url-fetch)
+              (uri (list (string-append "http://isl.gforge.inria.fr/isl-";
+                                        version ".tar.bz2")
+                         (string-append %gcc-infrastructure
+                                        "isl-" version ".tar.gz")))
+              (sha256
+               (base32
+                "06ybml6llhi4i56q90jnimbcgk1lpcdwhy9nxdxra2hxz3bhz2vb"))))))
+
 (define-public isl-0.11
   (package
     (inherit isl)