[m-rev.] for review: document Linux AArch64 support
jfischer at opturion.com
Mon Jan 25 18:31:17 AEDT 2021
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.
> Otherwise, the diff is fine.
Thanks for that.
More information about the reviews