2019-04-24 23:46:07 -07:00
|
|
|
{ stdenv, fetchurl, pkgconfig, libxml2Python, libxslt, intltool, gnome3
|
2018-07-20 17:44:44 -07:00
|
|
|
, python2Packages }:
|
2009-09-29 22:27:34 -07:00
|
|
|
|
2019-04-24 23:46:07 -07:00
|
|
|
python2Packages.buildPythonApplication rec {
|
|
|
|
pname = "gnome-doc-utils";
|
|
|
|
version = "0.20.10";
|
|
|
|
|
2017-03-21 05:01:17 -07:00
|
|
|
format = "other";
|
2012-03-08 15:15:51 -08:00
|
|
|
|
2009-09-29 22:27:34 -07:00
|
|
|
src = fetchurl {
|
2019-04-24 23:46:07 -07:00
|
|
|
url = "mirror://gnome/sources/${pname}/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2013-12-11 00:20:20 -08:00
|
|
|
sha256 = "19n4x25ndzngaciiyd8dd6s2mf9gv6nv3wv27ggns2smm7zkj1nb";
|
2009-09-29 22:27:34 -07:00
|
|
|
};
|
2012-03-08 15:15:51 -08:00
|
|
|
|
2019-01-05 03:43:55 -08:00
|
|
|
nativeBuildInputs = [ intltool pkgconfig libxslt.dev ];
|
2017-09-12 18:02:03 -07:00
|
|
|
buildInputs = [ libxslt ];
|
|
|
|
|
2018-07-25 14:44:21 -07:00
|
|
|
configureFlags = [ "--disable-scrollkeeper" ];
|
2017-09-12 18:02:03 -07:00
|
|
|
|
|
|
|
preBuild = ''
|
|
|
|
substituteInPlace xml2po/xml2po/Makefile --replace '-e "s+^#!.*python.*+#!$(PYTHON)+"' '-e "s\"^#!.*python.*\"#!$(PYTHON)\""'
|
|
|
|
'';
|
|
|
|
|
2016-10-18 03:25:20 -07:00
|
|
|
propagatedBuildInputs = [ libxml2Python ];
|
2019-04-24 23:46:07 -07:00
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript {
|
|
|
|
packageName = pname;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2019-10-31 17:20:45 -07:00
|
|
|
postFixup = ''
|
|
|
|
# Do not propagate Python
|
|
|
|
rm $out/nix-support/propagated-build-inputs
|
|
|
|
'';
|
|
|
|
|
2019-04-24 23:46:07 -07:00
|
|
|
meta = with stdenv.lib; {
|
2019-05-04 06:59:55 -07:00
|
|
|
description = "Collection of documentation utilities for the GNOME project";
|
|
|
|
homepage = "https://gitlab.gnome.org/GNOME/gnome-doc-utils";
|
2019-04-24 23:46:07 -07:00
|
|
|
license = with licenses; [ gpl2Plus lgpl2Plus ];
|
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
2009-09-29 22:27:34 -07:00
|
|
|
}
|