Re: mirage 4.0

[Adam Steen <adam@xxxxxxxxxxxxxxxx>]

On Friday, November 26th, 2021 at 12:07 PM, Hannes Mehnert <hannes@xxxxxxxxxxx> 
wrote:

> Hi Adam,
>
> On 26/11/2021 13:02, Adam Steen wrote:
>
> >      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??
>
> Could you try with `ulimit -s 8192` (or some even bigger value for your
>
> stack size)? There's some discussion on
>
> https://github.com/ocaml/ocaml/pull/10736 which may fix the issue at
>
> hand in the future (> OCaml 4.14.0).
>
> Best,
>
> Hannes

Hi Hannes

'ulimit -s 8192' fixed the stack overflow

but we are not hitting the problem with ocaml-freestand 0.6.6

#=== ERROR while compiling ocaml-freestanding.0.6.6 ===========================#
# context     2.0.8 | openbsd/x86_64 | ocaml-base-compiler.4.13.1 | 
https://opam.ocaml.org#7e8b67dd
# path        ~/.opam/default/.opam-switch/build/ocaml-freestanding.0.6.6
# command     /usr/local/bin/gmake
# exit-code   2
# env-file    ~/.opam/log/ocaml-freestanding-48748-6cc03f.env
# output-file ~/.opam/log/ocaml-freestanding-48748-6cc03f.out
### output ###
# [...]
# checking for log2... yes
# checking for cbrt... yes
# checking for acosh... yes
# checking for asinh... yes
# checking for atanh... yes
# checking for erf... yes
# checking for erfc... yes
# checking for trunc... yes
# checking for round... yes
# checking for copysign... yes
# configure: error: C99 float ops unavailable, enable replacements with 
--enable-imprecise-c99-float-ops
# gmake: *** [Makefile:43: ocaml/Makefile.config] Error 1

I can attach the env and output-file if required.

I will look at the ocaml-freestanding commit 
(https://github.com/mirage/ocaml-freestanding/commit/d4a61d962ec4e9d627d2335b3a291032941d152e)
 and if it can figure something out.

Cheers
Adam