avsm changed the topic of #mirage to: mirage 2 released! party on!
kdef has quit [Quit: Leaving]
tinhead has quit [Remote host closed the connection]
tinhead has joined #mirage
tinhead has quit [Remote host closed the connection]
tg has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
noddy has joined #mirage
sigjuice has quit [K-Lined]
sigjuice has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc_ has joined #mirage
mcclurmc has quit [Read error: Connection reset by peer]
MrScout has quit [Ping timeout: 256 seconds]
nullcat has joined #mirage
rgrinberg has quit [Ping timeout: 264 seconds]
mcclurmc_ has quit [Remote host closed the connection]
rgrinberg has joined #mirage
tinhead has joined #mirage
tinhead has quit [Remote host closed the connection]
tinhead has joined #mirage
tinhead has quit [Remote host closed the connection]
tinhead has joined #mirage
tinhead has quit [Remote host closed the connection]
tinhead has joined #mirage
tinhead has quit [Ping timeout: 240 seconds]
tinhead has joined #mirage
tinhead has quit []
tinhead has joined #mirage
tinhead has joined #mirage
rgrinberg has quit [Ping timeout: 256 seconds]
Drup has quit [Ping timeout: 252 seconds]
Drup has joined #mirage
tinhead has quit [Remote host closed the connection]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 245 seconds]
m__ has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 256 seconds]
m__ has quit [Ping timeout: 246 seconds]
dsheets has joined #mirage
rgrinberg has joined #mirage
cml has joined #mirage
rgrinberg has quit [Ping timeout: 258 seconds]
thomasga has joined #mirage
dobson has quit [Ping timeout: 246 seconds]
dobson has joined #mirage
rgrinberg has joined #mirage
thomasga has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 272 seconds]
dobson has quit [Ping timeout: 248 seconds]
dobson has joined #mirage
larhat has joined #mirage
larhat has quit [Client Quit]
dobson has quit [Ping timeout: 245 seconds]
dobson has joined #mirage
<vbmithr_> Hi
<vbmithr_> I need some info about padding in C/C++ compilers (sorry, a bit offtopic)
<vbmithr_> Basically, assuming a 64 bit compiler
<vbmithr_> with a #pragma pack(8) or equivalent
<vbmithr_> What happens when an array of chars starts on a non-aligned offset ?
<vbmithr_> is padding applied before the array, or after (assuming the size of the array does not end of a new boundary)
<vbmithr_> I could test it, :)
<vbmithr_> huhu gcc now outputs things in color
<vbmithr_> first time I see this
<vbmithr_> the answer is: it aligns arrays of char on a 1 byte boundary
<vbmithr_> struct test { uint16_t f1; char f2[7];
<vbmithr_> };
jgjl has joined #mirage
thomasga has joined #mirage
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 272 seconds]
mort___ has joined #mirage
<cml> I get the following error while building a mirage app for unix (xen version builds well)
<cml> Error: Files unikernel.cmx and /home/.opam/system/lib/mirage-xen/OS.cmxa make inconsistent assumptions over interface OS
thomasga has quit [Quit: Leaving.]
kdef has joined #mirage
mcclurmc has joined #mirage
rgrinberg has joined #mirage
<vbmithr_> make clean
<vbmithr_> ?
<cml> no, didn't work
thomasga has joined #mirage
<vbmithr_> :(
rgrinberg has quit [Ping timeout: 240 seconds]
<thomasga> cml: make clean & make
rgrinberg has joined #mirage
cml has quit [Ping timeout: 246 seconds]
brson has joined #mirage
MrScout has joined #mirage
mort___ has quit [Ping timeout: 256 seconds]
jonludlam has quit [Ping timeout: 272 seconds]
tinhead has joined #mirage
nullcat_ has joined #mirage
tinhead has quit [Remote host closed the connection]
brson has quit [Remote host closed the connection]
m___ has joined #mirage
<m___> hi guys, I have a mirage application that I receive the error "ld: cannot find -lgmp-xen" when building. any idea?
tinhead has joined #mirage
tinhead has joined #mirage
<reynir> &&*
dsheets has quit [Ping timeout: 256 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 246 seconds]
dsheets has joined #mirage
m___ has quit [Ping timeout: 246 seconds]
thomasga has quit [Ping timeout: 258 seconds]
rgrinberg has joined #mirage
jonludlam has joined #mirage
brson has joined #mirage
thomasga has joined #mirage
mort___ has joined #mirage
<mato> hmm
<mato> why does conduit need vchan to build on unix?
kdef has quit [Quit: Leaving]
kdef has joined #mirage
brson has quit [Quit: leaving]
mort___ has quit [Ping timeout: 256 seconds]
<thomasga> mato: this is fixed by https://github.com/mirage/ocaml-conduit/pull/70
<thomasga> with support for mirage 2.5.0 (with tls)
<mato> ah, ok, thanks for the pointer
tinhead has quit [Remote host closed the connection]
<mato> i'll not bother going down the rabbit hole of trying to get the existing released conduit + vchan to run on rumprun for now then
mort___ has joined #mirage
<mato> also, i need to stop and rethink how the cross-builds are done. the current method of having an entirely separate set of package names (-rumprun) is painful and won't be maintainable in the long run
tinhead has joined #mirage
tinhead has quit [Remote host closed the connection]
nullcat_ has joined #mirage
rgrinberg has quit [Quit: WeeChat 1.1.1]
<mort___> is gregory Tsipenyuk in the room? :)
<mort___> getting
<mort___> # Error: Unbound module Nocrypto_entropy_lwt
<mort___> when trying to back off tls and nocrypto...
tinhead has joined #mirage
tinhead has quit [Remote host closed the connection]
andreas1 has joined #mirage
larhat has joined #mirage
tinhead has joined #mirage
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat_ has joined #mirage
mort___ has quit [Quit: Leaving.]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat_ has joined #mirage
thomasga has quit [Quit: Leaving.]
andreas1 has quit [Quit: Leaving.]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thomasga has joined #mirage
tinhead has quit [Remote host closed the connection]
larhat has quit [Quit: Leaving.]
tinhead has joined #mirage
tg has quit [Ping timeout: 255 seconds]
tinhead has quit [Remote host closed the connection]
tinhead has joined #mirage
tinhead has joined #mirage
tg has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tinhead has quit [Remote host closed the connection]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away