diff options
author | Marius Bakke <mbakke@fastmail.com> | 2019-09-26 16:39:31 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2019-09-27 18:57:37 +0200 |
commit | 7970127ff0817336a6de03041aea83fc0bdc9980 (patch) | |
tree | 1b9a0ce7fbd259335e840695dab1301bc01de5ad /gnu | |
parent | b037ea963fae0c38f097e857aa5407b1d9f2782d (diff) | |
download | patches-7970127ff0817336a6de03041aea83fc0bdc9980.tar patches-7970127ff0817336a6de03041aea83fc0bdc9980.tar.gz |
gnu: Add wpebackend-fdo.
* gnu/packages/webkit.scm (wpebackend-fdo): New public variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/webkit.scm | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm index e4e7c068e7..1eb8ae699d 100644 --- a/gnu/packages/webkit.scm +++ b/gnu/packages/webkit.scm @@ -35,6 +35,7 @@ #:use-module (gnu packages docbook) #:use-module (gnu packages enchant) #:use-module (gnu packages flex) + #:use-module (gnu packages freedesktop) #:use-module (gnu packages gcc) #:use-module (gnu packages gettext) #:use-module (gnu packages gl) @@ -87,6 +88,34 @@ for use by WebKit, and provides a mechanism for loading a platform-specific backend which implements them.") (license license:bsd-2))) +(define-public wpebackend-fdo + (package + (name "wpebackend-fdo") + (version "1.4.0") + (source (origin + (method url-fetch) + (uri (string-append "https://wpewebkit.org/releases/" + "wpebackend-fdo-" version ".tar.xz")) + (sha256 + (base32 + "1bwbs47v4nlzhsqrw9fpyny5m3n9ry0kfzsvk90zjif4bd5cl6d9")))) + (build-system cmake-build-system) + (arguments + `(#:tests? #f)) ;no tests + (native-inputs + `(("pkg-config" ,pkg-config))) + (inputs + `(("glib" ,glib) + ("libwpe" ,libwpe) + ("mesa" ,mesa) + ("wayland" ,wayland))) + (home-page "https://wpewebkit.org/") + (synopsis "Wayland WPE backend") + (description + "This package provides a backend implementation for the WPE WebKit +engine that uses Wayland for graphics output.") + (license license:bsd-2))) + (define-public webkitgtk (package (name "webkitgtk") |