#mirage on 2016-03-20 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:08 noddy has quit [Ping timeout: 240 seconds]

00:17 dsheets has joined #mirage

00:22 dsheets has quit [Ping timeout: 252 seconds]

00:42 seangrove has quit [Remote host closed the connection]

00:43 seangrove has joined #mirage

00:51 seangrove has quit [Remote host closed the connection]

00:52 seangrove has joined #mirage

01:07 seangrove has quit [Ping timeout: 276 seconds]

01:21 seangrove has joined #mirage

01:33 noddy has joined #mirage

01:42 seangrove has quit [Ping timeout: 240 seconds]

01:42 seangrove has joined #mirage

01:50 brson has quit [Ping timeout: 244 seconds]

02:07 dsheets has joined #mirage

02:11 dsheets has quit [Ping timeout: 250 seconds]

02:23 seangrove has quit [Ping timeout: 260 seconds]

02:32 seangrove has joined #mirage

03:01 dsheets has joined #mirage

03:05 dsheets has quit [Ping timeout: 250 seconds]

04:16 ansiwen has quit [Quit: No Ping reply in 180 seconds.]

04:17 ansiwen has joined #mirage

04:45 noddy has quit [Quit: "it's a bit backwards around here"]

04:50 dsheets has joined #mirage

04:50 noddy has joined #mirage

04:54 dsheets has quit [Ping timeout: 250 seconds]

05:42 _longines has quit [Remote host closed the connection]

05:43 noddy has quit [Ping timeout: 268 seconds]

06:00 seangrove has quit [Ping timeout: 260 seconds]

06:25 jermar has quit [Remote host closed the connection]

06:39 seangrove has joined #mirage

06:39 dsheets has joined #mirage

06:43 dsheets has quit [Ping timeout: 250 seconds]

06:57 seangrove has quit [Ping timeout: 244 seconds]

07:22 <ansiwen> I think mirage 2.7.1 is broken

07:33 dsheets has joined #mirage

07:38 dsheets has quit [Ping timeout: 250 seconds]

07:54 seangrove has joined #mirage

08:00 seangrove has quit [Ping timeout: 244 seconds]

08:18 dsheets has joined #mirage

08:22 dsheets has quit [Ping timeout: 248 seconds]

09:28 dsheets has joined #mirage

09:29 dsheets has quit [Remote host closed the connection]

09:29 dsheets has joined #mirage

09:56 seangrove has joined #mirage

10:01 seangrove has quit [Ping timeout: 244 seconds]

10:18 <ansiwen> I think mirage 2.7.1 is broken because there is no color terminal output, `mirage configure` creates an empty file '=2.6.0' and activates error-on-warnings

10:21 <ansiwen> the files seems to be created by the "mirage-types>=2.6.0" value in the PKGS variable in the Makefile

10:21 <engil> got the same thing

10:22 <engil> noticed it yesterday but was like « well I guess it's time to fix some warnings » and « where does this file came from ? I am really bad with shells »

10:23 <ansiwen> engil: exactly my thoughts :-)

10:36 djs55 has joined #mirage

11:08 mort___ has joined #mirage

11:12 <hannes> ansiwen/engil: could you please open an issue at https://github.com/mirage/mirage

11:48 <hannes> (https://github.com/mirage/mirage/pull/519 seems to be the issue + fix)

11:57 seangrove has joined #mirage

12:01 seangrove has quit [Ping timeout: 252 seconds]

12:37 djs55 has quit [Quit: Leaving.]

12:42 miragebot has joined #mirage

12:42 <miragebot> [mirage] samoht pushed 5 new commits to master: https://git.io/va1Ow

12:42 <miragebot> mirage/master 95b48dd Thomas Gazagnaire: Remove `>=` constraint in opam package...

12:42 <miragebot> mirage/master 39e5e62 Thomas Gazagnaire: Update CHANGES

12:42 <miragebot> mirage/master a18c6df Thomas Gazagnaire: Bump version

12:42 miragebot has left #mirage [#mirage]

12:42 miragebot has joined #mirage

12:42 <miragebot> [mirage] samoht pushed 1 new commit to master: https://git.io/va1Oo

12:42 <miragebot> mirage/master ed630b5 Thomas Gazagnaire: Update CHANGES

12:42 miragebot has left #mirage [#mirage]

12:43 miragebot has joined #mirage

12:43 <miragebot> [mirage] samoht tagged v2.7.2 at e4a78ed: https://git.io/va1OK

12:43 miragebot has left #mirage [#mirage]

12:44 dsheets has quit [Remote host closed the connection]

12:52 tomboy64 has quit [Ping timeout: 250 seconds]

13:04 tomboy64 has joined #mirage

13:06 mort___ has quit [Quit: Leaving.]

13:41 djs55 has joined #mirage

13:44 dsheets has joined #mirage

13:50 dsheets has quit [Ping timeout: 260 seconds]

13:57 seangrove has joined #mirage

14:02 seangrove has quit [Ping timeout: 252 seconds]

14:03 tomboy64 has quit [Ping timeout: 244 seconds]

14:12 tomboy64 has joined #mirage

14:17 <maker> guys this is amazing: https://it.wikipedia.org/wiki/Pitagora#L.27astensione_dalle_fave

14:24 <ansiwen> hannes: this is just one of the issues

14:25 <hannes> ansiwen: ?? can you upgrade to 2.7.2 and see whether you still run into issues, please?

14:26 <ansiwen> changing the default tags to error-on-warning without an obivous way to change it, is also a show-stopper for CI tasks

14:26 <ansiwen> hannes: oh, this has been released? ok, sure

14:33 <ansiwen> hannes: there is color again, there is no strange =2.6.0 file

14:34 <ansiwen> hannes: but it still uses warn_error(+1..49), which breaks my travis build at the moment

14:35 <hannes> ansiwen: pls report an issue on the mirage/mirage repository on github, thanks! :)

