Re: mirage 4.0

[Adam Steen <adam@xxxxxxxxxxxxxxxx>]

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