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]