GNU bug report logs - #55085
[PATCH] gfeeds 0.16.2: Make it run

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 55085 in the body.
You can then email your comments to 55085 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Luis Felipe <luis.felipe.la <at> protonmail.com>
To: Luis Felipe via Guix-patches <guix-patches <at> gnu.org>
Subject: [PATCH] gfeeds 0.16.2: Make it run
Date: Sat, 23 Apr 2022 20:00:59 +0000

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

This program fails to run. I attach a patch that makes it work.

SYSTEM INFORMATION

Guix system with the following Guix.

Generation 55	Apr 18 2022 11:42:09	(current)
  guix 237d90a
    repository URL: https://git.savannah.gnu.org/git/guix.git
    branch: master
    commit: 237d90a7808cfdced34b34595eba16632cbcb89e


STEPS TO REPRODUCE

guix shell gfeeds -- gfeeds
Traceback (most recent call last):
  File "/gnu/store/8vbjfdq9dv8cscs28vq9iabmkz4zkqcg-gfeeds-0.16.2/bin/.gfeeds-real", line 64, in <module>
    gi.require_version('WebKit2', '4.0')
  File "/home/yo/.guix-profile/lib/python3.9/site-packages/gi/__init__.py", line 129, in require_version
    raise ValueError('Namespace %s not available for version %s' %
ValueError: Namespace WebKit2 not available for version 4.0


ADDITIONAL INFORMATION

The problem seems to be that the current inputs of gfeeds don't provide WebKit2 4.0 but WebKit 4.1:

❯ guix shell python-pygobject webkitgtk

yo <at> gnu[env]: ~❯ python3
Python 3.9.9 (main, Jan  1 1970, 00:00:01) 

[GCC 10.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import gi
>>> 

>>> # The following fails.
>>> gi.require_version("WebKit2", "4.0")
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/home/yo/.guix-profile/lib/python3.9/site-packages/gi/__init__.py", line 129, in require_version
    raise ValueError('Namespace %s not available for version %s' %
ValueError: Namespace WebKit2 not available for version 4.0
>>> 

>>> 

>>> # But the following works.
>>> gi.require_version("WebKit2", "4.1")
>>> 



POSSIBLE SOLUTION

I attach a patch that makes the program import WebKit 4.1 instead. This makes the program work. As far as I could see, there is no package in Guix that provides WebKit 4.0, so I left the inputs untouched.

Another option was to upgrade gfeeds to the latest (v1.0.2), but it required to package new libraries that are not available in Guix (a recent libadwaita, for example), and which I'm not able to package.


Best,

---
Luis Felipe López Acevedo
https://luis-felipe.gitlab.io/

[0001-gnu-gfeeds-Make-it-start.patch (text/x-patch, attachment)]

[publickey - luis.felipe.la@protonmail.com - 0x12DE1598.asc (application/pgp-keys, attachment)]

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

Message #10 received at 55085-done <at> debbugs.gnu.org (full text, mbox):

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Luis Felipe <luis.felipe.la <at> protonmail.com>
Cc: 55085-done <at> debbugs.gnu.org
Subject: Re: bug#55085: [PATCH] gfeeds 0.16.2: Make it run
Date: Tue, 26 Apr 2022 11:09:26 +0200

Hey Luis,

> I attach a patch that makes the program import WebKit 4.1
> instead. This makes the program work. As far as I could see, there is
> no package in Guix that provides WebKit 4.0, so I left the inputs
> untouched.

Seems fair, pushed!

Thanks,

Mathieu

Previous Next

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