diff options
author | Jascha Geerds <jg@ekby.de> | 2015-08-14 11:58:46 +0200 |
---|---|---|
committer | Jascha Geerds <jg@ekby.de> | 2015-08-14 11:59:00 +0200 |
commit | 26db863cdaa24d16c354533fdf8ebc90df99fd51 (patch) | |
tree | ba8468ee5a15ce32bf0c6c2f4e463fa89958e269 /pkgs/desktops/gnome-3/3.16 | |
parent | f11d41666626624adeaf9222ce5253a26c5b1f9a (diff) | |
download | nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.tar nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.tar.gz nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.tar.bz2 nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.tar.lz nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.tar.xz nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.tar.zst nixlib-26db863cdaa24d16c354533fdf8ebc90df99fd51.zip |
gnome3.devhelp: init at 3.16.1
Diffstat (limited to 'pkgs/desktops/gnome-3/3.16')
-rw-r--r-- | pkgs/desktops/gnome-3/3.16/default.nix | 4 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix | 23 |
2 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/3.16/default.nix b/pkgs/desktops/gnome-3/3.16/default.nix index e9bfdee7b37a..d7cf6ad9de8a 100644 --- a/pkgs/desktops/gnome-3/3.16/default.nix +++ b/pkgs/desktops/gnome-3/3.16/default.nix @@ -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 { }; diff --git a/pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix b/pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix new file mode 100644 index 000000000000..bc3521013832 --- /dev/null +++ b/pkgs/desktops/gnome-3/3.16/devtools/devhelp/default.nix @@ -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; + }; +} |