avsm changed the topic of #mirage to: mirage 2 released! party on!
noddy2OOO has joined #mirage
mort___ has left #mirage [#mirage]
noddy2OOO has quit [Ping timeout: 265 seconds]
twopoint718 has joined #mirage
sknebel has quit [Quit: No Ping reply in 180 seconds.]
sknebel has joined #mirage
sknebel has quit [Quit: No Ping reply in 180 seconds.]
sknebel has joined #mirage
noddy2OOO has joined #mirage
sknebel has quit [Client Quit]
sknebel has joined #mirage
sknebel has quit [Quit: No Ping reply in 180 seconds.]
sknebel has joined #mirage
twopoint718 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
copy` has quit [Quit: Connection closed for inactivity]
brson has quit [Quit: leaving]
noddy2OOO has quit [Ping timeout: 244 seconds]
poka has quit [Remote host closed the connection]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
tet has joined #mirage
andreas23 has joined #mirage
tet is now known as poka
mort___ has joined #mirage
mort___ has quit [Client Quit]
AltGr has joined #mirage
mort___ has joined #mirage
fgimenez has quit [Ping timeout: 260 seconds]
fgimenez has joined #mirage
jermar has joined #mirage
fgimenez has quit [Ping timeout: 256 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
ijc has quit [Quit: ZNC - http://znc.sourceforge.net]
noddy2OOO has joined #mirage
mort___ has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
fgimenez has quit [Ping timeout: 256 seconds]
fgimenez has joined #mirage
mort___ has joined #mirage
<mato> hannes: so, i should merge solo5#123 and mirage#692?
<hannes> si
<mato> hannes: the latter has travis broken on it which seems wrong
<mato> since it doesn't touch anything apart from the makefile generation...
<hannes> travis in mirage is still broken (at least it was days ago). I've no time to fix...
<mato> ok
<hannes> last time i looked e.g. the mirage-flow failed testing..
miragebot has joined #mirage
<miragebot> mirage/master e0aba4d Hannes Mehnert: Do not use LD from pkg-config, but just the system one...
<miragebot> [mirage] mato pushed 2 new commits to master: https://git.io/vXppj
<miragebot> mirage/master 91f7ac6 Martin Lucina: Merge pull request #692 from hannesm/no-ld...
miragebot has left #mirage [#mirage]
<hannes> thanks!
agarwal1975 has joined #mirage
<mato> what's the set of pins I need to try out #691?
<hannes> opam pin add -n mirage https://github.com/hannesm/mirage.git#no-opam
<hannes> opam pin add -n functoria https://github.com/hannesm/functoria.git#no-opam
<hannes> i also just force-pushed the mirage PR, now it excludes the ld stuff (since that's in master :)
<hannes> (just started a mirage-dev travis job for no-opam branches at https://travis-ci.org/hannesm/mirage-dev/builds/177977643)
copy` has joined #mirage
<mato> ok, will get to it, debugging some ukvm -fPIC issues that came up while looking at the ld change
<hannes> :)
<hannes> mato: cd console && make depend && make
<hannes> ukvm-configure $(PKG_CONFIG_PATH=/home/travis/.opam/4.03.0/share/pkgconfig:/home/travis/.opam/4.03.0/lib/pkgconfig pkg-config --variable=libdir solo5-kernel-ukvm)/src/ukvm
<hannes> Makefile:46: Makefile.ukvm: No such file or directory
<hannes> make[1]: Entering directory `/home/travis/build/hannesm/mirage-dev/mirage-skeleton/console'
<hannes> /bin/sh: 1: ukvm-configure: not found
<hannes> how does Makefile.ukvm appear into existance?
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master af4acc6 Anil Madhavapeddy: docs: add lru-cache and notty
<miragebot> mirage/master dfbf9c7 Anil Madhavapeddy: Merge pull request #701 from avsm/pqwy-libs...
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vXhUG
<hannes> uh, oh... likely it assumes that solo5-kernel-ukvm is present at configure time...
<mato> yeah
<hannes> I'm a bit surprised, but this is the only thing which didn't work... xen and virtio and unix are happy with mirage-skeleton :)
<hannes> what does Makefile.ukvm look like? is there a specific target we need to call, or what does the `include Makefile.ukvm` do as effect?
<mato> it's complicated
<hannes> :(
<mato> but essentially you want to add ukvm-bin to the existing build target and ukvm-clean to the existing clean target
<mato> this is what is happening now
<mato> the reason it's run at configure time is that ukvm-configure *generates* Makefile.ukvm based on the modules passed to it
<mato> so, if you don't pass 'net' a 'net' module is not compiled into the hypervisor
<mato> etc
<hannes> ok. can we depend in `build` (of Makefile) on Makefile.ukvm, and execute $(MAKE) -f Makefile.ukvm <dothestuff> instead?
<hannes> (and pass over the UKVM_MODULES)
<mato> i guess so, sorry, too many things at once :(
<hannes> oh no worries. sorry to bother you.
<mato> though technically ukvm-bin is the thing that needs to be built
<mato> so that should be what build depends on
<mato> but if calling out to Makefile.ukvm accomplishes the same thing then fine
<hannes> ok. well, I never saw a Makefile.ukvm that's why I struggle what to do here exactly..
<mato> it's probably easiest to understand if you look at the result on some Linux box...
<mato> what are you trying to achieve?
<hannes> but I'll try to find some machine where I can see it
<hannes> to have `make depend` independent of the existance of Makefile.ukvm. which atm is not the case due to the global `include Makefile.ukvm`
<mato> ok, have build depend on ukvm-bin (as it does now), ukvm-bin depend on Makefile.ukvm and do the make -f Makefile.ukvm $@
<mato> or something like that
<mato> and the Makefile.ukvm rule should do the ukvm-configure, i.e. produce a Makefile.ukvm
<hannes> mato: thanks! installing solo5-kernel-ukvm now and hope to find a solution before I need to head to the airport
<mato> you really need to try this on a Linux box to see if it works, with the many levels of generation it'll be hard to do otherwise
<hannes> thx!
<mato> np
seliopou has quit [Ping timeout: 256 seconds]
seliopou has joined #mirage
fgimenez has quit [Ping timeout: 258 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
<hannes> compiles now
andreas23 has quit [Quit: Leaving.]
<mato> hannes: yeah, that should do it
mort___ has quit [Quit: Leaving.]
fgimenez has quit []
kpraveen has joined #mirage
jermar has quit [Ping timeout: 246 seconds]
mort___ has joined #mirage
<rixed> Does anyone already experienced a non-reproductibe failure in test-double of mirage-xen-minios.0.8.0?
twopoint718 has joined #mirage
twopoint718 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
rgrinberg has joined #mirage
mort___ has quit [Quit: Leaving.]
rgrinberg has quit [Remote host closed the connection]
jermar has joined #mirage
kpraveen has quit [Ping timeout: 259 seconds]
brson has joined #mirage
jermar has quit [Read error: Connection reset by peer]
jermar has joined #mirage
jermar has quit [Ping timeout: 244 seconds]
mort___ has joined #mirage
jermar has joined #mirage
AltGr has left #mirage [#mirage]
mort___ has quit [Quit: Leaving.]
jermar has quit [Quit: Leaving]
dezzy_ has joined #mirage
dezzy has quit [Ping timeout: 245 seconds]
dezzy_ has quit [Ping timeout: 268 seconds]
dezzy has joined #mirage
mort___ has joined #mirage
dezzy_ has joined #mirage
dezzy has quit [Ping timeout: 244 seconds]
dezzy has joined #mirage
dezzy_ has quit [Ping timeout: 248 seconds]
mort___ has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]