me
/
guix
Archived
1
0
Fork 0
Code

gnu: u-boot-puma-rk3399: Fix indentation. 

* gnu/packages/bootloaders.scm (u-boot-puma-rk3399): Fix indentation.
master
Maxim Cournoyer 2022-12-01 11:36:30 -05:00
parent 8cac149ec5
commit d1ef19e76e
No known key found for this signature in database
GPG Key ID: 1260E46482E63562
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
gnu/packages/bootloaders.scm
View File

@ -913,16 +913,16 @@ to Novena upstream, does not load u-boot.img from the first partition."))))
(package
(inherit base)
(arguments
(substitute-keyword-arguments (package-arguments base)
((#:phases phases)
`(modify-phases ,phases
(add-after 'unpack 'set-environment
(lambda* (#:key inputs #:allow-other-keys)
(setenv "BL31"
(search-input-file inputs "/bl31.elf"))))
;; Phases do not succeed on the bl31 ELF.
(delete 'strip)
(delete 'validate-runpath)))))
(substitute-keyword-arguments (package-arguments base)
((#:phases phases)
`(modify-phases ,phases
(add-after 'unpack 'set-environment
(lambda* (#:key inputs #:allow-other-keys)
(setenv "BL31"
(search-input-file inputs "/bl31.elf"))))
;; Phases do not succeed on the bl31 ELF.
(delete 'strip)
(delete 'validate-runpath)))))
(native-inputs
`(("firmware" ,arm-trusted-firmware-rk3399)
,@(package-native-inputs base))))))