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

  • Done
  • quality assurance status badge
Details
2 participants
  • Carl Dong
  • Ludovic Courtès
Owner
unassigned
Submitted by
Carl Dong
Severity
normal
C
C
Carl Dong wrote on 13 May 2019 19:04
(address . guix-patches@gnu.org)(name . Carl Dong)(address . accounts@carldong.me)
6yVYHiO6PBqqEirOgjjAC9ZTfSa--CE1xkEg9wbSzL08GUwLIGB60abhLns4E5nUl4bOalnUCbN-rqCLz6ui5t9s-KVtTylqlw8vJUvIuxY=@carldong.me
* gnu/packages/base.scm (make-gcc-libc): Make public.
---
gnu/packages/base.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

Toggle diff (15 lines)
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
L
L
Ludovic Courtès wrote on 19 Jul 2019 10:01
control message for bug #35717
(address . control@debbugs.gnu.org)
87muhae9m8.fsf@gnu.org
tags 35717 fixed
close 35717
quit
?
Your comment

This issue is archived.

To comment on this conversation send an email to 35717@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 35717
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch