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

Zoltan Somogyi zoltan.somogyi at runbox.com
Mon Jan 25 18:16:29 AEDT 2021


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.


More information about the reviews mailing list