--- Begin Message ---
Subject: |
[PATCH] gnu: gtk+: Enable broadway backend. |
Date: |
Fri, 29 Dec 2017 00:08:04 +0100 |
* gnu/packages/gtk.scm (gtk+)[arguments]: Add "--enable-broadway-backend"
to #:configure-flags.
---
gnu/packages/gtk.scm | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/gtk.scm b/gnu/packages/gtk.scm
index 0424a0423..bfc298f6a 100644
--- a/gnu/packages/gtk.scm
+++ b/gnu/packages/gtk.scm
@@ -712,7 +712,9 @@ application suites.")
;; by gnome-control-center
"--enable-wayland-backend"
;; This is necessary to build both backends.
- "--enable-x11-backend")
+ "--enable-x11-backend"
+ ;; This enables the HTML5 websocket backend.
+ "--enable-broadway-backend")
#:phases (modify-phases %standard-phases
(add-before 'configure 'pre-configure
(lambda _
--- End Message ---
--- Begin Message ---
Subject: |
Re: [bug#29882] [PATCH] gnu: gtk+: Enable broadway backend. |
Date: |
Sat, 30 Dec 2017 18:46:27 +0100 |
Before:
$ du -ks ...
3796 /gnu/store/3yxrhf2r889x377m6xndgprh53hw8zhy-gtk+-3.22.21-bin
25004 /gnu/store/vfmx21jirz50vr0rnp6fpd5cnbfy0mdv-gtk+-3.22.21-doc
47784 /gnu/store/yawiwhnk61f934i7fn623ghhxavcihmx-gtk+-3.22.21
Afterwards:
$ du -ks ...
3928 /gnu/store/5lnnrsfk9cpf63s5ikq45dk9rlwdhj9f-gtk+-3.22.26-bin
25016 /gnu/store/8iwr4dh8ims0sm8vw22lahgzl4ixsn9l-gtk+-3.22.26-doc
48024 /gnu/store/5vz7n1psaab58259yxmra3aa4zc1d4am-gtk+-3.22.26
Applied as 150e230165901fb7e35f0e1d69bae0344f0ffe53 to core-updates.
Thanks!
--- End Message ---