gnome3.devhelp: fix build

This commit is contained in:
Jan Tojnar 2018-03-15 13:26:13 +01:00
parent 91f7501f7a
commit ac38e53c7a
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
1 changed files with 14 additions and 10 deletions

View File

@ -1,5 +1,6 @@
{ stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook { stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook
, webkitgtk, intltool, gsettings-desktop-schemas }: , glib, appstream-glib, gobjectIntrospection
, webkitgtk, gettext, itstool, gsettings-desktop-schemas }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "devhelp-${version}"; name = "devhelp-${version}";
@ -10,21 +11,24 @@ stdenv.mkDerivation rec {
sha256 = "1b4l71775p3mps1jsv7pz26v0lhd0qczsp6qr1dwv7hyslmpb5qn"; sha256 = "1b4l71775p3mps1jsv7pz26v0lhd0qczsp6qr1dwv7hyslmpb5qn";
}; };
passthru = { nativeBuildInputs = [ pkgconfig gettext itstool wrapGAppsHook appstream-glib gobjectIntrospection ];
updateScript = gnome3.updateScript { packageName = "devhelp"; attrPath = "gnome3.devhelp"; };
};
nativeBuildInputs = [ pkgconfig ];
buildInputs = [ buildInputs = [
gtk3 wrapGAppsHook webkitgtk intltool gnome3.defaultIconTheme glib gtk3 webkitgtk
gsettings-desktop-schemas gnome3.defaultIconTheme gsettings-desktop-schemas
]; ];
passthru = {
updateScript = gnome3.updateScript {
packageName = "devhelp";
attrPath = "gnome3.devhelp";
};
};
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = https://live.gnome.org/devhelp;
description = "API documentation browser for GNOME"; description = "API documentation browser for GNOME";
maintainers = gnome3.maintainers; homepage = https://wiki.gnome.org/Apps/Devhelp;
license = licenses.gpl2; license = licenses.gpl2;
maintainers = gnome3.maintainers;
platforms = platforms.linux; platforms = platforms.linux;
}; };
} }