Merge pull request #71299 from worldofpeace/fix-gtk-doc-quick

gtk-doc: fix on darwin
This commit is contained in:
worldofpeace 2019-10-18 16:02:51 +00:00 committed by GitHub
commit 2417833f69
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,15 +13,6 @@
, withDblatex ? false, dblatex
}:
let
# Needed for https://gitlab.gnome.org/GNOME/gtk-doc/blob/GTK_DOC_1_32/meson.build#L42
python = python3.withPackages (p: with p; [
pygments
]);
in
stdenv.mkDerivation rec {
pname = "gtk-doc";
version = "1.32";
@ -51,7 +42,8 @@ stdenv.mkDerivation rec {
docbook_xsl
libxslt
pkgconfig
python
python3
python3.pkgs.pygments # Needed for https://gitlab.gnome.org/GNOME/gtk-doc/blob/GTK_DOC_1_32/meson.build#L42
libxml2Python
]
++ stdenv.lib.optional withDblatex dblatex