summary refs log tree commit diff
path: root/gnu/local.mk
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2019-03-10 20:43:54 +0100
committerMarius Bakke <mbakke@fastmail.com>2019-03-10 21:44:25 +0100
commit7fda7b8fad5ed47ef36d7d00d8e0652d6c43c268 (patch)
treea6f5f1518ea27aff798b09c7c4d748db4547b102 /gnu/local.mk
parente2bdf60982311a28f5643bebc4cc4cc47a2f9171 (diff)
downloadguix-7fda7b8fad5ed47ef36d7d00d8e0652d6c43c268.tar.gz
gnu: pugixml: Build as shared library.
* gnu/packages/patches/pugixml-versioned-libdir.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/xml.scm (pugixml)[source](patches): New field.
[arguments]: Instruct the build system to create a shared rather than static
library.
[native-inputs]: Add PKG-CONFIG.
Diffstat (limited to 'gnu/local.mk')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 63857d98a8..af2bf87273 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -1154,6 +1154,7 @@ dist_patch_DATA =						\
   %D%/packages/patches/psm-arch.patch				\
   %D%/packages/patches/psm-ldflags.patch			\
   %D%/packages/patches/psm-repro.patch				\
+  %D%/packages/patches/pugixml-versioned-libdir.patch		\
   %D%/packages/patches/pulseaudio-fix-mult-test.patch		\
   %D%/packages/patches/pulseaudio-longer-test-timeout.patch	\
   %D%/packages/patches/pybugz-encode-error.patch		\