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!
Haudegen has quit [Remote host closed the connection]
dtornabene has joined #mirage
pagurus has quit [Ping timeout: 240 seconds]
pagurus has joined #mirage
trn has quit [Read error: Connection reset by peer]
jnavila has joined #mirage
trn has joined #mirage
jnavila has quit [Ping timeout: 240 seconds]
mort___ has joined #mirage
dtornabene has quit [Remote host closed the connection]
argent_smith has joined #mirage
<hannes> ehirdoy: the 3MB is the current size, yes. there's an OCaml compiler PR (https://github.com/ocaml/ocaml/pull/608/) to remove dead code, but this is not active atm
<hannes> s/not active/not merged into master of OCaml/
<hannes> this means, even a hello world MirageOS unikernel has quite some data attached to it... kit_ty_kate I don't think we link compiler-libs atm (maybe with the most recent sexplib v0.11)
Haudegen has joined #mirage
demonimin has quit [Ping timeout: 256 seconds]
demonimin has joined #mirage
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 256 seconds]
argent_smith has joined #mirage
argent_smith1 has quit [Ping timeout: 255 seconds]
<kit_ty_kate> hannes: no it was a problem with a specific custom option of jbuilder which has a bug I think. The guy that had that bug thought it came from mirage-profile but it's really not
<hannes> kit_ty_kate: :(
<kit_ty_kate> it's ok that option is almost never used in practice
<kit_ty_kate> I'll ask mark about LTO next time I see him
<kit_ty_kate> (the option is -x, used for cross-compilation)
<kit_ty_kate> (but it might be something else specific to his setup)
<hannes> LTO: needs some more understanding afaiu (I wanted to experiment and post results in the ticket)
<hannes> compiler-libs getting linked: maybe some check in the mirage utility for avoiding this would be a good idea (I still don't understand the whole ppx-sexplib now having some runtime dependency, see https://github.com/mirleft/ocaml-nocrypto/issues/143 https://github.com/ocaml/opam-repository/issues/11852 -- will this make the compiler-libs a runtime dependency?)
<kit_ty_kate> but mark is currently rewriting flambda so this specific implementation of LTO might be outdated
<kit_ty_kate> otherwise just depending on sexplib doesn't make compiler-libs a runtime dep
<kit_ty_kate> luckily :)
<hannes> (just commented on the opam-repo issue about sexplib)
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
Haudegen has quit [Ping timeout: 260 seconds]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
jnavila has joined #mirage
jnavila has quit [Ping timeout: 256 seconds]
Haudegen has joined #mirage
mort___ has joined #mirage
Haudegen has quit [Ping timeout: 256 seconds]
argent_smith has quit [Quit: Leaving.]
Haudegen has joined #mirage
Haudegen has quit [Ping timeout: 256 seconds]
mort___ has quit [Quit: Leaving.]
Haudegen has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
argent_smith has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
jnavila has joined #mirage
TheRuralJuror has joined #mirage
Haudegen has quit [Ping timeout: 256 seconds]
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]