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

42 lines
1.2 KiB
Nix
Raw Normal View History

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