2016-09-18 20:35:23 +01:00
|
|
|
{ stdenv, fetchurl, pkgconfig, gnome3, gtk3, wrapGAppsHook
|
2018-02-25 02:23:58 +00:00
|
|
|
, webkitgtk, intltool, gsettings-desktop-schemas }:
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-02-25 20:07:20 +00:00
|
|
|
name = "devhelp-${version}";
|
|
|
|
version = "3.26.1";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "mirror://gnome/sources/devhelp/${gnome3.versionBranch version}/${name}.tar.xz";
|
|
|
|
sha256 = "10bd468ae2188abd98af9ba7b81aced337d2206e9d843eb44520be5b00d77d8e";
|
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript { packageName = "devhelp"; attrPath = "gnome3.devhelp"; };
|
|
|
|
};
|
2016-09-18 20:35:23 +01:00
|
|
|
|
2017-09-14 20:24:37 +01:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
2016-09-18 20:35:23 +01:00
|
|
|
buildInputs = [
|
2017-09-14 20:24:37 +01:00
|
|
|
gtk3 wrapGAppsHook webkitgtk intltool gnome3.defaultIconTheme
|
2018-02-25 02:23:58 +00:00
|
|
|
gsettings-desktop-schemas
|
2016-09-18 20:35:23 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
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;
|
|
|
|
};
|
|
|
|
}
|