avsm changed the topic of #mirage to: mirage 2 released! party on!
nathan7 has quit [Ping timeout: 240 seconds]
nathan7_ has joined #mirage
nathan7_ is now known as nathan7
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 260 seconds]
fgimenez has joined #mirage
AltGr has joined #mirage
insitu has joined #mirage
fgimenez has quit []
fgimenez has joined #mirage
andreas23 has joined #mirage
mort___ has joined #mirage
fgimenez has quit [Ping timeout: 245 seconds]
insitu_ has joined #mirage
insitu has quit [Ping timeout: 248 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
betheynyx has joined #mirage
insitu has joined #mirage
insitu_ has quit [Ping timeout: 256 seconds]
copy` has joined #mirage
fgimenez has quit [Ping timeout: 258 seconds]
fgimenez has joined #mirage
mort___ has quit [Quit: Leaving.]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fgimenez has quit [Ping timeout: 265 seconds]
fgimenez has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
agarwal1975 has quit [Quit: agarwal1975]
mort___ has joined #mirage
insitu has joined #mirage
agarwal1975 has joined #mirage
rgrinberg has joined #mirage
yomimono has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master cc6394d Mindy Preston: Merge pull request #741 from avsm/doc...
<miragebot> mirage/master 13888ab Anil Madhavapeddy: doc: swap the ocamldoc/odoc default so that odoc is default...
miragebot has left #mirage [#mirage]
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://github.com/mirage/mirage/compare/c83e45546844...cc6394d5f066
<mato> What's the current state of the behaviour of "mirage describe"? ISTR we decided that "--eval" should be the default if the project is configured.
<mato> However, either it's not and/or --eval is broken. If I try it with latest master I don't see the actual (configured) values, just the defaults.
<mato> yomimono: Any ideas? I forget which was the PR that this was last touched in.
<hannes> mato: not sure, according to amir (https://github.com/mirage/mirage/issues/732) --version is also broken
<hannes> the PR touching eval vs no-eval was https://github.com/mirage/functoria/pull/87
<mato> hm
<mato> *With* a config.ml --version doesn't work either, just prints %%VERSION%%. I'll add a comment to the issue.
<hannes> in the end, I had some code somewhere which did a better job on the config and recompilation, but this got lost during rebase etc.
<yomimono> mato: that should be fixed automatically when we do a proper release, but comment is fine; we should check and make sure
<hannes> the %%VERSION%% is a disjoint problem (namely the topkg watermarking does not apply for urls starting with git in repos, only for git pins and for releases)
<mato> ok, comment added anyway
<mato> Shall I raise a separate issue about the describe behaviour?
<hannes> thx!
<hannes> I guess that would be good
<mato> Ok, will do that then
<yomimono> belated yes
<yomimono> which requests comment from hannesm, me, and samoht, but none of us have commented
<hannes> (it should be a stopper for 3.0 final, but I guess not an issue for beta releases; though I'll try to rework my functoria config patches)
<mato> ha :)
<mato> ok, so I already made one, good :)
<mato> perhaps add it to the relevan "for 3.0" list
<hannes> since I never used describe, I'd rather be happy to hear what the behaviour should be
<mato> well, I think we discussed that on the list
<mato> I'll add a link to the thread to the issue
<hannes> ah, right.
<mato> AFAICT the conclusion was that in the presence of a config.ml it should eval the parameters, ie. reflect the configured values
<Drup> mato: I remember implementing that. It doesn't work ?
<hannes> Drup: mirage describe does not take the mirage configure configured parameters into account
<Drup> huum, that's wrong, I remember painfully adding that.
<Drup> hannes: are you going to take a look or should I ?
<hannes> Drup: pls do if you have time. I'll be in transit again soon
<Drup> ok
<mato> Drup: doesnt seem to
<mato> Drup: adding a comment and Cc to you on the issue
<hannes> Drup: I have plans/unfinished patches to shuffle a bit of functoria_app around -- main target is: don't have arguments to build, don't compile config.ml during build (but instead reuse the config.cmxs)
rgrinberg has quit [Remote host closed the connection]
<mato> Hmm.
<mato> mirage configure --help used to work, did it not?
<hannes> this will (hopefully) unbreak the version without a config.ml etc.
<mato> I just get
<mato> $ mirage configure --help
<mato> Fatal error: exception (Invalid_argument "parse error while parsing command line")
<hannes> mirage help is also broken without a config.ml
<hannes> (likely all my fault, sorry)
<mato> "mirage help" works w/o config.ml, --help (to any subcommand) does not
<mato> in fact, --help does not work *with* a config.ml either
<hannes> mato: not for me. mirage help does _not_ work here without a config.ml
<hannes> mato: mirage help <subcommand> should work, though ;)
<mato> oh, sorry, i meant "mirage help" without running configure
<mato> without a config.ml present at all it does indeed not work
<hannes> I'll try to look into that tomorrow unless someone beats me
miragebot has joined #mirage
<miragebot> mirage/master 16c20a2 Mindy Preston: Merge pull request #740 from hannesm/cosmetics...
miragebot has left #mirage [#mirage]
<miragebot> mirage/master ce7b58f Hannes Mehnert: non-UNIX targets
<miragebot> mirage/master 37b113c Hannes Mehnert: - remove all raise from `method package`...
<miragebot> [mirage] yomimono pushed 3 new commits to master: https://git.io/v1Fma
<hannes> yomimono: since you like green buttons, I guess https://github.com/mirage/ocaml-crunch/pull/30 is a good one (which solves some regression) :)
<yomimono> ugh, indeed
<yomimono> thanks for the test improvements there too
<hannes> well, some unikernel bailed at me when crunch()ing... so I thought I want to prevent regression in the future ;)
<hannes> there's also some PR somewhere in mirage-dev to update the crunch opam accordingly
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<yomimono> congratulations, you have skipped to the front of the notification queue
<hannes> \o/
<yomimono> afk for a bit, putting on spacesuit to make a coffee run in -20C
<hannes> have a safe trip
<mato> -20C, damn that would be nice here (esp if you have snow)
<mato> here it's just -1 and fog :-(
<Drup> yomimono: where are you for it to be -20 ? :O
<yomimono> mato: yes, we've gotten snowstorms for the past 3 weekends, so lots piled up now :D
<mato> yomimono: whee!
<yomimono> mato: yeah! I'm behind on notifications because I spent all weekend playing in the snow :P
<yomimono> my condolences to you; -1 and fog is the worrrrrrrrssssssssst
<Drup> Ah, continental north america, of course
<Drup> yomimono: do the big lake froze ? :D They're a bit too big I would guess
<yomimono> most years they don't, but in 2014 they got to 99% ice cover
<mato> yomimono: I wish we had snow here, Agata (8yro) put "Snow for xmas" on her list for Santa
<Drup> niice
<yomimono> they freeze out from the shore most years though
<mato> yomimono: But it's not looking like it :(
<yomimono> aw :((((
<yomimono> do they sell artificial snow in a can there? I've heard of people grating up ice for a snowball for kids with similar wishes too...
<yomimono> maybe santa can get points for effort
* hannes will enjoy 20+ degress just after new years in morocco...
<yomimono> sounds horrible ;)
* mato will enjoy roughly the same on tenerife, flying on new year's eve
<Drup> I find between -5 and -15 enjoyable
<Drup> lower is a bit too cold
<Drup> higher, and it's too wet
<mato> Agreed.
<Drup> Also, you need a well isolated house, which is far too rare in UK and France
Khady_ has joined #mirage
Khady has quit [Ping timeout: 248 seconds]
<mato> (Not sure what these are called in english)
<yomimono> this is a more specific class of thing than a woodburning fireplace, right? I think I read an article about them in some crunchy-granola publication I get
<yomimono> they sounded warm and heavenly
<mato> Yup. As opposed to a normal woodburner these accumulate much more heat and are generally left to constantly burn.
dinosaure has quit [Ping timeout: 248 seconds]
nathan7 has quit [Ping timeout: 265 seconds]
nathan7 has joined #mirage
andreas23 has quit [Quit: Leaving.]
<reynir> I think I've heard of these. Are they called banya in russian?
mort___ has quit [Ping timeout: 240 seconds]
<mato> reynir: No idea, I lived elsewhere as a child, didn't have Russian at school.
mort___ has joined #mirage
<mato> reynir: But yeah, they probably have the same or similar kind of thing.
insitu has joined #mirage
mort___1 has joined #mirage
<reynir> The place where I was staying the last two weeks had this coal-fired oven http://imgur.com/a/hw2Ll
<reynir> it's about 2 meters tall. Can't sleep on it though
<yomimono> although apparently you can store cardboard boxes on it???
<yomimono> it's clear that this must be venting somewhere else but it still makes me nervous
<reynir> heh
<reynir> I think the vent is about the height of the upper opening
<reynir> but the oven has quite a lot of mass
<reynir> it doesn't get burning hot on the outside
mort___ has quit [Ping timeout: 240 seconds]
<reynir> the warmest place on the outside seemed to be a bit below the upper lid :-)
mort___1 has quit [Client Quit]
mort___ has joined #mirage
dinosaure has joined #mirage
fgimenez has quit [Ping timeout: 245 seconds]
fgimenez has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master 4dcd715 Anil Madhavapeddy: Merge pull request #742 from avsm/doc...
<miragebot> mirage/master 35ceac4 Anil Madhavapeddy: doc: restore mirage-block-ccm to build list
miragebot has left #mirage [#mirage]
<miragebot> mirage/master ace667d Anil Madhavapeddy: doc: temporarily disable mirage-block-ccm qcow-format and vhd-format...
<miragebot> [mirage] avsm pushed 3 new commits to master: https://github.com/mirage/mirage/compare/16c20a29749c...4dcd7155cbd2
fgimenez has quit []
abeaumont has quit [Remote host closed the connection]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<mort___> trying to track down an opam install oddity — not picking up consistent package dependency versions between local OSX install and travis. anyone available who's OPAM-fu is strong? ('cos mine ain't)
<mort___> @Drup: this relates to the problems I was having getting Travis to pick up the latest Tyxml...
<Drup> link to the various files ?
<mort___> will create some gists. summary is: travis build of mirage-decks fails because OPAM prefers to install tyxml.3.2.1 rather than tyxml.4.0.1. works just fine on my local install in a fresh 4.03 aliased switch.
brson has joined #mirage
<Drup> and the travis file ?
<mort___> diffing the packages selected for install indicates that, for some reason i can't fathom, travis wants to install tyxml.3.2.1 and oasis.0.4.8 while my local install wants to install oasis.0.4.7 and tyxml.4.0.1
<Drup> and the opam file ? :D
<mort___> which opam file?
<Drup> ah, it's a unikernel
<mort___> yes, opam being invoked by mirage configure
<Drup> if you need tyxml>=4.0.0, why not add the constraint ?
<Drup> Tyxml module is "recent"
<mort___> ok— how do i express constraints in config.ml package lists? (i presume i can just demand "tyxml.4.0.1" to get a specific version?)
<Drup> hum, hannes ? :D
<mort___> (and still curious as to wtf opam is doing differently between the two cases)
<Drup> mort___: in the absence of constraint, picking an old version is a perfectly valid solution
<Drup> (and opam will do just that if it doesn't have access to a good solver)
<mort___> that maybe true for a theoretician, but picking any but the most recent permitted package is … surprising … to us mere mortals :p
<mort___> external sovler in both cases
<mort___> # os linux
<mort___> # self-upgrade no
<mort___> # opam-version 1.2.2
<mort___> # OPAM config report
<mort___> $ opam config report
<Drup> What i mean is that, if you need a specific version, you should add constraints
<mort___> # external-solver aspcud $in $out $criteria
<mort___> # criteria -removed,-notuptodate,-changed
<mort___> # jobs 4
<mort___> # repositories 0 (http), 1 (version-controlled)
<mort___> # pinned 0
<mort___> # current-switch 4.03.0
<mort___> # last-update 2016-12-14 19:13
<Drup> (there was talks about picking the lowest version in CI on purpose to force version to add constraints, not sure if it was actually done, it was mostly a joke :p)
<Drup> force people*
<mort___> aha. aha. ahahaha.
<Drup> (Note that adding constraints is better handled by mirage 3)
<mort___> fwiw using the string "tyxml>=4.0.0" in the packages list appears to be doing the right thing :)
<mort___> (maybe)
<mort___> ok, have pushed that to travis. let's see what it says now. thanks!
mort___ has quit [Quit: Leaving.]
AltGr has quit [Ping timeout: 240 seconds]
AltGr has joined #mirage
AltGr has quit [Ping timeout: 246 seconds]
AltGr has joined #mirage
AltGr has quit [Ping timeout: 245 seconds]
demonimin has quit [Ping timeout: 248 seconds]
demonimin has joined #mirage
demonimin has joined #mirage
demonimin has quit [Changing host]
smondet has joined #mirage
andreas23 has joined #mirage
mort___ has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
andreas23 has quit [Quit: Leaving.]
andreas231 has joined #mirage
andreas231 has quit [Client Quit]
andreas23 has joined #mirage
andreas23 has quit [Quit: Leaving.]
abeaumont has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]