GNU bug report logs - #51808
[PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use webkit2 4.1

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#51808: closed ([PATCH] Devhelp: On core-updates-frozen,
 upgrade to 41.2 to use webkit2 4.1)
Date: Mon, 15 Nov 2021 11:18:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 15 Nov 2021 12:17:09 +0100
with message-id <87pmr1653e.fsf <at> gnu.org>
and subject line Re: bug#51808: [PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use webkit2 4.1
has caused the debbugs.gnu.org bug report #51808,
regarding [PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use webkit2 4.1
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
51808: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=51808
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: bug-guix <at> gnu.org
Subject: [PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use
 webkit2 4.1
Date: Sat, 13 Nov 2021 10:39:58 +0000

[Message part 3 (text/plain, inline)]

Dear guix,

devhelp 41 gained support for building against webkit2 4.1. I think we
should upgrade, right?

Vivien

[0001-gnu-devhelp-Upgrade-to-41.2.patch (text/x-patch, attachment)]

[signature.asc (application/pgp-signature, inline)]

[Message part 6 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: 51808-done <at> debbugs.gnu.org
Subject: Re: bug#51808: [PATCH] Devhelp: On core-updates-frozen, upgrade to
 41.2 to use webkit2 4.1
Date: Mon, 15 Nov 2021 12:17:09 +0100

Vivien Kraus <vivien <at> planete-kraus.eu> skribis:

> From fadbf75a7667cfb9e2a25024913373a53310d06c Mon Sep 17 00:00:00 2001
> From: Vivien Kraus <vivien <at> planete-kraus.eu>
> Date: Sat, 13 Nov 2021 10:35:26 +0000
> Subject: [PATCH] gnu: devhelp: Upgrade to 41.2.
>
> * gnu/packages/gnome.scm (devhelp): Upgrade to 41.2 to upgrade the webkit
> dependency to 4.1.
> * gnu/packages/gnome.scm (devhelp) [arguments]: Use meson 0.59.
> * gnu/packages/gnome.scm (devhelp) [phase skip-gtk-update-icon-cache]: the
> post install script has been moved from meson_post_install.py to
> build-aux/meson/.
> * gnu/packages/gnome.scm (devhelp) [phase fix-devhelp-gir-inputs]: the devhelp
> GIR still mentions webkit 4.0, use 4.1 instead.
> ---
>  gnu/packages/gnome.scm | 16 +++++++++++-----
>  1 file changed, 11 insertions(+), 5 deletions(-)

I tweaked the commit log and applied, thanks!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.