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

[Zoltan Somogyi]

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.

Zoltan.