diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-12-30 18:57:26 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-07-18 20:17:16 +0200 |
| commit | cf1939ad29c878dfbc57775d96904efff2b47fc5 (patch) | |
| tree | 1b3ab1a144ed03f2063ef1f82cb1e2fa24a2f2a5 | |
| parent | f410258c27367329d5f35a249a990f5e0e428cd6 (diff) | |
gnu: gdl-minimal: Fix build with gcc-14.
* gnu/packages/gnome.scm (gdl-minimal)[arguments]: Modify gdl's arguments.
Change-Id: I782c112c28841bf2b3b277cfda05bf2a1871b8a1
| -rw-r--r-- | gnu/packages/gnome.scm | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 6930bd0c28..e7c611ef17 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -2617,18 +2617,18 @@ GNOME Desktop.") (package/inherit gdl (name "gdl-minimal") (arguments - '(#:phases - (modify-phases %standard-phases - (add-after 'unpack 'disable-doc-generation - ;; XXX: There is no easy way to disable generating the - ;; documentation. - (lambda _ - (substitute* "configure.in" - (("GTK_DOC_CHECK.*") "") - (("docs/.*") "")) - (substitute* "Makefile.am" - (("gdl docs po") "gdl po")) - #t))))) + (substitute-keyword-arguments (package-arguments gdl) + ((#:phases phases #~%standard-phases) + #~(modify-phases #$phases + (add-after 'unpack 'disable-doc-generation + ;; XXX: There is no easy way to disable generating the + ;; documentation. + (lambda _ + (substitute* "configure.in" + (("GTK_DOC_CHECK.*") "") + (("docs/.*") "")) + (substitute* "Makefile.am" + (("gdl docs po") "gdl po")))))))) (native-inputs (alist-delete "gtk-doc" (package-native-inputs gdl))))) (define-public libgnome-keyring |