fixup gnu: musl-boot0: Improve the install phase.

Change-Id: Id7ac782bf5fe9d6cce308ebd8271b0b4b43b704a
This commit is contained in:
Efraim Flashner 2024-11-24 10:58:21 +02:00
parent 27fc539e64
commit ff4b742323
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -957,14 +957,13 @@ (define musl-boot0
(lib (string-append out "/lib"))
(incl (string-append out "/include"))
;; Taken from the ARCH variable in configure.
(arch #$(cond
((target-x86-32?) "i386")
((target-x32?) "x32")
((target-arm32?) "arm")
((target-ppc64le?) "powerpc64")
(#t (string-take
(%current-system)
(string-index (%current-system) #\-))))))
(arch #$(cond ((target-x86-32?) "i386")
((target-x32?) "x32")
((target-arm32?) "arm")
((target-ppc64le?) "powerpc64")
(#t (string-take
(%current-system)
(string-index (%current-system) #\-))))))
(for-each (lambda (file)
(when (file-exists? file)
(install-file file bin)))