14:35 <ansiwen> I guess I can fix that with a Makefile.user file, though

14:35 <ansiwen> hannes: ok, I will

14:35 <hannes> it is a regression and should at least be documented

14:39 dsheets has joined #mirage

14:55 djs55 has quit [Read error: Connection reset by peer]

14:55 djs551 has joined #mirage

15:17 noddy has joined #mirage

15:29 miragebot has joined #mirage

15:29 <miragebot> [mirage] samoht pushed 2 new commits to master: https://git.io/va1zX

15:29 <miragebot> mirage/master d0cbe2b Sven Anderson: Remove warn_error from default tags...

15:29 <miragebot> mirage/master af85b65 Thomas Gazagnaire: Merge pull request #521 from ansiwen/no_warn_error...

15:29 miragebot has left #mirage [#mirage]

15:56 hannes has quit [Quit: Coyote finally caught me]

15:58 seangrove has joined #mirage

16:03 seangrove has quit [Ping timeout: 252 seconds]

16:08 hannes has joined #mirage

16:23 seangrove has joined #mirage

16:25 mort___ has joined #mirage

16:33 mort___ has quit [Quit: Leaving.]

16:47 copumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

16:48 miragebot has joined #mirage

16:48 <miragebot> [mirage] samoht pushed 6 new commits to master: https://git.io/va1rl

16:48 <miragebot> mirage/master 221de08 Thomas Gazagnaire: Add a `--warn-error` configuration flag....

16:48 <miragebot> mirage/master 9c65c2c Thomas Gazagnaire: Bump version

16:48 <miragebot> mirage/master 61f5928 Thomas Gazagnaire: Update autogen files

16:48 miragebot has left #mirage [#mirage]

16:49 miragebot has joined #mirage

16:49 <miragebot> [mirage] samoht tagged v2.7.3 at 41220e5: https://git.io/va1rg

16:49 miragebot has left #mirage [#mirage]

16:51 _whitelogger has joined #mirage

17:11 abeaumont has joined #mirage

17:14 abeaumont has quit [Remote host closed the connection]

17:23 noddy has quit [Ping timeout: 240 seconds]

17:31 abeaumont has joined #mirage

17:49 dsheets has quit [Remote host closed the connection]

18:31 djs551 has quit [Quit: Leaving.]

18:42 copumpkin has joined #mirage

18:49 dsheets has joined #mirage

18:51 brson has joined #mirage

18:54 brson has quit [Client Quit]

18:55 dsheets has quit [Ping timeout: 250 seconds]

19:06 djs55 has joined #mirage

19:19 seangrove has quit [Ping timeout: 252 seconds]

19:46 noddy has joined #mirage

19:53 seangrove has joined #mirage

19:53 dsheets has joined #mirage

19:57 dsheets has quit [Ping timeout: 240 seconds]

20:00 seangrove has quit [Ping timeout: 252 seconds]

20:07 seangrove has joined #mirage

20:15 seangrove has quit [Ping timeout: 252 seconds]

20:17 dsheets has joined #mirage

20:20 seangrove has joined #mirage

20:50 djs55 has quit [Quit: Leaving.]

21:32 copumpkin has quit [Quit: Textual IRC Client: www.textualapp.com]

21:32 copumpkin has joined #mirage

21:37 wiredsister has joined #mirage

21:38 copumpkin has quit [Max SendQ exceeded]

21:42 copumpkin has joined #mirage

21:52 brson has joined #mirage

22:02 wiredsis` has joined #mirage

22:04 wiredsister has quit [Ping timeout: 250 seconds]

22:22 wiredsis` has quit [Ping timeout: 268 seconds]

22:32 djs55 has joined #mirage

22:34 mort___ has joined #mirage

22:53 dsheets has quit [Remote host closed the connection]

22:57 dsheets has joined #mirage

23:01 dsheets has quit [Ping timeout: 252 seconds]

23:06 djs55 has quit [Quit: Leaving.]

23:10 dsheets has joined #mirage

23:14 dsheets has quit [Ping timeout: 250 seconds]