hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: May 4th) - next call May 2nd 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3 is released - happy hacking!
ehirdoy has joined #mirage
<ehirdoy> Hello, I built "noop.ukvm" in mirage-skelton/tutorial, and it's ~3MB. Is this correct size? Anyway to make it smaller?
jnavila has quit [Ping timeout: 240 seconds]
andreas23 has quit [Ping timeout: 265 seconds]
<derpeter2> ehirdoy: did you already run strip on it?
andreas23 has joined #mirage
argent_smith has joined #mirage
Haudegen has joined #mirage
<kit_ty_kate> ehirdoy: If I remember correctly one of the dependencies pulls compiler-libs when it definitely shouldn't. I'm not sure it has been fixed upstream or packaged already
mort___ has joined #mirage
<kit_ty_kate> ehirdoy: do you have any dependency on mirage-profile by any chance ?
ansiwen[q] has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
mort___ has left #mirage [#mirage]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
ehirdoy has quit [Ping timeout: 264 seconds]
ehirdoy has joined #mirage
ehirdoy has quit [Client Quit]
mort___ has joined #mirage
ehirdoy has joined #mirage
mort___ has left #mirage [#mirage]
<ehirdoy> kit_ty_kate: no idea about mirage-profile, but according to http://anil.recoil.org/papers/2013-asplos-mirage.pdf Table 2, it should be ~0.5MB?
mort___ has joined #mirage
<kit_ty_kate> mmh I just looked at it and yeah that's not the same thing (I think the person who got that bug had an old version or something)
<kit_ty_kate> but wow I mean I don't understand why noop would have so much dependencies
<kit_ty_kate> there is definitely something wrong there :/
<kit_ty_kate> ok got it
<kit_ty_kate> mirage-types has a LOT of dependencies
<kit_ty_kate> I have no idea why. Anybody ?
<kit_ty_kate> (dependencies on things like mirage-net(-lwt) or stuff like that…)
<kit_ty_kate> mmh seems like there are not the one taking all this space
<kit_ty_kate> the big ones are cmdliner, lwt.unix and sexplib (> 500K each) and the stdlib (~2M)
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
andreas23 has quit [Quit: Leaving.]
mort___1 has left #mirage [#mirage]
Haudegen has quit [Read error: Connection reset by peer]
Guest66217 has joined #mirage
jnavila has joined #mirage
andreas23 has joined #mirage
Guest66217 is now known as Haudegen
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
jnavila has quit [Ping timeout: 256 seconds]
pagurus has joined #mirage
jnavila has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #mirage
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]