GNU bug report logs -
#32140
[PATCH] gnu: make-u-boot-package: Don't install "sunxi-spl-with-ecc.bin".
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 32140 in the body.
You can then email your comments to 32140 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#32140
; Package
guix-patches
.
(Fri, 13 Jul 2018 13:59:01 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Danny Milosavljevic <dannym <at> scratchpost.org>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Fri, 13 Jul 2018 13:59:01 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/bootloaders.scm (make-u-boot-package)[arguments]<#:phases>
[install]: Don't install "sunxi-spl-with-ecc.bin".
---
gnu/packages/bootloaders.scm | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 7599f4ac2..19d47e6e5 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -508,7 +508,19 @@ board-independent tools.")))
(let* ((out (assoc-ref outputs "out"))
(libexec (string-append out "/libexec"))
(uboot-files (append
- (find-files "." ".*\\.(bin|efi|img|spl|itb|dtb|rksd)$")
+ (filter
+ ;; Those would not be reproducible
+ ;; because of the randomness used
+ ;; to produce them.
+ ;; It's expected that the user will
+ ;; use u-boot-tools to generate them
+ ;; instead.
+ (lambda (name)
+ (not
+ (string-suffix?
+ "sunxi-spl-with-ecc.bin"
+ name)))
+ (find-files "." ".*\\.(bin|efi|img|spl|itb|dtb|rksd)$"))
(find-files "." "^(MLO|SPL)$"))))
(mkdir-p libexec)
(install-file ".config" libexec)
Information forwarded
to
guix-patches <at> gnu.org
:
bug#32140
; Package
guix-patches
.
(Tue, 17 Jul 2018 22:17:01 GMT)
Full text and
rfc822 format available.
Message #8 received at 32140 <at> debbugs.gnu.org (full text, mbox):
Hi Danny,
Danny Milosavljevic <dannym <at> scratchpost.org> skribis:
> * gnu/packages/bootloaders.scm (make-u-boot-package)[arguments]<#:phases>
> [install]: Don't install "sunxi-spl-with-ecc.bin".
> ---
> gnu/packages/bootloaders.scm | 14 +++++++++++++-
> 1 file changed, 13 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
> index 7599f4ac2..19d47e6e5 100644
> --- a/gnu/packages/bootloaders.scm
> +++ b/gnu/packages/bootloaders.scm
> @@ -508,7 +508,19 @@ board-independent tools.")))
> (let* ((out (assoc-ref outputs "out"))
> (libexec (string-append out "/libexec"))
> (uboot-files (append
> - (find-files "." ".*\\.(bin|efi|img|spl|itb|dtb|rksd)$")
> + (filter
> + ;; Those would not be reproducible
> + ;; because of the randomness used
> + ;; to produce them.
> + ;; It's expected that the user will
> + ;; use u-boot-tools to generate them
> + ;; instead.
> + (lambda (name)
> + (not
> + (string-suffix?
Nitpick: you could write: (remove (lambda (string-suffix? …)) lst)
instead.
Otherwise LGTM, thanks!
Ludo’.
bug closed, send any further explanations to
32140 <at> debbugs.gnu.org and Danny Milosavljevic <dannym <at> scratchpost.org>
Request was from
Danny Milosavljevic <dannym <at> scratchpost.org>
to
control <at> debbugs.gnu.org
.
(Thu, 26 Jul 2018 13:56:02 GMT)
Full text and
rfc822 format available.
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Fri, 24 Aug 2018 11:24:04 GMT)
Full text and
rfc822 format available.
This bug report was last modified 6 years and 305 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.