#mirage on 2014-12-01 — 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:03 AltGr has joined #mirage

00:11 yomimono has quit [Ping timeout: 240 seconds]

00:39 manud___ has joined #mirage

00:42 manud__ has quit [Ping timeout: 252 seconds]

00:49 mcclurmc has joined #mirage

00:54 mcclurmc_ has joined #mirage

00:57 mcclurmc has quit [Ping timeout: 250 seconds]

01:08 thomasga has quit [Quit: Leaving.]

02:39 chambart has quit [Ping timeout: 256 seconds]

03:29 mcclurmc_ has quit [Remote host closed the connection]

03:31 mcclurmc has joined #mirage

03:36 mcclurmc has quit [Ping timeout: 240 seconds]

03:43 yomimono has joined #mirage

03:50 yomimono has quit [Ping timeout: 250 seconds]

04:11 manud___ has quit [Ping timeout: 252 seconds]

04:32 mcclurmc has joined #mirage

04:36 larhat has quit [Quit: Leaving.]

04:37 mcclurmc has quit [Ping timeout: 256 seconds]

05:22 manud___ has joined #mirage

05:25 manud___ has quit [Client Quit]

06:30 boogie has quit [Remote host closed the connection]

06:31 boogie has joined #mirage

06:34 boogie has quit [Remote host closed the connection]

06:52 manud___ has joined #mirage

07:20 larhat has joined #mirage

07:22 mcclurmc has joined #mirage

07:27 mcclurmc has quit [Ping timeout: 256 seconds]

07:35 boogie has joined #mirage

07:40 boogie has quit [Ping timeout: 264 seconds]

08:16 manud___ has quit [Quit: Be back later ...]

08:36 boogie has joined #mirage

08:41 boogie has quit [Ping timeout: 265 seconds]

08:48 manud___ has joined #mirage

09:11 mcclurmc has joined #mirage

09:15 mcclurmc has quit [Ping timeout: 240 seconds]

09:33 manud___ has quit [Quit: Be back later ...]

09:34 manud___ has joined #mirage

09:36 boogie has joined #mirage

09:37 thomasga has joined #mirage

09:41 manud___ has quit [Quit: Be back later ...]

09:42 manud___ has joined #mirage

09:42 boogie has quit [Ping timeout: 264 seconds]

09:46 manud___ has quit [Ping timeout: 258 seconds]

09:54 jonludlam has joined #mirage

10:02 AltGr has left #mirage [#mirage]

10:12 dsheets has joined #mirage

10:18 chambart has joined #mirage

10:37 boogie has joined #mirage

10:42 boogie has quit [Ping timeout: 256 seconds]

11:00 mcclurmc has joined #mirage

11:11 mort___ has joined #mirage

11:32 nojb has joined #mirage

11:38 boogie has joined #mirage

11:43 boogie has quit [Ping timeout: 240 seconds]

12:00 thomasga has quit [Quit: Leaving.]

12:02 cr409 has joined #mirage

12:08 thomasga has joined #mirage

12:15 dsheets has quit [Ping timeout: 258 seconds]

12:20 thomasga has quit [Quit: Leaving.]

12:39 boogie has joined #mirage

12:44 boogie has quit [Ping timeout: 244 seconds]

12:57 nojb has quit [Quit: nojb]

12:58 nojb has joined #mirage

13:39 boogie has joined #mirage

13:41 nojb has quit [Read error: Connection reset by peer]

13:41 nojb_ has joined #mirage

13:44 boogie has quit [Ping timeout: 240 seconds]

13:51 mcclurmc_ has joined #mirage

13:53 mcclurmc has quit [Ping timeout: 264 seconds]

14:00 dsheets has joined #mirage

14:00 thomasga has joined #mirage

14:01 dsheets has quit [Client Quit]

14:01 dsheets has joined #mirage

14:06 hhugo has joined #mirage

14:16 thomasga has quit [Quit: Leaving.]

14:40 boogie has joined #mirage

14:45 boogie has quit [Ping timeout: 264 seconds]

14:46 thomasga has joined #mirage

15:04 dsheets has quit [Ping timeout: 240 seconds]

15:07 avsm has joined #mirage

15:21 dsheets has joined #mirage

15:24 larhat has quit [Quit: Leaving.]

15:41 boogie has joined #mirage

15:46 boogie has quit [Ping timeout: 272 seconds]

15:52 nojb_ has quit [Quit: nojb_]

16:00 dsheets_ has joined #mirage

16:02 dsheets has quit [Ping timeout: 244 seconds]

16:10 thomasga has quit [Quit: Leaving.]

16:15 chambart has quit [Ping timeout: 256 seconds]

16:16 nojb has joined #mirage

16:18 thomasga has joined #mirage

16:20 nojb has quit [Client Quit]

16:24 nojb has joined #mirage

16:29 chambart has joined #mirage

16:42 mcclurmc has joined #mirage

16:44 mcclurmc_ has quit [Ping timeout: 244 seconds]

16:54 boogie has joined #mirage

16:57 boogie has quit [Client Quit]

17:18 <avsm> thomasga: can you take a quick look at https://github.com/mirage/mirage/pull/329

17:19 <thomasga> ok

17:27 tlockney_away is now known as tlockney

17:28 <thomasga> avsm: done

17:28 <avsm> thomasga: ta, fixed that ebug thing. merging that now

17:29 <thomasga> wait

17:29 <thomasga> other comments inline :-)

17:29 <thomasga> (the SYNTAX one mainly)

17:30 mcclurmc_ has joined #mirage

