gtk3: add updateScript

This commit is contained in:
Jan Tojnar 2018-03-03 06:05:34 +01:00
parent d1092a0811
commit 6e0cfc8f18
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -12,15 +12,13 @@ assert cupsSupport -> cups != null;
with stdenv.lib; with stdenv.lib;
let let
ver_maj = "3.22"; version = "3.22.26";
ver_min = "26";
version = "${ver_maj}.${ver_min}";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gtk+3-${version}"; name = "gtk+3-${version}";
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/gtk+/${ver_maj}/gtk+-${version}.tar.xz"; url = "mirror://gnome/sources/gtk+/${gnome3.versionBranch version}/gtk+-${version}.tar.xz";
sha256 = "61eef0d320e541976e2dfe445729f12b5ade53050ee9de6184235cb60cd4b967"; sha256 = "61eef0d320e541976e2dfe445729f12b5ade53050ee9de6184235cb60cd4b967";
}; };
@ -76,6 +74,13 @@ stdenv.mkDerivation rec {
moveToOutput bin/gtk-launch "$out" moveToOutput bin/gtk-launch "$out"
''; '';
passthru = {
updateScript = gnome3.updateScript {
packageName = "gtk+";
attrPath = "gtk3";
};
};
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A multi-platform toolkit for creating graphical user interfaces"; description = "A multi-platform toolkit for creating graphical user interfaces";