19:07 <hystryfe> Hello - I am trying to use opam to compile ocaml-freestanding (on OpenBSD 6.6 x86_64) as part of the "Hello" tutorial. It fails with two errors relating to the size of int64_t and uint64t. Any tips on how to correct? I've tried making them the same but I can't seem to track down all the places the definitions creep in. Any ideas welcome.

19:37 <hannes> which ocaml version are you using?

19:37 <hannes> you could clone the ocaml-freestanding repository, run ./configure and gmake and see where it breaks, fix it locally

19:38 <hannes> and once it works locally, do an "opam pin add -k path ocaml-freestanding /my/ocaml-freestanding-clone" which will make opam install this locally, that should work then!

19:45 <hystryfe> Ocaml is 4.09.0. I'll try that thanks.

19:52 <hystryfe> ls

20:29 <apache2> hystryfe: if you post the error messages you're seeing it's a lot easier to help you diagnose their source.

20:35 <hystryfe> No you're right: https://imagebin.ca/v/50gQys8KzUvu

20:38 <hystryfe> I've cloned ocaml-freestanding - it still pulls config.h in from somewhere else.

20:39 <hystryfe> All I have tried so far is changing the definition to __(u)int64_t and all that does is switch the order of what the error complains about.

20:45 <hannes> this is part of solo5 (https://github.com/solo5/solo5) -- which is the layer on top of the hypervisor, used by ocaml-freestanding.

20:45 <hannes> solo5 defines / provides a stdint.h (I don't remember whether it copies it or actually contains it) which is used by ocaml-freestanding, so you'll need to patch solo5...

21:14 <apache2> hystryfe: what are sizeof(long) vs sizeof(long long) on your system?

21:16 <apache2> the error mmessage looks like some kind of IL32LLP64 support being a bit broken

21:16 <apache2> https://github.com/mirage/ocaml-freestanding/blob/master/config.in/m.x86_64.h#L6-L11

21:18 <apache2> could you compile

21:18 <apache2> #include <stdio.h>

21:18 <apache2> #include <stdint.h>

21:18 <apache2> void main(){ printf("%d %d", sizeof(long), sizeof(long long)); }

21:18 <apache2> and check?

21:47 <hystryfe> hmm that's weird they are both 8