nixpkgs/pkgs/desktops/gnome-3/devtools/devhelp/default.nix

42 lines
1.2 KiB
Nix
Raw Normal View History

2018-07-31 10:33:51 +01:00
{ stdenv, fetchurl, meson, ninja, pkgconfig, gnome3, gtk3, wrapGAppsHook
, glib, amtk, appstream-glib, gobject-introspection, python3
2018-03-15 12:26:13 +00:00
, webkitgtk, gettext, itstool, gsettings-desktop-schemas }:
stdenv.mkDerivation rec {
name = "devhelp-${version}";
2018-11-13 13:58:46 +00:00
version = "3.30.1";
src = fetchurl {
url = "mirror://gnome/sources/devhelp/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz";
2018-11-13 13:58:46 +00:00
sha256 = "036sddvhs0blqpc2ixmjdl9vxynvkn5jpgn0jxr1fxcm4rh3q07a";
};
nativeBuildInputs = [ meson ninja pkgconfig gettext itstool wrapGAppsHook appstream-glib gobject-introspection python3 ];
buildInputs = [
2018-07-31 10:33:51 +01:00
glib gtk3 webkitgtk amtk
2018-03-15 12:26:13 +00:00
gnome3.defaultIconTheme gsettings-desktop-schemas
];
2018-07-31 10:33:51 +01:00
doCheck = true;
postPatch = ''
chmod +x meson_post_install.py # patchShebangs requires executable file
patchShebangs meson_post_install.py
'';
2018-03-15 12:26:13 +00:00
passthru = {
updateScript = gnome3.updateScript {
packageName = "devhelp";
attrPath = "gnome3.devhelp";
};
};
meta = with stdenv.lib; {
description = "API documentation browser for GNOME";
2018-03-15 12:26:13 +00:00
homepage = https://wiki.gnome.org/Apps/Devhelp;
license = licenses.gpl2;
2018-03-15 12:26:13 +00:00
maintainers = gnome3.maintainers;
platforms = platforms.linux;
};
}