GNU bug report logs - #28136
[PATCH] gnu: Remove libgames-support.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#28136: closed ([PATCH] gnu: Remove libgames-support.)
Date: Sat, 19 Aug 2017 00:18:02 +0000

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

Your message dated Sat, 19 Aug 2017 02:18:46 +0200
with message-id <5066174b-81aa-7f49-adf8-bc320b1826dc <at> tobias.gr>
and subject line Re: [bug#28136] [PATCH] gnu: Remove libgames-support.
has caused the debbugs.gnu.org bug report #28136,
regarding [PATCH] gnu: Remove libgames-support.
to be marked as done.

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


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

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

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: Remove libgames-support.
Date: Fri, 18 Aug 2017 15:16:01 +0200

It was simply the old name (and version) of libgnome-games-support.

* gnu/packages/gnome.scm (libgames-support): Remove variable.  Move the
inherited fields...
(libgnome-games-support): ...to here.
---
 gnu/packages/gnome.scm | 28 +++++++---------------------
 1 file changed, 7 insertions(+), 21 deletions(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index f17db8fe1..f14315593 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -3335,10 +3335,10 @@ write applications that need to store structured data as well as make complex
 queries upon that data.")
     (license license:lgpl2.1+)))
 
-(define-public libgames-support
+(define-public libgnome-games-support
   (package
-    (name "libgames-support")
-    (version "1.0.2")
+    (name "libgnome-games-support")
+    (version "1.2.2")
     (source (origin
               (method url-fetch)
               (uri (string-append "mirror://gnome/sources/" name "/"
@@ -3346,14 +3346,14 @@ queries upon that data.")
                                   name "-" version ".tar.xz"))
               (sha256
                (base32
-                "0rms2ksiv7j9944km7r87q22nh05si1fisn5xm3z4zy5vpcfi5mh"))))
+                "04qbgcgmc01sinhbqdljiny8q868l01nkdawj8wrnqnd1i8czvsg"))))
     (build-system gnu-build-system)
     (arguments
      '(#:phases
        (modify-phases %standard-phases
          (add-before 'check 'pre-check
            (lambda _
-             ;; tests require a writable HOME.
+             ;; Tests require a writable HOME.
              (setenv "HOME" (getcwd))
              #t)))))
     (native-inputs
@@ -3361,30 +3361,16 @@ queries upon that data.")
        ("pkg-config" ,pkg-config)
        ("vala" ,vala)))
     (propagated-inputs
-     ;; Required by libgames-support-1.0.pc
+     ;; Required by libgnome-games-support-1.0.pc
      `(("gtk+" ,gtk+)
        ("libgee" ,libgee)))
     (home-page "https://www.gnome.org/")
     (synopsis "Useful functionality shared among GNOME games")
     (description
-     "libgames-support is a small library intended for internal use by
+     "libgnome-games-support is a small library intended for internal use by
 GNOME Games, but it may be used by others.")
     (license license:lgpl3+)))
 
-(define-public libgnome-games-support
-  (package
-    (inherit libgames-support)
-    (name "libgnome-games-support")
-    (version "1.2.2")
-    (source (origin
-              (method url-fetch)
-              (uri (string-append "mirror://gnome/sources/" name "/"
-                                  (version-major+minor version) "/"
-                                  name "-" version ".tar.xz"))
-              (sha256
-               (base32
-                "04qbgcgmc01sinhbqdljiny8q868l01nkdawj8wrnqnd1i8czvsg"))))))
-
 (define-public gnome-klotski
   (package
     (name "gnome-klotski")
-- 
2.13.1

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

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: mbakke <at> fastmail.com, 28136-done <at> debbugs.gnu.org
Subject: Re: [bug#28136] [PATCH] gnu: Remove libgames-support.
Date: Sat, 19 Aug 2017 02:18:46 +0200

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

Marius Bakke wrote on 18/08/17 at 22:23:
> Tobias Geerinckx-Rice <me <at> tobias.gr> writes:
> 
>> It was simply the old name (and version) of libgnome-games-support.
>>
>> * gnu/packages/gnome.scm (libgames-support): Remove variable.  Move the
>> inherited fields...
>> (libgnome-games-support): ...to here.
> 
> LGTM.

Thanks! Pushed.

Kind regards,

T G-R

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

Previous Next

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