<apache2>
this seems to suggest that the long long >= 64 bit is a C99 addition (potentially where long long was added?), but the long >= 32 bits and int >= 16 bits seems to be C89
<apache2>
on linux and freebsd you have I32LP64, if that's the case for openbsd too then I don't see why this code needs that ifdef
<apache2>
(I (and the code) assuming we're talking x86_64/amd64)
<apache2>
so C spec-wise they can all be 64bits, but int is allowed to be smaller than long, which in turn is allowed to be smaller than long long -- whether that's the case is up to the compiler target
<apache2>
in any case I think the way forward is for someone to install openbsd and take this for a spin and see where it breaks, if we are to continue to claim openbsd compatibility :)
<apache2>
and my feeling is that we'll have to modify the templating for config.h to respect the stdint.h
<apache2>
I looked up openbsd x86_64, they have long as 64-bit (as you said, and as reported by hystryfe), so that's not the problem here.
<apache2>
(the conflicting type definition is, not sure why the special case is needed, but it looks like the CC doesn't equate the two types despite them being physically equivalent)
<apache2>
so it's likely a partial work-around around that
pie_ has quit [Ping timeout: 268 seconds]
hystryfe has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
retropikzel has joined #mirage
pie_ has joined #mirage
<mort___>
hannes: (or anyone really) can you recall which the cstruct release was that had the major api changes in? (around memory ownership etc) i have this vague recollection there was one, but can't immediately spot which in the changelog...
<hannes>
mort___: cstruct 5.0.0 contained a new cstruct_cap module with ownership.
<hannes>
afaict this is not (yet!?) used by anyone...
<mort___>
i thought there was something prior to that (perhaps by several months) - a number of the function apis changed (extra parameters and so forht)
<mort___>
perhaps i'm misremembering
<mort___>
(we're trying to get the databox ocaml components updated to not be pinned to old releases (libraries and compilers) any more, one of which handles the networking)
retropikzel has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
aedc has joined #mirage
Haudegen has joined #mirage
aedc has quit [Ping timeout: 276 seconds]
daviddcc has quit [Ping timeout: 276 seconds]
aedc has joined #mirage
aedca has joined #mirage
aedca has quit [Remote host closed the connection]
aedca has joined #mirage
jnavila has joined #mirage
daviddcc has joined #mirage
aedca has quit [Read error: Connection reset by peer]
aedca has joined #mirage
aedc has quit [Read error: Connection reset by peer]
aedca has quit [Read error: Connection reset by peer]
daviddcc has quit [Read error: Connection reset by peer]
aedca has joined #mirage
daviddcc has joined #mirage
daviddcc has quit [Remote host closed the connection]
aedc has joined #mirage
daviddcc has joined #mirage
aedca has quit [Ping timeout: 252 seconds]
daviddcc has quit [Ping timeout: 276 seconds]
aedc has quit [Ping timeout: 276 seconds]
hystryfe has joined #mirage
jnavila has quit [Quit: Konversation terminated!]
hystryfe has quit [Remote host closed the connection]
hystryfe has joined #mirage
<hystryfe>
very interesting discussion :) I did get ocaml-freestanding to build and install by changing to solo5-bindings-hvt/crt/stdint.h: typedef long int64t; typdef unsigned long uint64_t; / and then commenting out the openbsd ifdef in config.in/m.x86_64.h.
<hystryfe>
However... mirage-solo5 looks like it has the same problem. while probably not the correct solution, I just want it to work to see what I can do with it.
<hystryfe>
(same problem -> i'll attempt the same solution)
<hystryfe>
or... not same error, and I will have to do it the correct way. I'm just fiddling around because another issue I'm having is setting up a share to get logs to my host. Don't even think of samba, and nfs has got a case of the RPCs. Will continue in a bit. Work called. Keep pinging out. Thanks all.