diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2018-03-15 13:26:13 +0100 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2018-03-22 07:46:55 +0100 |
| commit | ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b (patch) | |
| tree | 97034a74945e26875c38f955922304c189fc9ede /pkgs/desktops/gnome-3/devtools | |
| parent | 91f7501f7a5ae3d816aec9b94f9fc86ed8e65e5d (diff) | |
| download | nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.tar nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.tar.gz nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.tar.bz2 nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.tar.lz nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.tar.xz nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.tar.zst nixpkgs-ac38e53c7ac82aca3451b5041f3cbcdf2f2ac28b.zip | |
gnome3.devhelp: fix build
Diffstat (limited to 'pkgs/desktops/gnome-3/devtools')
| -rw-r--r-- | pkgs/desktops/gnome-3/devtools/devhelp/default.nix | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/pkgs/desktops/gnome-3/devtools/devhelp/default.nix b/pkgs/desktops/gnome-3/devtools/devhelp/default.nix index 1d04aaa45ab..786eece7194 100644 --- a/pkgs/desktops/gnome-3/devtools/devhelp/default.nix +++ b/pkgs/desktops/gnome-3/devtools/devhelp/default.nix @@ -1,5 +1,6 @@ { stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook -, webkitgtk, intltool, gsettings-desktop-schemas }: +, glib, appstream-glib, gobjectIntrospection +, webkitgtk, gettext, itstool, gsettings-desktop-schemas }: stdenv.mkDerivation rec { name = "devhelp-${version}"; @@ -10,21 +11,24 @@ stdenv.mkDerivation rec { sha256 = "1b4l71775p3mps1jsv7pz26v0lhd0qczsp6qr1dwv7hyslmpb5qn"; }; - passthru = { - updateScript = gnome3.updateScript { packageName = "devhelp"; attrPath = "gnome3.devhelp"; }; - }; - - nativeBuildInputs = [ pkgconfig ]; + nativeBuildInputs = [ pkgconfig gettext itstool wrapGAppsHook appstream-glib gobjectIntrospection ]; buildInputs = [ - gtk3 wrapGAppsHook webkitgtk intltool gnome3.defaultIconTheme - gsettings-desktop-schemas + glib gtk3 webkitgtk + gnome3.defaultIconTheme gsettings-desktop-schemas ]; + passthru = { + updateScript = gnome3.updateScript { + packageName = "devhelp"; + attrPath = "gnome3.devhelp"; + }; + }; + meta = with stdenv.lib; { - homepage = https://live.gnome.org/devhelp; description = "API documentation browser for GNOME"; - maintainers = gnome3.maintainers; + homepage = https://wiki.gnome.org/Apps/Devhelp; license = licenses.gpl2; + maintainers = gnome3.maintainers; platforms = platforms.linux; }; } |