GNU bug report logs - #35667
[PATCH] gnu: denemo: Use older version of gtksourceview.

Previous Next

Package: guix-patches;

Reported by: Diego Nicola Barbato <dnbarbato <at> posteo.de>

Date: Fri, 10 May 2019 12:07:01 UTC

Severity: normal

Tags: patch

Done: Ricardo Wurmus <rekado <at> elephly.net>

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: Diego Nicola Barbato <dnbarbato <at> posteo.de>
Subject: bug#35667: closed (Re: [bug#35667] [PATCH] gnu: denemo: Use older
 version of gtksourceview.)
Date: Sat, 11 May 2019 19:37:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#35667: [PATCH] gnu: denemo: Use older version of gtksourceview.

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

The explanation is attached below, along with your original report.
If you require more details, please reply to 35667 <at> debbugs.gnu.org.

-- 
35667: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35667
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Ricardo Wurmus <rekado <at> elephly.net>
To: Diego Nicola Barbato <dnbarbato <at> posteo.de>
Cc: 35667-done <at> debbugs.gnu.org
Subject: Re: [bug#35667] [PATCH] gnu: denemo: Use older version of
 gtksourceview.
Date: Sat, 11 May 2019 21:36:20 +0200
Hi Diego,

thank you for this patch.  I pushed it to the master branch with commit
6bf795329a1da58e38f749f4af7a7694bfb64f97.

--
Ricardo


[Message part 3 (message/rfc822, inline)]
From: Diego Nicola Barbato <dnbarbato <at> posteo.de>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: denemo: Use older version of gtksourceview.
Date: Fri, 10 May 2019 14:06:15 +0200
[Message part 4 (text/plain, inline)]
Hi Guix,

Denemo currently fails to build because it does not find
'gtksourceview-3.0' during the 'configure' phase.  This patch should fix
that.

Regards,

Diego

[0001-gnu-denemo-Use-older-version-of-gtksourceview.patch (text/x-patch, inline)]
From 0b8419a1f42b893abc6f9f056f86175fa7a63aff Mon Sep 17 00:00:00 2001
From: Diego Nicola Barbato <dnbarbato <at> posteo.de>
Date: Fri, 10 May 2019 12:38:33 +0200
Subject: [PATCH] gnu: denemo: Use older version of gtksourceview.

* gnu/packages/music.scm (denemo)[inputs]: Replace gtksourceview with
  gtksourceview-3.
---
 gnu/packages/music.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/music.scm b/gnu/packages/music.scm
index aafe420d04..12c13e0320 100644
--- a/gnu/packages/music.scm
+++ b/gnu/packages/music.scm
@@ -427,7 +427,7 @@ many input formats and provides a customisable Vi-style user interface.")
        ("glib" ,glib)
        ("gtk+" ,gtk+)
        ("gtk-doc" ,gtk-doc)
-       ("gtksourceview" ,gtksourceview)
+       ("gtksourceview" ,gtksourceview-3)
        ("guile" ,guile-2.0)
        ("intltool" ,intltool)
        ("librsvg" ,librsvg)
-- 
2.21.0


This bug report was last modified 6 years and 63 days ago.

Previous Next


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