civodul pushed a commit to branch master in repository guix. commit a8e3fd5f9d1abd903edc9a413325194ed44557bd Author: Vagrant Cascadian <vagr...@debian.org> Date: Sat May 19 21:08:41 2018 +0000
gnu: linux-libre: Use "make dtbs_install" to install device tree files. * gnu/packages/linux.scm (make-linux-libre): Use "make dtbs_install" to install device tree files. Signed-off-by: Ludovic Courtès <l...@gnu.org> --- gnu/packages/linux.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 0c58b90..9dd9b7e 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -366,8 +366,10 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." (for-each (lambda (file) (install-file file out)) (find-files "." "^(\\.config|bzImage|zImage|Image|vmlinuz|System\\.map)$")) ;; Install device tree files - (for-each (lambda (file) (install-file file dtbdir)) - (find-files "." "\\.dtb$")) + (unless (null? (find-files "." "\\.dtb$")) + (mkdir-p dtbdir) + (invoke "make" (string-append "INSTALL_DTBS_PATH=" dtbdir) + "dtbs_install")) ;; Install kernel modules (mkdir-p moddir) (invoke "make"