From f755ed7e31446c86ed52fc1acfda2f90690688a2 Mon Sep 17 00:00:00 2001 From: Feng Shu Date: Mon, 25 May 2015 19:36:28 +0800 Subject: [PATCH] gnu: Add webkitgtk-2.4/gtk+-3.0 --- gnu/packages/webkit.scm | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm index b091c88..ccc2c12 100644 --- a/gnu/packages/webkit.scm +++ b/gnu/packages/webkit.scm @@ -140,3 +140,11 @@ HTML/CSS applications to full-fledged web browsers.") `(("flex" ,flex) ("which" ,which) ,@(package-inputs webkitgtk))))) + +(define-public webkitgtk-2.4/gtk+-3.0 + ;; Build webkit1 with gtk3 + (package (inherit webkitgtk-2.4) + (name "webkitgtk") + (arguments '(#:configure-flags + '("--enable-webkit2=no" + "--with-gtk=3.0"))))) -- 2.1.4