2019-11-04 17:19:23 +00:00
|
|
|
{ stdenv
|
|
|
|
, fetchurl
|
|
|
|
, meson
|
|
|
|
, ninja
|
|
|
|
, pkgconfig
|
|
|
|
, gnome3
|
|
|
|
, gtk3
|
|
|
|
, wrapGAppsHook
|
|
|
|
, glib
|
|
|
|
, amtk
|
|
|
|
, appstream-glib
|
|
|
|
, gobject-introspection
|
|
|
|
, python3
|
|
|
|
, webkitgtk
|
|
|
|
, gettext
|
|
|
|
, itstool
|
|
|
|
, gsettings-desktop-schemas
|
|
|
|
}:
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "devhelp";
|
2019-09-09 19:05:49 +01:00
|
|
|
version = "3.34.0";
|
2018-02-25 20:07:20 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 13:41:18 +01:00
|
|
|
url = "mirror://gnome/sources/devhelp/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2019-09-09 19:05:49 +01:00
|
|
|
sha256 = "0zpmn6fgkgiayvn4diia5df0s6s7dqrdnp3nrvpavsmgn0vhb4pg";
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
|
|
|
|
2019-11-04 17:19:23 +00:00
|
|
|
nativeBuildInputs = [
|
|
|
|
meson
|
|
|
|
ninja
|
|
|
|
pkgconfig
|
|
|
|
gettext
|
|
|
|
itstool
|
|
|
|
wrapGAppsHook
|
|
|
|
appstream-glib
|
|
|
|
gobject-introspection
|
|
|
|
python3
|
|
|
|
];
|
|
|
|
|
2016-09-18 20:35:23 +01:00
|
|
|
buildInputs = [
|
2019-11-04 17:19:23 +00:00
|
|
|
glib
|
|
|
|
gtk3
|
|
|
|
webkitgtk
|
|
|
|
amtk
|
|
|
|
gnome3.adwaita-icon-theme
|
|
|
|
gsettings-desktop-schemas
|
2016-09-18 20:35:23 +01:00
|
|
|
];
|
|
|
|
|
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";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2016-09-18 20:35:23 +01:00
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "API documentation browser for GNOME";
|
2019-11-04 17:19:23 +00:00
|
|
|
homepage = "https://wiki.gnome.org/Apps/Devhelp";
|
|
|
|
license = licenses.gpl3Plus;
|
2018-03-15 12:26:13 +00:00
|
|
|
maintainers = gnome3.maintainers;
|
2016-09-18 20:35:23 +01:00
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|