gtk3: add devdoc (#71648)

gtk3: add devdoc
This commit is contained in:
Jan Tojnar 2019-10-27 18:12:35 +01:00 committed by GitHub
commit 47054f3ba3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,6 +3,9 @@
, fetchpatch
, pkgconfig
, gettext
, docbook_xsl
, docbook_xml_dtd_43
, gtk-doc
, meson
, ninja
, python3
@ -46,7 +49,7 @@ stdenv.mkDerivation rec {
pname = "gtk+3";
version = "3.24.12";
outputs = [ "out" "dev" ];
outputs = [ "out" "dev" "devdoc" ];
outputBin = "dev";
setupHooks = [
@ -78,6 +81,7 @@ stdenv.mkDerivation rec {
separateDebugInfo = stdenv.isLinux;
mesonFlags = [
"-Dgtk_doc=true"
"-Dtests=false"
];
@ -105,7 +109,10 @@ stdenv.mkDerivation rec {
'';
nativeBuildInputs = [
docbook_xml_dtd_43
docbook_xsl
gettext
gtk-doc
gobject-introspection
makeWrapper
meson