diff options
| author | Bruno Victal <[email protected]> | 2023-10-09 21:06:14 +0100 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2024-08-31 10:42:10 +0200 |
| commit | 8ca7d9eef713e0d6b19aa1d429ba125f2a592cb8 (patch) | |
| tree | c38e06bac4e18941e2964ac00ec23a9068bf578f /gnu/local.mk | |
| parent | 1e41770dfe0f1e63298183392ef64bc30ab16049 (diff) | |
gnu: secilc: Drop xmlto workaround.
The xmlto error[1] was due to libsepol using an unversioned PUBLIC identifier
for DocBook 4.2.
[1]: <https://pagure.io/xmlto/blob/6fa6a0e07644f20abf2596f78a60112713e11cbe/f/FAQ>
* gnu/packages/patches/libsepol-versioned-docbook.patch: New file.
* gnu/local.mk: Register it.
* gnu/packages/selinux.scm (libsepol)[source]: Apply it.
(secilc)[arguments]: Drop xmlto workaround.
[native-inputs]: Add docbook-xml-4.2.
Signed-off-by: Maxim Cournoyer <[email protected]>
Change-Id: I152dd7a30b2a310ed6589133bc98f5eef8a190a1
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 b702b41f06..d201885d65 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1669,6 +1669,7 @@ dist_patch_DATA = \ %D%/packages/patches/libphonenumber-reproducible-build.patch \ %D%/packages/patches/libqalculate-3.8.0-libcurl-ssl-fix.patch \ %D%/packages/patches/libquicktime-ffmpeg.patch \ + %D%/packages/patches/libsepol-versioned-docbook.patch \ %D%/packages/patches/libtar-CVE-2013-4420.patch \ %D%/packages/patches/libtgvoip-disable-sse2.patch \ %D%/packages/patches/libtgvoip-disable-webrtc.patch \ |