[PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

[PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

[Manolis Ragkousis]

[-- Attachment #1: Type: text/plain, Size: 227 bytes --]

Hello everyone,

This patch applies to wip-hurd. In order to use it on master, the (gnu
packages commencement) module should also be modified, which is already
the case in wip-hurd.

I will push the patch to wip-hurd.

Manolis

[-- Attachment #2: 0001-gnu-glibc-linux-Rename-linux-headers-input-to-kernel.patch --]
[-- Type: text/x-patch, Size: 1306 bytes --]

From 846930e55796b04b00d61c3d9c15546c978a0af0 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <manolis837@gmail.com>
Date: Thu, 4 Feb 2016 15:50:19 +0200
Subject: [PATCH] gnu: glibc/linux: Rename linux-headers input to
 kernel-headers.

* gnu/packages/base.scm (glibc/linux)[propagated-inputs]: Use a kernel
  agnostic name for the kernel headers.
---
 gnu/packages/base.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm
index 4373716..547753d 100644
--- a/gnu/packages/base.scm
+++ b/gnu/packages/base.scm
@@ -493,7 +493,7 @@ store.")
 
    ;; Glibc's <limits.h> refers to <linux/limit.h>, for instance, so glibc
    ;; users should automatically pull Linux headers as well.
-   (propagated-inputs `(("linux-headers" ,linux-libre-headers)))
+   (propagated-inputs `(("kernel-headers" ,linux-libre-headers)))
 
    (outputs '("out" "debug"))
 
@@ -533,7 +533,7 @@ store.")
                            ,version)
 
             (string-append "--with-headers="
-                           (assoc-ref %build-inputs "linux-headers")
+                           (assoc-ref %build-inputs "kernel-headers")
                            "/include")
 
             ;; This is the default for most architectures as of GNU libc 2.21,
-- 
2.7.0

Re: [PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

[Ludovic Courtès]

Manolis Ragkousis <manolis837@gmail.com> skribis:

> From 846930e55796b04b00d61c3d9c15546c978a0af0 Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <manolis837@gmail.com>
> Date: Thu, 4 Feb 2016 15:50:19 +0200
> Subject: [PATCH] gnu: glibc/linux: Rename linux-headers input to
>  kernel-headers.
>
> * gnu/packages/base.scm (glibc/linux)[propagated-inputs]: Use a kernel
>   agnostic name for the kernel headers.

Sounds like something we could adopt on the next core-updates cycle.  We
should make sure no “linux-headers” uses remain.

Thanks,
Ludo’.