diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-03-10 20:43:54 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-03-10 21:44:25 +0100 |
| commit | 7fda7b8fad5ed47ef36d7d00d8e0652d6c43c268 (patch) | |
| tree | a6f5f1518ea27aff798b09c7c4d748db4547b102 /gnu/local.mk | |
| parent | e2bdf60982311a28f5643bebc4cc4cc47a2f9171 (diff) | |
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.mk | 1 |
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 \ |