hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Feb 1st) - next call Jan 9th 16:00 GMT https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.1 is released - happy hacking!
Haudegen has quit [Remote host closed the connection]
yomimono has quit [Ping timeout: 268 seconds]
yomimono has joined #mirage
yomimono has quit [Client Quit]
yomimono has joined #mirage
iovec has joined #mirage
Haudegen has joined #mirage
mort___ has joined #mirage
Haudegen has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
Haudegen has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
kugg has joined #mirage
<kugg> I have a build issue with mirage-xen (https://pastebin.com/yQQu3KpY), tell me if you want it to go to ML or github issue instead!
<hannes> kugg: interesting. first of all, this is not the latest release of mirage-xen (3.1.0 is up to date). then, this should likely go to https://github.com/mirage/mirage-platform (please include your C compiler version and maybe the linux distribution you're using) :)
<kugg> will do!
<hannes> ah, ic... you're on opam 1.2.2 -- in which case 3.0.6 may be the most recent mirage-xen. you may want to consider to upgrade to opam2, that's where all the fun happens these days
<kugg> ok,Ihad an opam installer script from last years meetup laying around. Will usenewone andnot file bug then
<hannes> I suspect that the specific C warnings are still in the mirage-xen 3.1.0 release, but it is worth testing first. thanks! https://opam.ocaml.org/ should have upgrade guides... in my experience, easiest is to get an opam2 binary, get rid of the opam1 ~/.opam, and install all needed packages using opam2 via opam install mirage ...
<kugg> thanks!
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
Haudegen has joined #mirage
mort___1 has quit [Quit: Leaving.]
yomimono_ has joined #mirage
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
yomimono_ has quit [Ping timeout: 268 seconds]
yomimono has joined #mirage
Haudegen has quit [Remote host closed the connection]