nixpkgs/pkgs/development/tools/glade/default.nix
Jan Tojnar 29d570122b glade: 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.
2022-10-11 18:52:36 +02:00

80 lines
1.3 KiB
Nix

{ stdenv
, lib
, gettext
, fetchurl
, python3
, meson
, ninja
, pkg-config
, gtk3
, glib
, gjs
, webkitgtk_4_1
, gobject-introspection
, wrapGAppsHook
, itstool
, libxml2
, docbook-xsl-nons
, docbook_xml_dtd_42
, gnome
, gdk-pixbuf
, libxslt
, gsettings-desktop-schemas
}:
stdenv.mkDerivation rec {
pname = "glade";
version = "3.40.0";
src = fetchurl {
url = "mirror://gnome/sources/glade/${lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
sha256 = "McmtrqhJlyq5UXtWThmsGZd8qXdYsQntwxZwCPU+PZw=";
};
nativeBuildInputs = [
meson
ninja
pkg-config
gettext
itstool
wrapGAppsHook
docbook-xsl-nons
docbook_xml_dtd_42
libxslt
libxml2
gobject-introspection
];
buildInputs = [
gtk3
glib
gjs
webkitgtk_4_1
libxml2
python3
python3.pkgs.pygobject3
gsettings-desktop-schemas
gdk-pixbuf
gnome.adwaita-icon-theme
];
postPatch = ''
substituteInPlace meson.build \
--replace 'webkit2gtk-4.0' 'webkit2gtk-4.1'
'';
passthru = {
updateScript = gnome.updateScript {
packageName = pname;
};
};
meta = with lib; {
homepage = "https://wiki.gnome.org/Apps/Glade";
description = "User interface designer for GTK applications";
maintainers = teams.gnome.members;
license = licenses.lgpl2;
platforms = platforms.linux;
};
}