From 0dbb6c2fb929809578558f68f999eef4db08364d Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Mon, 8 Apr 2019 01:00:07 +0200
Subject: [PATCH] gnu: libinput: Propagate udev.

This is a follow-up to commit c6deabf957c0f5b68b45a2db0b4a35112c52c29e.

* gnu/packages/freedesktop.scm (libinput)[inputs]: Remove EUDEV.
[propagated-inputs]: New field.
---
 gnu/packages/freedesktop.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/freedesktop.scm b/gnu/packages/freedesktop.scm
index 2d6c36a3b9..25d93fd28d 100644
--- a/gnu/packages/freedesktop.scm
+++ b/gnu/packages/freedesktop.scm
@@ -168,9 +168,11 @@ freedesktop.org project.")
        ("glib" ,glib)
        ("gtk+" ,gtk+)
        ("libevdev" ,libevdev)
-       ("libudev" ,eudev)
        ("libwacom" ,libwacom)
        ("mtdev" ,mtdev)))
+    (propagated-inputs
+     `(;; libinput.h requires <libudev.h>, so propagate it.
+       ("udev" ,eudev)))
     (home-page "https://www.freedesktop.org/wiki/Software/libinput/")
     (synopsis "Input devices handling library")
     (description