2019-06-16 21:59:06 +02:00
|
|
|
{ stdenv, fetchurl, pkgconfig, gtk3, intltool
|
2019-04-17 02:38:26 +02:00
|
|
|
, gnome3, enchant, isocodes, gsettings-desktop-schemas }:
|
2016-09-18 21:35:23 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "gtkhtml";
|
2018-02-25 21:07:20 +01:00
|
|
|
version = "4.10.0";
|
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 14:41:18 +02:00
|
|
|
url = "mirror://gnome/sources/gtkhtml/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2018-02-25 21:07:20 +01:00
|
|
|
sha256 = "ca3b6424fb2c7ac5d9cb8fdafb69318fa2e825c9cf6ed17d1e38d9b29e5606c3";
|
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript { packageName = "gtkhtml"; attrPath = "gnome3.gtkhtml"; };
|
|
|
|
};
|
2016-09-18 21:35:23 +02:00
|
|
|
|
2017-09-05 23:26:13 +02:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
|
|
|
buildInputs = [ gtk3 intltool gnome3.adwaita-icon-theme
|
2019-04-17 02:38:26 +02:00
|
|
|
gsettings-desktop-schemas ];
|
2016-09-18 21:35:23 +02:00
|
|
|
|
|
|
|
propagatedBuildInputs = [ enchant isocodes ];
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = gnome3.maintainers;
|
|
|
|
};
|
|
|
|
}
|