hannes changed the topic of #mirage to: MirageOS are OCaml unikernels - https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.6.0 is released - happy hacking!
retropikzel has joined #mirage
retropikzel has quit [Remote host closed the connection]
Haudegen has joined #mirage
<haesbaert> hystryfe: it's not weird, every amd64 *nix uses long as 64bits, long needs to be >= int, and long long needs to be >= long
<haesbaert> windows on amd64 uses 32bits for long, which is also valid.
<haesbaert> but on *nix i386, long is 32, long long is 64
free_beard has joined #mirage
aedc has quit [Read error: Connection reset by peer]
aedc has joined #mirage
Haudegen has quit [Quit: Bin weg.]
<apache2> I think long needs to be >= 32 bits, while int needs to be >= 16 bits?
<apache2> anyway hystryfe the problem here seems to be that config.h has typedef ARCH64_INT64_TYPE which is already defined
<apache2> in stdint.h
<apache2> config.h also redefines ARCH_UINT64_TYPE to a different type than m.h, so it would seem that something is broken in ocaml-freestanding
<apache2> so likely the templating for config.h needs to be modified with some ifdefs
<mato> hystryfe: The OpenBSD support in ocaml-freestanding is not very well tested, and OpenBSD has some difference that I forget regarding int vs. pointer sizes as opposed to every other *NIX on amd64
<mato> hystryfe: so it is indeed possible that something broke
<mato> hystryfe: best to report an issue on ocaml-freestanding, along with the actual build errors
Haudegen has joined #mirage
retropikzel has joined #mirage
free_beard has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
aedca has joined #mirage
aedc has quit [Remote host closed the connection]
daviddcc has joined #mirage
daviddcc has quit [Client Quit]
aedca has quit [Ping timeout: 268 seconds]
Haudegen has joined #mirage
jnavila has joined #mirage
jnavila has quit [Ping timeout: 276 seconds]
hystryfe has quit [Remote host closed the connection]
jnavila has joined #mirage
jnavila_ has joined #mirage
pie_ has quit [Quit: pie_]
jnavila has quit [Ping timeout: 246 seconds]
retropikzel has quit [Remote host closed the connection]
jnavila_ has quit [Remote host closed the connection]
aedc has joined #mirage
zkms has quit [Quit: zkms]
hystryfe has joined #mirage
pie_ has joined #mirage
Haudegen has quit [Ping timeout: 265 seconds]