BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

gnome3.devhelp: init at 3.16.1

Browse source
This commit is contained in:
Jascha Geerds 2015-08-14 11:58:46 +02:00
parent f11d416666
commit 26db863cda
2 changed files with 27 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/desktops/gnome-3/3.16/default.nix
View file

@ -308,6 +308,10 @@ let
anjuta = callPackage ./devtools/anjuta { };
devhelp = callPackage ./devtools/devhelp {
webkitgtk = webkitgtk24x;
};
gdl = callPackage ./devtools/gdl { };
gnome-devel-docs = callPackage ./devtools/gnome-devel-docs { };

23
pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix Normal file
View file

@ -0,0 +1,23 @@
{ stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook
, webkitgtk, intltool, hicolor_icon_theme }:
stdenv.mkDerivation rec {
name = "devhelp-${gnome3.version}.1";
src = fetchurl {
url = "mirror://gnome/sources/devhelp/${gnome3.version}/${name}.tar.xz";
sha256 = "0i8kyh86hzwxs8dm047ivghl2b92vigdxa3x4pk4ha0whpk38g37";
};
buildInputs = [
pkgconfig gtk3 wrapGAppsHook webkitgtk intltool hicolor_icon_theme
];
meta = with stdenv.lib; {
homepage = https://live.gnome.org/devhelp;
description = "API documentation browser for GNOME";
maintainers = gnome3.maintainers;
license = licenses.gpl2;
platforms = platforms.linux;
};
}