[m-rev.] for review: Support OpenBSD.

[Julien Fischer]

On Thu, 1 Mar 2018, Peter Wang wrote:

> diff --git a/.README.in b/.README.in
> index 42be38499..576c578ea 100644
> --- a/.README.in
> +++ b/.README.in
> @@ -9,7 +9,7 @@ or particular architectures, so first read the README file for your particular
> platform, if there is one:
>
> 	README.AIX		RS/6000 systems running AIX
> -	README.FreeBSD		The FreeBSD version of BSD Unix on Intel x86
> +	README.FreeBSD		FreeBSD on Intel x86 and x86_64
> 	README.HPUX		HPPA systems running HPUX
> 	README.Linux		Linux on Intel x86 and x86_64
> 	README.Linux-Alpha	Linux on DEC Alpha
> @@ -17,6 +17,7 @@ platform, if there is one:
> 	README.Linux-m68k	Linux on Motorola 68000
> 	README.MacOS		Apple Mac systems running Mac OS X
> 	README.MS-Windows	Microsoft Windows
> +	README.OpenBSD		OpenBSD on Intel x86_64
> 	README.Solaris		Solaris (SunOS) on SPARC or Intel x86.
> 
> The documentation sources are in the `doc' subdirectory.  The installation

...


> diff --git a/README.OpenBSD b/README.OpenBSD
> new file mode 100644
> index 000000000..4df0a1f5c
> --- /dev/null
> +++ b/README.OpenBSD
> @@ -0,0 +1,12 @@
> +
> +Mercury on OpenBSD
> +==================
> +
> +Tested on OpenBSD 6.2 arm64 with clang 4.0 and gcc 4.9.

It's arm64 here, and x86_64 in the change to .README.in.

The rest looks ok.

Julien.