Re: mirage 4.0

[Adam Steen <adam@xxxxxxxxxxxxxxxx>]

On Friday, November 26th, 2021 at 12:02 PM, Adam Steen <adam@xxxxxxxxxxxxxxxx> 
wrote:

> On Friday, November 26th, 2021 at 11:55 AM, Adam Steen adam@xxxxxxxxxxxxxxxx 
> wrote:
>
> > 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
>
> Hi All
>
> Mirage 4.0
>
> +- The following actions failed
>
> | - build opam-monorepo 0.2.6
>
> File 
> "/home/adams/.opam/default/.opam-switch/build/opam-monorepo.0.2.6/build/.dune/default/duniverse/0install/src/gui_gtk/dune.ml",
>  line 34, characters 14-37:
>
> 34 | Hashtbl.add Toploop.directive_table "use_mod"
>
> ^^^^^^^^^^^^^^^^^^^^^^^
>
> Alert deprecated: Toploop.directive_table
>
> ocamlfind: Package `lablgtk3' not found
>
> (will skip building the GTK plugin)
>
> ocamlopt 
> duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o} 
> (exit 2)
>
> (cd build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -w -a 
> -g -I duniverse/parsexp/src/.parsexp.objs/byte -I 
> duniverse/parsexp/src/.parsexp.objs/native -I 
> duniverse/base/compiler-stdlib/src/.caml.objs/byte -I 
> duniverse/base/compiler-stdlib/src/.caml.objs/native -I 
> duniverse/sexplib0/src/.sexplib0.objs/byte -I 
> duniverse/sexplib0/src/.sexplib0.objs/native -intf-suffix .ml -no-alias-deps 
> -open Parsexp -o 
> duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_automaton.cmx -c 
> -impl duniverse/parsexp/src/parser_automaton.ml)
>
> Fatal error: exception Stack overflow
>
> looks like it might be parsexp related??
>
> Cheers
> Adam

see https://github.com/janestreet/parsexp/issues/9 for more information

Cheers
Adam