Re: mirage 4.0

[Adam Steen <adam@xxxxxxxxxxxxxxxx>]

On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy <anil@xxxxxxxxxx> 
wrote:

> On 26 Nov 2021, at 01:31, Adam Steen adam@xxxxxxxxxxxxxxxx wrote:
>
> > Hi
> >
> > I would like to test mirage 4.0 with OpenBSD, in the past I have had mirage 
> > 3.X working with OpenBSD but currently ocaml-freestanding is broken.
> >
> > I feel its not worth investing the time in 3.X when 4.0 is coming
> >
> > Is there a set of instructions to follow?
> >
> > ps when I say mirage I mean mirage configured with hvt.
>
> Hi Adam,
>
> Thanks for helping test with OpenBSD! What's the error you're seeing on 3.x?
>
> The instructions for trying out 4.0dev is staged on 
> https://next.mirage.io/docs/mirage-4 -- feedback very welcome.
>
> regards
>
> Anil

Hi Anil

parsexp fails with
    ocamlopt src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o} (exit 2)
(cd _build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -g -I 
src/.parsexp.objs/byte -I src/.parsexp.objs/native -I 
/home/adams/.opam/default/lib/base/caml -I 
/home/adams/.opam/default/lib/sexplib0 -intf-suffix .ml -no-alias-deps -open 
Parsexp__ -o src/.parsexp.objs/native/parsexp__Parser_automaton.cmx -c -impl 
src/parser_automaton.ml)
Fatal error: exception Stack overflow

and ocaml-freestanding fails with
configure: error: C99 float ops unavailable, enable replacements with 
--enable-imprecise-c99-float-ops
gmake: *** [Makefile:43: ocaml/Makefile.config] Error

will try mirage 4.0 now

Cheers
Adam