[bug#31447] [PATCH] linux-libre: Add aarch64-linux.

[Vagrant Cascadian <vagrant@debian.org>]

[-- Attachment #1: Type: text/plain, Size: 1395 bytes --]

On 2018-05-20, Ludovic Courtès wrote:
> Vagrant Cascadian <vagrant@debian.org> skribis:
>> I did try to restrict dtb installation based on architecture (only arm,
>> arm64 and mips linux architectures currently implement the dtbs_install
>> Makefile target), which would seem a little cleaner to me. My attempt
>> was essentially:
>>
>>   (if (string=? (getenv "ARCH") (or "arm" "arm64" "mips"))
>>     (invoke "make" "dtbs_install" ... )
>>   )
>
> You could do:
>
>  (when (member (getenv "ARCH") '("arm" "arm64" "mips"))
>    …)

Thanks for the suggestion.


> But I think what you did is even nicer (no need to hardwire the list of
> architectures.)

My only concern was the risk of an architecture which generates .dtb
files, but for some reason doesn't have the dtbs_install target.  Maybe
that's too hypothetical at this point, and it can be dealt with if it
ever comes up. :)


>> From 4e5ea2e07282b3c3125fc1922e729085a2e2706f Mon Sep 17 00:00:00 2001
>> From: Vagrant Cascadian <vagrant@debian.org>
>> Date: Sat, 19 May 2018 21:08:41 +0000
>> Subject: [PATCH 2/2] 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.
>
> I adjusted the indentation and committed.  Thank you!

Great!


live well,
  vagrant

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]