mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-20 12:29:02 +02:00
gnome.yelp: switch to webkitgtk_4_1
To reduce the number of WebKits in closure. webkitgtk_4_1 should be the most common one in GNOME now.
This commit is contained in:
parent
571d8e44bf
commit
919fc66e9d
|
@ -2,7 +2,7 @@
|
|||
, stdenv
|
||||
, gettext
|
||||
, fetchurl
|
||||
, webkitgtk
|
||||
, webkitgtk_4_1
|
||||
, pkg-config
|
||||
, gtk3
|
||||
, libhandy
|
||||
|
@ -36,7 +36,7 @@ stdenv.mkDerivation rec {
|
|||
gtk3
|
||||
libhandy
|
||||
glib
|
||||
webkitgtk
|
||||
webkitgtk_4_1
|
||||
sqlite
|
||||
libxml2
|
||||
libxslt
|
||||
|
@ -46,10 +46,6 @@ stdenv.mkDerivation rec {
|
|||
gst_all_1.gst-plugins-good
|
||||
];
|
||||
|
||||
# To reduce the GNOME ISO closure size. Remove when other packages
|
||||
# are using webkit2gtk_4_1.
|
||||
configureFlags = ["--with-webkit2gtk-4-0"];
|
||||
|
||||
passthru = {
|
||||
updateScript = gnome.updateScript {
|
||||
packageName = "yelp";
|
||||
|
|
Loading…
Reference in a new issue