GNU bug report logs - #61731
[PATCH] gnu: Add evdi, libevdi.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#61731: closed ([PATCH] gnu: Add evdi, libevdi.)
Date: Sun, 05 Mar 2023 21:59:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sun, 05 Mar 2023 22:58:16 +0100
with message-id <87o7p6oo7b.fsf <at> gnu.org>
and subject line Re: bug#61731: [PATCH] gnu: Add evdi, libevdi.
has caused the debbugs.gnu.org bug report #61731,
regarding [PATCH] gnu: Add evdi, libevdi.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
61731: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61731
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Demis Balbach <db <at> minikn.xyz>
To: guix-patches <at> gnu.org
Cc: Demis Balbach <db <at> minikn.xyz>
Subject: [PATCH] gnu: Add evdi, libevdi.
Date: Thu, 23 Feb 2023 12:48:22 +0100

---
 gnu/packages/linux.scm | 67 +++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 66 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 9917f5d135..ae1291d5ac 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -68,7 +68,7 @@
 ;;; Copyright © 2022 Hunter Jozwiak <hunter.t.joz <at> gmail.com>
 ;;; Copyright © 2022 Hilton Chain <hako <at> ultrarare.space>
 ;;; Copyright © 2022 Stefan <stefan-guix <at> vodafonemail.de>
-;;; Copyright © 2022 Demis Balbach <db <at> minikn.xyz>
+;;; Copyright © 2022, 2023 Demis Balbach <db <at> minikn.xyz>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -1492,6 +1492,34 @@ (define-public tuxedo-keyboard
 is also needed for the @code{tuxedo-control-center} (short tcc) package.")
     (license license:gpl3+)))
 
+(define-public evdi
+  (package
+    (name "evdi")
+    (version "1.12.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/DisplayLink/evdi")
+                    (commit "bdc258b25df4d00f222fde0e3c5003bf88ef17b5")))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "1yi7mbyvxm9lsx6i1xbwp2bihwgzhwxkydk1kbngw5a5kw9azpws"))))
+    (build-system linux-module-build-system)
+    (arguments
+     (list #:tests? #f ;no test suite
+           #:phases #~(modify-phases %standard-phases
+                        (add-after 'unpack 'chdir
+                          (lambda _
+                            (chdir "module"))))))
+    (home-page "https://github.com/DisplayLink/evdi")
+    (synopsis "EVDI Linux kernel module")
+    (description
+     "The @acronym{EVDI, Extensible Virtual Display Interface} is a Linux kernel module
+that enables management of multiple screens, allowing user-space programs to
+take control over what happens with the image.")
+    (license license:gpl2)))
+
 (define-public ec
   (package
     (name "ec")
@@ -9659,6 +9687,43 @@ (define-public libtree
 libraries are found or why they cannot be located.")
     (license license:expat)))
 
+(define-public libevdi
+  (package
+    (name "libevdi")
+    (version "1.12.0")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/DisplayLink/evdi")
+                    (commit "bdc258b25df4d00f222fde0e3c5003bf88ef17b5")))
+              (file-name (git-file-name name version))
+              (sha256
+               (base32
+                "1yi7mbyvxm9lsx6i1xbwp2bihwgzhwxkydk1kbngw5a5kw9azpws"))))
+    (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)
+                              (copy-file "libevdi.so"
+                                         (string-append lib "/libevdi.so"))))))))
+    (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")
-- 
2.39.1

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Demis Balbach <db <at> minikn.xyz>
Cc: 61731-done <at> debbugs.gnu.org
Subject: Re: bug#61731: [PATCH] gnu: Add evdi, libevdi.
Date: Sun, 05 Mar 2023 22:58:16 +0100

Hi,

Demis Balbach <db <at> minikn.xyz> skribis:

> ---
>  gnu/packages/linux.scm | 67 +++++++++++++++++++++++++++++++++++++++++-
>  1 file changed, 66 insertions(+), 1 deletion(-)

I split it into two different commits, as per our conventions, added a
commit log, and…

> +                              (copy-file "libevdi.so"
> +                                         (string-append lib "/libevdi.so"))))))))

… changed this to an ‘install-file’ call.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.