GNU bug report logs - #69567
[PATCH 0/1] gnu: raspi-gpio: Make public.

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 69567 in the body.
You can then email your comments to 69567 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: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
To: guix-patches <at> gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Subject: [PATCH 0/1] gnu: raspi-gpio: Make public.
Date: Tue,  5 Mar 2024 18:15:42 +0100

Hello,

While working at another target (arm-none-eabi, pending) I've found this
package that is defined but not public, it compiles fine so it's just
a change from DEFINE to DEFINE-PUBLIC.

Jean-Pierre De Jesus DIAZ (1):
  gnu: raspi-gpio: Make public.

 gnu/packages/raspberry-pi.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


base-commit: b6dec0108f99d75066bad15aaa124b84bb0261f3
-- 
2.41.0

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

From: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
To: 69567 <at> debbugs.gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Subject: [PATCH 1/1] gnu: raspi-gpio: Make public.
Date: Tue,  5 Mar 2024 18:17:13 +0100

* gnu/packages/raspberry-pi.scm (raspi-gpio): Make variable public.

Change-Id: Iaf2789120a726d702d97c3a30a32e3b2cf5da3f1
---
 gnu/packages/raspberry-pi.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/raspberry-pi.scm b/gnu/packages/raspberry-pi.scm
index 5c25ed96da..c8b44d5b6c 100644
--- a/gnu/packages/raspberry-pi.scm
+++ b/gnu/packages/raspberry-pi.scm
@@ -85,7 +85,7 @@ (define-public bcm2835
     (supported-systems '("armhf-linux" "aarch64-linux"))
     (license license:gpl3)))
 
-(define raspi-gpio
+(define-public raspi-gpio
   (let ((commit "6d0769ac04760b6e9f33b4aa1f11c682237bf368")
         (revision "1"))
     (package
-- 
2.41.0

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

From: Christopher Baines <mail <at> cbaines.net>
To: Jean-Pierre De Jesus DIAZ <jean <at> foundationdevices.com>
Cc: guix-patches <at> gnu.org, 69567-done <at> debbugs.gnu.org
Subject: Re: [bug#69567] [PATCH 0/1] gnu: raspi-gpio: Make public.
Date: Thu, 14 Mar 2024 13:52:48 +0000

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

Jean-Pierre De Jesus DIAZ via Guix-patches via <guix-patches <at> gnu.org> writes:

> Hello,
>
> While working at another target (arm-none-eabi, pending) I've found this
> package that is defined but not public, it compiles fine so it's just
> a change from DEFINE to DEFINE-PUBLIC.
>
> Jean-Pierre De Jesus DIAZ (1):
>   gnu: raspi-gpio: Make public.
>
>  gnu/packages/raspberry-pi.scm | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
>
> base-commit: b6dec0108f99d75066bad15aaa124b84bb0261f3

Makes sense to me, I've pushed this to master as
8166d5b81ed6ca32434fb4e66fa8306a28e4949b.

Thanks,

Chris

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

Previous Next

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