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

[Peter Wang]

On Thu, 1 Mar 2018 01:41:55 -0500 (EST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> > 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.

Oops, not ARM. Thanks.

Peter