From c507f15d48b32af5e9860f55f751fe626732929c Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 10 Sep 2023 02:00:00 +0200
Subject: [PATCH] gnu: libevdi: Inherit from evdi.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/linux.scm (libevdi)[inherit]: …from evdi.
[version, source, home-page]: Likewise.
---
 gnu/packages/linux.scm | 64 ++++++++++++++++++------------------------
 1 file changed, 27 insertions(+), 37 deletions(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 8f420d0178..e1b6bebc54 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -1548,7 +1548,7 @@ (define-public tuxedo-keyboard
 (define-public evdi
   (package
     (name "evdi")
-    (version "1.14.1")
+    (version "1.14.1")                  ;inherited by libevdi
     (source
      (origin
        (method git-fetch)
@@ -1573,6 +1573,32 @@ (define-public evdi
 take control over what happens with the image.")
     (license license:gpl2)))
 
+(define-public libevdi
+  (package
+    (inherit evdi)
+    (name "libevdi")
+    (build-system gnu-build-system)
+    (arguments
+     (list #:tests? #f                  ;no test suite
+           #:make-flags #~'("CC=gcc")
+           #:phases #~(modify-phases %standard-phases
+                        (delete 'configure)
+                        (add-after 'unpack 'chdir
+                          (lambda _
+                            (chdir "library")))
+                        (replace 'install
+                          (lambda* _
+                            (let* ((lib (string-append #$output "/lib")))
+                              (mkdir-p lib)
+                              (install-file "libevdi.so" lib)))))))
+    (inputs (list libdrm))
+    (synopsis "User-space EVDI library")
+    (description
+     "Libevdi is a library that gives applications easy access to
+@acronym{EVDI, Extensible Virtual Display Interface} devices on
+various operating systems.")
+    (license license:lgpl2.1)))
+
 (define-public ec
   (package
     (name "ec")
@@ -9974,42 +10000,6 @@ (define-public libtree
 libraries are found or why they cannot be located.")
     (license license:expat)))
 
-(define-public libevdi
-  (package
-    (name "libevdi")
-    (version "1.14.1")
-    (source
-     (origin
-       (method git-fetch)
-       (uri (git-reference
-             (url "https://github.com/DisplayLink/evdi")
-             (commit (string-append "v" version))))
-       (file-name (git-file-name name version))
-       (sha256
-        (base32 "0vfbph6bdb206zgdp0bvpqck2zvkx1367xdxbavv41qsmgkxhvbs"))))
-    (build-system gnu-build-system)
-    (inputs (list libdrm))
-    (arguments
-     (list #:tests? #f                  ;no test suite
-           #:make-flags #~'("CC=gcc")
-           #:phases #~(modify-phases %standard-phases
-                        (delete 'configure)
-                        (add-after 'unpack 'chdir
-                          (lambda _
-                            (chdir "library")))
-                        (replace 'install
-                          (lambda* _
-                            (let* ((lib (string-append #$output "/lib")))
-                              (mkdir-p lib)
-                              (install-file "libevdi.so" lib)))))))
-    (home-page "https://github.com/DisplayLink/evdi")
-    (synopsis "User-space EVDI library")
-    (description
-     "Libevdi is a library that gives applications easy access to
-@acronym{EVDI, Extensible Virtual Display Interface} devices on
-various operating systems.")
-    (license license:lgpl2.1)))
-
 (define-public touchegg
   (package
     (name "touchegg")