GNU bug report logs

#35717 [PATCH] gnu: base: Make make-gcc-libc public.

PackageSource(s)Maintainer(s)
guix-patches PTS Buildd Popcon
Reply or subscribe to this bug. View this bug as an mbox, status mbox, or maintainer mbox

Report forwarded to guix-patches@gnu.org:
bug#35717; Package guix-patches. (Mon, 13 May 2019 17:17:02 GMT) (full text, mbox, link).


Acknowledgement sent to Carl Dong <accounts@carldong.me>:
New bug report received and forwarded. Copy sent to guix-patches@gnu.org. (Mon, 13 May 2019 17:17:02 GMT) (full text, mbox, link).


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

From: Carl Dong <accounts@carldong.me>
To: guix-patches@gnu.org
Cc: Carl Dong <accounts@carldong.me>
Subject: [PATCH] gnu: base: Make make-gcc-libc public.
Date: Mon, 13 May 2019 17:04:51 +0000
* gnu/packages/base.scm (make-gcc-libc): Make public.
---
 gnu/packages/base.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm
index a941a8f8eb..63a683327d 100644
--- a/gnu/packages/base.scm
+++ b/gnu/packages/base.scm
@@ -1009,7 +1009,7 @@ with the Linux kernel.")
                   (("/bin/pwd") "pwd"))
                 #t))))))))
 
-(define (make-gcc-libc base-gcc libc)
+(define-public (make-gcc-libc base-gcc libc)
   "Return a GCC that targets LIBC."
   (package (inherit base-gcc)
            (name (string-append (package-name base-gcc) "-"
-- 
2.21.0






Added tag(s) fixed. Request was from Ludovic Courtès <ludo@gnu.org> to control@debbugs.gnu.org. (Fri, 19 Jul 2019 08:02:02 GMT) (full text, mbox, link).


bug closed, send any further explanations to 35717@debbugs.gnu.org and Carl Dong <accounts@carldong.me> Request was from Ludovic Courtès <ludo@gnu.org> to control@debbugs.gnu.org. (Fri, 19 Jul 2019 08:02:03 GMT) (full text, mbox, link).


bug archived. Request was from Debbugs Internal Request <help-debbugs@gnu.org> to internal_control@debbugs.gnu.org. (Fri, 16 Aug 2019 11:24:05 GMT) (full text, mbox, link).


Send a report that this bug log contains spam.


debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Mon Nov 4 22:21:22 2024; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.