17:30 <avsm> answering :)

17:31 <avsm> done

17:33 mcclurmc has quit [Ping timeout: 244 seconds]

17:40 <avsm> thomasga: ocamlfind: Error from package `threads': Missing -thread or -vmthread switch

17:40 <avsm> with threads.posix and threads

17:40 <avsm> :-/

17:40 <thomasga> yes sorry, my mistake

17:40 <thomasga> I've commented again on my comment ...

17:40 <avsm> argh yeah

17:41 <thomasga> can add some ocamlfind predicates, but well

17:41 mcclurmc_ has quit [Remote host closed the connection]

17:41 mcclurmc has joined #mirage

17:41 <avsm> some other time

17:41 <thomasga> not so bad to add -thread for all osx unikernel for now on

17:41 <thomasga> yup

17:41 <avsm> y

17:42 mcclurmc has quit [Remote host closed the connection]

17:48 jonludlam has quit [Ping timeout: 255 seconds]

17:58 MrScout has joined #mirage

18:01 nojb has quit [Quit: nojb]

18:09 cr409 has quit [Ping timeout: 265 seconds]

18:10 mcclurmc has joined #mirage

18:19 nojb has joined #mirage

18:20 cr409 has joined #mirage

18:24 cr409 has quit [Ping timeout: 258 seconds]

18:33 miragebot has joined #mirage

18:33 <miragebot> [mirage] avsm pushed 4 new commits to master: http://git.io/58kItg

18:33 <miragebot> mirage/master 34f951c Anil Madhavapeddy: Add a specific MacOS X platform...

18:33 <miragebot> mirage/master 844d9d9 Anil Madhavapeddy: Remove debug output from the main library; spotted by @samoht

18:33 <miragebot> mirage/master b729dcb Anil Madhavapeddy: Revert incorrect hunk merged as part of b97ceb19d6be0d474bd4305de9b33e87391cd6eb

18:33 miragebot has left #mirage [#mirage]

18:33 miragebot has joined #mirage

18:33 <miragebot> [mirage] avsm pushed 2 new commits to master: http://git.io/nk6ldg

18:33 <miragebot> mirage/master 895b581 Thomas Leonard: Make Lwt.tracing instructions work for Fish shell too

18:33 <miragebot> mirage/master e7de766 Anil Madhavapeddy: Merge pull request #328 from talex5/fish...

18:33 miragebot has left #mirage [#mirage]

18:38 nojb has quit [Quit: nojb]

18:42 kdef has joined #mirage

18:44 nojb has joined #mirage

18:44 dsheets_ has quit [Ping timeout: 245 seconds]

18:49 chambart has quit [Ping timeout: 240 seconds]

18:54 nojb has quit [Quit: nojb]

18:57 nojb has joined #mirage

18:59 nojb has quit [Client Quit]

19:01 nojb has joined #mirage

19:02 nojb has quit [Client Quit]

19:09 mcclurmc has quit [Remote host closed the connection]

19:11 miragebot has left #mirage [#mirage]

19:11 <miragebot> mirage/master fba999e David Sheets: oasis regen

19:11 <miragebot> mirage/master 9b56604 Anil Madhavapeddy: Bump to 2.0.2

19:11 <miragebot> mirage/master 59c3357 David Sheets: When net_tap driver can't initialize, emit human error...

19:11 miragebot has joined #mirage

19:11 <miragebot> [mirage] avsm pushed 8 new commits to master: http://git.io/XPS0Wg

19:14 <mort___> what's the easiest way to get opam to install docs for packages? (assuming that's even a thing :)

19:20 tlockney is now known as tlockney_away

19:28 mcclurmc has joined #mirage

19:30 tlockney_away is now known as tlockney

19:34 larhat has joined #mirage

19:38 mort___ has quit [Ping timeout: 272 seconds]

19:56 manud___ has joined #mirage

20:16 djs55 has joined #mirage

20:20 mcclurmc has quit [Remote host closed the connection]

20:23 thomasga has quit [Ping timeout: 265 seconds]

20:25 mcclurmc has joined #mirage

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

20:50 dsheets_ has joined #mirage

21:06 thomasga has joined #mirage

21:06 avsm has quit [Quit: Leaving.]

21:09 djs55 has joined #mirage

21:10 mcclurmc has quit [Remote host closed the connection]

21:16 thomasga has quit [Quit: Leaving.]

21:23 _whitelogger_ has joined #mirage

21:35 larhat has quit [*.net *.split]

21:35 _whitelogger has quit [*.net *.split]

21:41 _whitelogger has joined #mirage

22:00 _whitelogger has joined #mirage

22:03 hhugo has quit [Ping timeout: 255 seconds]

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

22:34 chambart has joined #mirage

22:41 dsheets_ has quit [Ping timeout: 252 seconds]

22:57 nojb has quit [Quit: nojb]

23:00 MrScout_ has joined #mirage

23:01 MrScout_ has quit [Read error: Connection reset by peer]

23:01 MrScout_ has joined #mirage

23:04 MrScout has quit [Ping timeout: 258 seconds]

23:17 manud___ has quit [Quit: Be back later ...]

23:18 seangrove has quit [Ping timeout: 258 seconds]

23:20 avsm has joined #mirage

23:33 MrScout_ has quit [Remote host closed the connection]

23:34 MrScout has joined #mirage

23:38 MrScout has quit [Ping timeout: 244 seconds]

23:41 MrScout has joined #mirage

23:45 thomasga has quit [Quit: Leaving.]