Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works)

[Adam Steen <adam@xxxxxxxxxxxxxxxx>]

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Thursday, September 13, 2018 6:00 PM, Martin Lucina <martin@xxxxxxxxxx> 
wrote:

> Hi Adam,
>
> On Thursday, 13.09.2018 at 07:07, Adam Steen wrote:
>
> > Hi All
> > As some of you know i have been working at making MirageOS work on OpenBSD, 
> > It now works, I have built and tested all applications, device-usage and 
> > tutorials in mirage-skeleton.
>
> This is good news! Thanks very much for working on it and persevering!
>
> > You maybe asking how do i do this myself? The following script works from a 
> > fresh install of OpenBSD current (soon to be 6.4) and builds the 
> > 'static_website_tls'
>
> Note that the "great Solo5 renaming" is on the horizon (see
> https://github.com/Solo5/solo5/pull/274), I have a hard deadline to merge
> this and get an 0.4.0 out by the weekend. So the instructions here will
> change.
>
> Cheers,
>
> -mato

Hi All

With the release of Solo5 0.4.0, I have updated the OpenBSD instructions at [1].

But it basically boils down to following the installation 
instructions/tutorials at [2] with OPAM 2 installed.

Also see Solo5 Supported Targets at [3]

Cheers
Adam

ps Hopefully we will have OPAM 2 and Ocaml 4.07.0 as a package for OpenBSD.

[1] 
https://gist.githubusercontent.com/adamsteen/6bdae8dc93d8f91f9eb6cf1dbbbbe4b5/raw/c9721e30e583c6e91b0af38f583e0a8390d8133c/setup.sh
[2] https://mirage.io/wiki/install
[3] 
https://github.com/Solo5/solo5/blob/v0.4.0/docs/building.md#supported-targets

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel