avsm changed the topic of #mirage to: mirage 2 released! party on!
seangrove has quit [Ping timeout: 268 seconds]
seangrove has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
seangrove has quit [Ping timeout: 260 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 248 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 260 seconds]
jermar has joined #mirage
brson has quit [Quit: leaving]
jermar has quit [Ping timeout: 252 seconds]
andreas231 has quit [Quit: Leaving.]
boadie_ has joined #mirage
boadie has quit [Ping timeout: 260 seconds]
fgimenez has joined #mirage
copy` has joined #mirage
jermar has joined #mirage
andreas23 has joined #mirage
fgimenez has quit [Quit: No Ping reply in 180 seconds.]
fgimenez has joined #mirage
<hannes> mato: are the issues mentioned in your mirage-solo5 topkg PR still valid (where to put pkg-config, OS not found, .so [which I don't consider that important])?
mato1 has joined #mirage
fgimenez has quit [Quit: No Ping reply in 180 seconds.]
fgimenez has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
mort___ has joined #mirage
mato1 has quit [Quit: WeeChat 1.6]
mort___ has quit [Client Quit]
copy` has joined #mirage
fgimenez has quit [Ping timeout: 244 seconds]
fgimenez has joined #mirage
<haesbaert> that reminds me, gina can draw pretty well
mort___ has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
<Drup> lobo: non exisiting tags are ignored in ocamlbuild
<Drup> (and ocamlbuild will usually do the right thing for options that don't exist for a given ocaml verison)
<mato> hannes: Yes, I haven't made any progress on those. Any help would be much appreciated!
<haesbaert> any counter points to having 24 targets in travis ?
<haesbaert> I've just realized I wasn't building every possible combination
<hannes> mato: I'll look into it latest this weekend
<hannes> haesbaert: yes... consumes lots of jobs.. ;)
<haesbaert> aren't jobs infinite ?
<hannes> 5 at the same time per organisation
<haesbaert> hmm,
<haesbaert> any way we can seduce travis to change that ?
<hannes> sure, pay them money.
<haesbaert> I was thinking about using my charm
<hannes> haesbaert: what u want to test in the end? isn't 4.03 and 4.04 sufficient?
<haesbaert> and 4.02.3
<hannes> haesbaert: then take a random sampling of the os * compilers :) I'd go for 4-8 jobs
<hannes> u're after all not very OS specific, or are you? (I think there are no system dependencies in charrua)
<haesbaert> true
<haesbaert> just feels better to test it all
<haesbaert> since I commit very very seldom, I'd say that's ok
<hannes> agreed
<haesbaert> out of curiosity I'm trying to find their prices
<hannes> not sure where and who, but someone mentioned 500 EUR a year or sth... but given the fact that some mirageos people are currently working heavily on a CI system themselves, we might just use that soon :)
<haesbaert> funny cause they list "fair use", instead of a maximum of concurrent jobs
<haesbaert> ah cool
<haesbaert> this new CI system is docker related I assume ?
<hannes> (myself has been looking into using bits and pieces to get it up and running on FreeBSD (thomas+thomas are at https://github.com/docker/datakit (and there is a CI subdir))
<haesbaert> hmmm
<hannes> it is related, but I managed to get it running without any docker parts, just the OCaml stuff which schedules builders and reports back
<hannes> plan to use it together with poudriere (FreeBSD ports building)..
<haesbaert> that'd be nice, but that to escape the 5 jobs limitation of travis ?
<hannes> it sidesteps it -- I bought a 10 physical core, 20 virtual server for doing builds + solo5/bhyve deployments
<haesbaert> ah cool
<hannes> and avsm has some monster for doing linux container builds...
<hannes> thus in the midterm I expect that we get rid of travis...
<haesbaert> as long as I can keep the green icon saying "passing" I'm happy
<hannes> you'll likely get more green icons if that's fine with you ;)
<haesbaert> cool :D
<haesbaert> just ot be clear, mirage 3 is supporting 4.02.3 still correct ?
fgimenez has quit [Quit: No Ping reply in 180 seconds.]
<hannes> haesbaert: that's up in the air... unclear
<haesbaert> k
<hannes> since 4.04 is out and seems to work fine, I guess dropping 4.02 is fine as well (supporting two major OCaml releases should be fine)
fgimenez has joined #mirage
<hannes> whereas I wouldn't (yet) forcefully remove all 4.02 compat
<haesbaert> k, I'll just leave it for now then
<mato> hannes: Just rebased and retested ocaml-freestanding#8 (4.04 support) and it all works now (tested thru to static_website_tls). waiting for travis to go green and will merge.
<mato> btw, interesting data point:
<mato> -rwxr-xr-x 1 mato mato 6.3M Nov 11 15:21 mir-www.ukvm
<mato> -rwxr-xr-x 1 mato mato 5.5M Nov 11 14:48 mir-www.ukvm.403
<mato> text data bss dec hexfilename
<mato> 26058501315544 970204018414 3d50eemir-www.ukvm
<mato> 25915461060024 641883715758 38b2aemir-www.ukvm.403
gjaldon has joined #mirage
<hannes> 4.03 is smaller than 4.04?
<hannes> maybe I should revive https://hannes.nqsb.io/Posts/BottomUp to get a grip on where the bytes come from (as a conservative approximation)
mort___ has joined #mirage
gjaldon has quit [Remote host closed the connection]
gjaldon has joined #mirage
andreas23 has quit [Quit: Leaving.]
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
jermar has quit [Ping timeout: 265 seconds]
noddy has joined #mirage
fgimenez has quit [Quit: No Ping reply in 180 seconds.]
fgimenez has joined #mirage
fgimenez has quit [Remote host closed the connection]
aggelos_ has quit [Ping timeout: 268 seconds]
mort___ has joined #mirage
aggelos_ has joined #mirage
mort___1 has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
gjaldon has quit []
mort___ has joined #mirage
mort___ has quit [Client Quit]
yomimono has joined #mirage
jermar has joined #mirage
brson has joined #mirage
rgrinberg has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master d62257f Mindy Preston: Merge pull request #664 from yomimono/test-4.04...
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vXo6U
<miragebot> mirage/master ecfc574 Mindy Preston: Add a smattering of 4.04 build tests.
brson has quit [Ping timeout: 244 seconds]
brson has joined #mirage
mort___ has joined #mirage
jermar has quit [Ping timeout: 260 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
<lobo> Drup: thx. that's good to know
yomimono has quit [Ping timeout: 260 seconds]
mort___ has quit [Quit: Leaving.]