diff options
author | Marius Bakke <mbakke@fastmail.com> | 2019-12-06 18:19:23 +0100 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-08 21:56:01 +0100 |
commit | eb5f3ea1003f76545b197b1e779e2967ec379475 (patch) | |
tree | 7dd43bbafff23aa13edb8d3db9769de550f7a391 /gnu/packages/webkit.scm | |
parent | 84f1e12b8b84acca1b3be7d41daacce28feb391d (diff) |
gnu: WebkitGTK: Fix build failure with ICU 65.
* gnu/packages/patches/webkitgtk-icu-65.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/webkit.scm (webkitgtk)[source](patches): New field.
Diffstat (limited to 'gnu/packages/webkit.scm')
-rw-r--r-- | gnu/packages/webkit.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm index b0b0d79a05..5101ceb2ea 100644 --- a/gnu/packages/webkit.scm +++ b/gnu/packages/webkit.scm @@ -126,6 +126,7 @@ engine that uses Wayland for graphics output.") (method url-fetch) (uri (string-append "https://www.webkitgtk.org/releases/" "webkitgtk-" version ".tar.xz")) + (patches (search-patches "webkitgtk-icu-65.patch")) (sha256 (base32 "04k5h0sid9azsqz9pyq436v1rx4lnfrhvmcgmicqb0c0g9iz103b")))) |