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

Previous Next

Package: guix;

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

Date: Sat, 13 Nov 2021 10:41:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Subject: bug#51808: closed (Re: bug#51808: [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 bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 51808 <at> debbugs.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: 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’.

[Message part 3 (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 4 (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)]

This bug report was last modified 3 years and 187 days ago.

Previous Next


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