diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-09-10 02:00:00 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-09-10 02:00:00 +0200 |
commit | c507f15d48b32af5e9860f55f751fe626732929c (patch) | |
tree | ca3dbf54253c678e1edfee8bf1e184c9bc3f47c8 | |
parent | 6f9d658e63ab3d3e57d330d226bb5d35c66ef0eb (diff) | |
download | guix-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.scm | 64 |
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") |