From b9a30e0d37525e714a232318c26c7e4ef8250dc1 Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Fri, 1 Mar 2019 17:41:43 +0100
Subject: [PATCH] gnu: efibootmgr: Fix build failure with GCC7.

* gnu/packages/linux.scm (efibootmgr)[arguments]: Set C_INCLUDE_PATH.
---
 gnu/packages/linux.scm | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index ed092e1c73..6049b09139 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -4142,7 +4142,12 @@ interface to the variable facility of UEFI boot firmware.")
                           ;; installed (known as OS_VENDOR in the code).
                           ;; GRUB overrides this, as such it's only used if
                           ;; nothing else is specified on the command line.
-                          "EFIDIR=gnu")
+                          "EFIDIR=gnu"
+                          ;; Treat kernel headers as system headers to prevent
+                          ;; warnings about conflicting types.
+                          (string-append "C_INCLUDE_PATH="
+                                         (assoc-ref %build-inputs "kernel-headers")
+                                         "/include"))
        #:phases (modify-phases %standard-phases (delete 'configure))))
     (native-inputs
      `(("pkg-config" ,pkg-config)))