[m-rev.] for review: document Linux AArch64 support
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.
More information about the reviews