aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2023-09-10 02:00:00 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2023-09-10 02:00:00 +0200
commitc507f15d48b32af5e9860f55f751fe626732929c (patch)
treeca3dbf54253c678e1edfee8bf1e184c9bc3f47c8
parent6f9d658e63ab3d3e57d330d226bb5d35c66ef0eb (diff)
downloadguix-c507f15d48b32af5e9860f55f751fe626732929c.tar.gz
guix-c507f15d48b32af5e9860f55f751fe626732929c.zip
gnu: libevdi: Inherit from evdi.
* gnu/packages/linux.scm (libevdi)[inherit]: …from evdi. [version, source, home-page]: Likewise.
-rw-r--r--gnu/packages/linux.scm64
1 files 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 @@ is also needed for the @code{tuxedo-control-center} (short tcc) package.")
(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 @@ that enables management of multiple screens, allowing user-space programs to
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 @@ system.")
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")