diff options
| author | Bruno Victal <mirai@makinata.eu> | 2023-10-09 21:06:14 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:42:10 +0200 |
| commit | 8ca7d9eef713e0d6b19aa1d429ba125f2a592cb8 (patch) | |
| tree | c38e06bac4e18941e2964ac00ec23a9068bf578f /gnu/system | |
| parent | 1e41770dfe0f1e63298183392ef64bc30ab16049 (diff) | |
| download | guix-8ca7d9eef713e0d6b19aa1d429ba125f2a592cb8.tar.gz guix-8ca7d9eef713e0d6b19aa1d429ba125f2a592cb8.zip | |
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 <maxim.cournoyer@gmail.com>
Change-Id: I152dd7a30b2a310ed6589133bc98f5eef8a190a1
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions