GNU bug report logs -
#67473
[PATCH gnome-team 00/12] Hopefully the last world rebuild
Previous Next
Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>
Date: Mon, 27 Nov 2023 02:08:02 UTC
Severity: normal
Tags: patch
Merged with 67166,
67169,
67222,
67408,
67410,
67411,
67420,
67423,
67424,
67437
Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
yelp-tools has changed its version scheme, so its download URL changed.
* gnu/packages/gnome.scm (yelp-tools): Update to 42.1.
[source]: Update origin uri.
[build-system]: Change to meson-build-system.
[#:configure-flags]: Set -Dhelp=true.
[propagated-inputs]: Drop labels.
[native-inputs]: Add gettext-minimal, python, python-lxml.
Change-Id: Ibc091329275959219fdcb1af47d34e40128da889
---
gnu/packages/gnome.scm | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 8de1f1acf0..292fe2d3ec 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -7346,26 +7346,26 @@ (define-public yelp
(define-public yelp-tools
(package
(name "yelp-tools")
- (version "3.32.2")
+ (version "42.1")
(source
(origin
(method url-fetch)
(uri
(string-append "mirror://gnome/sources/" name "/"
- (version-major+minor version) "/"
+ (version-major version) "/"
name "-" version ".tar.xz"))
(sha256
- (base32 "1yg8f5g5wadhmy4yfd9yjhvd8vll4gq4l86ibp0b42qbxnsmcf0q"))))
- (build-system gnu-build-system)
+ (base32 "01gr255nlb77462040499qx50sik17x2b2jhzncmn56l4106lj9y"))))
+ (build-system meson-build-system)
+ (arguments
+ (list #:configure-flags #~'("-Dhelp=true")))
(native-inputs
- (list pkg-config))
+ (list gettext-minimal pkg-config python python-lxml))
(inputs
(list yelp-xsl))
(propagated-inputs
;; Needed by `yelp-build', `yelp-check' or 'yelp.m4'.
- `(("itstool" ,itstool)
- ("xmllint" ,libxml2)
- ("xsltproc" ,libxslt)))
+ (list itstool libxml2 libxslt))
(synopsis "Yelp documentation tools")
(description
"Yelp-tools is a collection of scripts and build utilities to help create,
--
2.41.0
This bug report was last modified 1 year and 138 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.