From 7abe768ec12b9a195d4b24167dc7989391959b22 Mon Sep 17 00:00:00 2001 From: Danny Milosavljevic Date: Thu, 29 Oct 2020 15:25:40 +0100 Subject: gnu: raspi-arm64-chainloader: Install arm64.bin. * gnu/packages/raspberry-pi.scm (raspi-arm64-chainloader)[arguments]<#:phases>[setenv]: Add objcopy. [install]: Install arm64.bin. --- gnu/packages/raspberry-pi.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gnu/packages/raspberry-pi.scm b/gnu/packages/raspberry-pi.scm index 78871f795e..0e58d3b780 100644 --- a/gnu/packages/raspberry-pi.scm +++ b/gnu/packages/raspberry-pi.scm @@ -190,6 +190,7 @@ Raspberry Pi. Note: It does not work on Raspberry Pi 1.") (replace 'setenv (lambda _ (setenv "AS" "as") ; TODO: as-for-target + (setenv "OBJCOPY" "objcopy") (setenv "CC" ,(cc-for-target)) (setenv "CXX" ,(cc-for-target)) (setenv "BAREMETAL" "1") @@ -229,5 +230,6 @@ Raspberry Pi. Note: It does not work on Raspberry Pi 1.") (libexec (string-append out "/libexec"))) (mkdir-p libexec) (install-file "arm64.elf" libexec) - (install-file "arm64.map" libexec))))))))) + (install-file "arm64.map" libexec) + (install-file "arm64.bin" libexec))))))))) (supported-systems '("aarch64-linux")))) -- cgit v1.2.3