08/09: gnu: linux-libre-headers: Update to 4.19.56.

[guix-commits]

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

commit 1290855490baf03944dc85d8353c2b8cedac5256
Author: Marius Bakke <address@hidden>
Date:   Mon Jul 1 17:24:33 2019 +0200

    gnu: linux-libre-headers: Update to 4.19.56.
    
    * gnu/packages/linux.scm (linux-libre-headers-4.14.67): Rename to ...
    (linux-libre-headers-4.19.56): ... this.  Adjust hash accordingly.
    (linux-libre-headers): Set to LINUX-LIBRE-HEADERS-4.19.56.
    * gnu/packages/commencement.scm (linux-libre-headers-boot0)[native-inputs]:
    Add FLEX-BOOT0 and BISON-BOOT0.
---
 gnu/packages/commencement.scm | 7 ++++++-
 gnu/packages/linux.scm        | 8 ++++----
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index 8a0e1c3..230b633 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -1710,6 +1710,7 @@ exec " gcc "/bin/" program
 
 (define bison-boot0
   ;; This Bison is needed to build MiG so we need it early in the process.
+  ;; Recent versions of Linux-Libre headers also depend on this.
   (let* ((bison (package (inherit bison)
                   (propagated-inputs `(("m4" ,m4)))
                   (inputs '())                    ;remove Flex...
@@ -1735,7 +1736,7 @@ exec " gcc "/bin/" program
       (native-inputs `(("perl" ,perl-boot0))))))
 
 (define flex-boot0
-  ;; This Flex is needed to build MiG.
+  ;; This Flex is needed to build MiG as well as Linux-Libre headers.
   (let* ((flex (package (inherit flex)
                  (native-inputs `(("bison" ,bison-boot0)))
                  (propagated-inputs `(("m4" ,m4)))
@@ -1760,6 +1761,10 @@ exec " gcc "/bin/" program
                            ,@(package-arguments linux-libre-headers)))
               (native-inputs
                `(("perl" ,perl-boot0)
+
+                 ;; Flex and Bison are required since version 4.16.
+                 ("flex" ,flex-boot0)
+                 ("bison" ,bison-boot0)
                  ,@(%boot0-inputs)))))))
 
 (define gnumach-headers-boot0
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index f1fdcba..7df83ca 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -496,11 +496,11 @@ It has been modified to remove all non-free binary 
blobs.")
                     #:configuration-file kernel-config-veyron
                     #:extra-version "arm-veyron"))
 
-(define-public linux-libre-headers-4.14.67
-  (make-linux-libre-headers "4.14.67"
-                            
"050zvdxjy6sc64q75pr1gxsmh49chwav2pwxz8xlif39bvahnrpg"))
+(define-public linux-libre-headers-4.19.56
+  (make-linux-libre-headers "4.19.56"
+                            
"1zqiic55viy065lhnkmhn33sz3bbbr2ykbm5f92yzd8lpc9zl7yx"))
 
-(define-public linux-libre-headers linux-libre-headers-4.14.67)
+(define-public linux-libre-headers linux-libre-headers-4.19.56)
 (define-public linux-libre linux-libre-5.1)
 
 (define-public linux-libre-arm-generic