avsm changed the topic of #mirage to: mirage 2 released! party on!
mcclurmc has quit [Ping timeout: 260 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 252 seconds]
apache2 has joined #mirage
apache2_ has quit [Read error: Connection reset by peer]
brson has quit [Quit: leaving]
mcclurmc has joined #mirage
seangrov` has quit [Ping timeout: 276 seconds]
mcclurmc has quit [Ping timeout: 276 seconds]
seangrove has joined #mirage
raindev has joined #mirage
seangrove has quit [Ping timeout: 246 seconds]
apache2_ has joined #mirage
apache2 has quit [Ping timeout: 252 seconds]
jermar has quit [Ping timeout: 248 seconds]
kthelgason1 has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 260 seconds]
raindev has quit [Ping timeout: 248 seconds]
abeaumont has joined #mirage
kthelgason1 has quit [Ping timeout: 248 seconds]
kthelgason1 has joined #mirage
seangrove has joined #mirage
seangrove has quit [Ping timeout: 248 seconds]
mort___ has joined #mirage
kthelgason1 has quit [Ping timeout: 276 seconds]
jermar has joined #mirage
maker has quit [Quit: = ""]
maker has joined #mirage
kthelgason1 has joined #mirage
lars_kurth has joined #mirage
lars_kurth_alt has joined #mirage
lars_kurth_alt has quit [Remote host closed the connection]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 248 seconds]
jermar has quit [Ping timeout: 252 seconds]
jermar has joined #mirage
kthelgason1 has quit [Ping timeout: 248 seconds]
kthelgason1 has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
kthelgason1 has quit [Ping timeout: 246 seconds]
kthelgason1 has joined #mirage
mcclurmc has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
seangrove has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
kthelgason1 has quit [Ping timeout: 276 seconds]
<
maker>
uhm, opam fails to compile minios-xen if my `cc` is pointing to clang instead of gcc
<
hannes>
seems to have some gcc internals hardcoded in into... could you open a bug?
contrapumpkin has joined #mirage
copumpkin has quit [Ping timeout: 260 seconds]
<
maker>
yes, sure - let me find the bugtracker…
<
maker>
no mention in readme
<
hannes>
(and the non-mention of minios should be another bug, in the mirage and/or mirage-www repository)
<
maker>
on talex5/minios there's not issues page
<
maker>
on mirage/mini-os it's goint to be the first issue \o/
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
vpm has quit [Quit: co'o]
vpm has joined #mirage
<
maker>
mm weird. It whould be supereasy to fix, like just adding <stdint.h> to the file defining it
<
maker>
(by "defining it" I mean defining that UINT__FAST32_T thing)
<
hannes>
I'd argue that including gcc specific header files is really bad in the long run (and will lead to spurious errors)...
<
hannes>
mini-os is supposed to be built without standard includes.. (and the original, non-mirage-patched one, does actually compile fine with clang)
IbnFirnas has joined #mirage
<
maker>
I still need to find the specific header
<
maker>
(but I'm in the middle of a conference
IbnFirnas has left #mirage [#mirage]
jermar has quit [Ping timeout: 248 seconds]
brson has joined #mirage
sspi has quit [Ping timeout: 264 seconds]
sspi_ has joined #mirage
sspi_ is now known as sspi
seangrov` has joined #mirage
seangrove has quit [Ping timeout: 250 seconds]
tomboy65 has quit [Ping timeout: 268 seconds]
copumpkin has joined #mirage
contrapumpkin has quit [Ping timeout: 250 seconds]
tomboy65 has joined #mirage
copumpkin has quit [*.net *.split]
vpm has quit [*.net *.split]
abeaumont has quit [*.net *.split]
bsb-the-grey has quit [*.net *.split]
tomboy65 has quit [*.net *.split]
seangrov` has quit [*.net *.split]
brson has quit [*.net *.split]
lars_kurth has quit [*.net *.split]
maker has quit [*.net *.split]
bnwr has quit [*.net *.split]
sigjuice has quit [*.net *.split]
ahf has quit [*.net *.split]
reynir has quit [*.net *.split]
dobson has quit [*.net *.split]
rektide has quit [*.net *.split]
hannes has quit [*.net *.split]
poka has quit [*.net *.split]
DrWhax has quit [*.net *.split]
Bluerise has quit [*.net *.split]
tg has quit [*.net *.split]
smondet has quit [*.net *.split]
__rlp has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
Drup has quit [*.net *.split]
tizoc has quit [*.net *.split]
vbmithr has quit [*.net *.split]
geal has quit [*.net *.split]
_longines has quit [*.net *.split]
haesbaert has quit [*.net *.split]
ansiwen has quit [*.net *.split]
jerith has quit [*.net *.split]
fds has quit [*.net *.split]
apache2_ has quit [*.net *.split]
tekacs has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
pyvpx has quit [*.net *.split]
oskarth has quit [*.net *.split]
mato has quit [*.net *.split]
dezzy has quit [*.net *.split]
luzie has quit [*.net *.split]
demonimin has quit [*.net *.split]
Kensan has quit [*.net *.split]
cebka has quit [*.net *.split]
justincormack_ has quit [*.net *.split]
seako has quit [*.net *.split]
sspi has quit [*.net *.split]
dograt has quit [*.net *.split]
caw has quit [*.net *.split]
abeaumont has joined #mirage
pyvpx has joined #mirage
__rlp has joined #mirage
kthelgason1 has joined #mirage
kthelgason1 has quit [Quit: WeeChat 1.4]
jermar has joined #mirage
seangrove has joined #mirage
lobo has joined #mirage
algoriddle has joined #mirage
lobo has quit [Quit: zleep]
jermar has quit [Ping timeout: 276 seconds]