[m-rev.] for review: document Linux AArch64 support

[Julien Fischer]

On Mon, 25 Jan 2021, Zoltan Somogyi wrote:

> 2021-01-25 17:37 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> --- a/NEWS
>> +++ b/NEWS
>> @@ -304,6 +304,11 @@ Changes to the Mercury compiler
>>    keep `opt1` enabled even if `opt1` is not normally enabled at optimization
>>    level `N`.
>>
>> +Portability improvements
>> +------------------------
>> +
>> +* We have ported Mercury to Linux AArch64 (ARM64) systems.
>
> I would word it as "to Linux running on 64-bit ARM CPUs (AArch64)".
>
>> --- a/README.Linux
>> +++ b/README.Linux
>> @@ -1,4 +1,5 @@
>>  This file documents the Linux/x86 and Linux/x86_64 ports.
>> +For the Linux/AArch64 port, see REAMDE.Linux-aarch64.
>
> I think AArch64 is such an awful name, everywhere you use it,
> you should explain what it means. That includes here.

Done.

> Otherwise, the diff is fine.

Thanks for that.

Julien.