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]