ChanServ changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: July 6th) - next call June 27th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.1 is released - happy hacking!
pagurus` has joined #mirage
pagurus has quit [Ping timeout: 240 seconds]
andreas23 has joined #mirage
andreas23 has quit [Quit: Leaving.]
Haudegen has joined #mirage
argent_smith has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
mort___ has joined #mirage
Haudegen has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 245 seconds]
<dinosaure> it's possible to have and link with pthread in mirage ?
<dinosaure> and have <stdint.h> available?
<mato> dinosaure: pthread, definitely not. stdint, why do you need that?
<dinosaure> to have uint32_t definition
<dinosaure> for example
<mato> dinosaure: for C code?
<dinosaure> yah
<dinosaure> then, I can define by myself this kind of type
<mato> um, can't you just include it in the .c where you define your C stub?
<mato> (which is what e.g. mirage-solo5 does)
<dinosaure> hmmhmm, I think, I'm in a build-system nightmare. currently jbuilder wants to use stdint from stdlibc
<mato> ah, I have no idea how C stubs work with jbuilder
<mato> if you want to see how it's done with topkg/ocamlbuild, see mirage-solo5
<dinosaure> ok, I think the best is to define my uint32_t :)
<dinosaure> and delete <stdint.h>
<dinosaure> then, I will remove pthread too
<dinosaure> thx
<hannes> here's an example of C cross compilation with jbuilder, but it is not very nice https://github.com/inhabitedtype/bigstringaf/pull/13
<mato> dinosaure: defining it yourself will be non-portable, i wouldn't recommend it
<dinosaure> hannes: it's what I want to do to checkseum
<dinosaure> hmmhmm, I try to look at mirage-solo5 but it seems like a black magic
<dinosaure> I find a way :)
<dinosaure> it seems than I need to put (with -nostdlibc) -std=c99
<dinosaure> so checkseum compile :)
<dinosaure> as hannes did for bigstringaf
Haudegen has quit [Remote host closed the connection]
jnavila has joined #mirage
Haudegen has joined #mirage
jnavila has quit [Ping timeout: 240 seconds]
Haudegen has quit [Read error: Connection reset by peer]
jnavila has joined #mirage
Haudegen has joined #mirage
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
andrewalker has quit [Quit: ZNC 1.6.2 - http://znc.in]
haesbaer1 has joined #mirage
haesbaert has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]