gnu: make-opensbi-package: Adjust installed files.

* gnu/packages/firmware.scm (make-opensbi-package)[arguments]: Adjust
custom 'install phase to install more files.

Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
This commit is contained in:
Efraim Flashner 2021-08-31 10:28:34 +03:00 committed by Vagrant Cascadian
parent c189dcd667
commit a2e580f498
No known key found for this signature in database
GPG key ID: DC518FC87F9716AA

View file

@ -256,7 +256,7 @@ (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(let ((out (assoc-ref outputs "out"))
(bin (find-files "." ".*fw_.*.elf$")))
(bin (find-files "." "fw_.*\\.(elf|bin)$")))
(for-each
(lambda (file)
(install-file file out))