#mirage on 2014-06-17 — irc logs at freenode.irclog.whitequark.org

00:01 rgrinberg has joined #mirage

00:10 dsheets has quit [Ping timeout: 244 seconds]

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

00:21 philtor has joined #mirage

00:23 rgrinberg has quit [Ping timeout: 252 seconds]

00:29 philtor has quit [Ping timeout: 240 seconds]

00:30 rgrinberg has joined #mirage

00:31 yomimono has joined #mirage

00:36 rgrinberg has quit [Ping timeout: 272 seconds]

00:42 rgrinberg has joined #mirage

01:24 philtor has joined #mirage

01:31 osmano807 has quit [Quit: Page closed]

02:16 philtor has quit [Ping timeout: 240 seconds]

02:30 yomimono has quit [Ping timeout: 252 seconds]

02:47 rgrinberg has quit [Ping timeout: 245 seconds]

02:50 rgrinberg has joined #mirage

03:17 alexInChina has joined #mirage

03:34 rgrinberg has quit [Quit: Leaving.]

03:35 rgrinberg has joined #mirage

03:42 tlockney_away is now known as tlockney

03:55 alexInChina has quit [Ping timeout: 264 seconds]

05:00 rgrinberg has quit [Quit: Leaving.]

05:15 philtor has joined #mirage

05:35 rgrinberg has joined #mirage

05:47 rgrinberg has quit [Ping timeout: 272 seconds]

05:50 rgrinberg has joined #mirage

06:07 rgrinberg has quit [Ping timeout: 252 seconds]

06:23 rgrinberg has joined #mirage

06:23 philtor has quit [Ping timeout: 255 seconds]

06:33 rgrinberg has quit [Ping timeout: 264 seconds]

06:46 rgrinberg has joined #mirage

07:03 rgrinberg has quit [Ping timeout: 240 seconds]

07:16 rgrinberg has joined #mirage

07:20 rgrinberg has quit [Ping timeout: 240 seconds]

07:22 rgrinberg has joined #mirage

07:28 rgrinberg has quit [Ping timeout: 264 seconds]

07:29 rgrinberg has joined #mirage

07:39 mort___ has joined #mirage

07:45 rgrinberg has quit [Read error: Connection reset by peer]

07:48 rgrinberg has joined #mirage

08:06 rgrinberg1 has joined #mirage

08:16 mort___ has quit [*.net *.split]

08:16 IbnFirnas has quit [*.net *.split]

08:16 algoriddle has quit [*.net *.split]

08:16 yastero has quit [*.net *.split]

08:16 __marius____ has quit [*.net *.split]

08:16 vbmithr has quit [*.net *.split]

08:16 so has quit [*.net *.split]

08:16 netsecparano has quit [*.net *.split]

08:16 rgrinberg1 has quit [*.net *.split]

08:16 mcclurmc has quit [*.net *.split]

08:16 jonludlam has quit [*.net *.split]

08:16 agarwal1975 has quit [*.net *.split]

08:16 rgrinberg has quit [*.net *.split]

08:16 bsb has quit [*.net *.split]

08:16 hannes has quit [*.net *.split]

08:16 rektide has quit [*.net *.split]

08:17 dezzy has quit [*.net *.split]

08:17 noddy has quit [*.net *.split]

08:17 hnrgrgr has quit [*.net *.split]

08:17 cebka has quit [*.net *.split]

08:17 def` has quit [*.net *.split]

08:17 smondet has quit [*.net *.split]

08:17 tlockney has quit [*.net *.split]

08:17 tizoc has quit [*.net *.split]

08:17 bnwr has quit [*.net *.split]

08:22 yastero has joined #mirage

08:22 IbnFirnas has joined #mirage

08:22 agarwal1975 has joined #mirage

08:22 vbmithr has joined #mirage

08:22 djs55 has joined #mirage

08:22 tlockney has joined #mirage

08:22 noddy has joined #mirage

08:22 tizoc has joined #mirage

08:22 bsb has joined #mirage

08:22 dezzy has joined #mirage

08:22 hnrgrgr has joined #mirage

08:22 so has joined #mirage

08:22 rgrinberg1 has joined #mirage

08:22 jonludlam has joined #mirage

08:22 smondet has joined #mirage

08:22 __marius____ has joined #mirage

08:22 netsecparano has joined #mirage

08:22 bnwr has joined #mirage

08:22 mort___ has joined #mirage

08:22 mcclurmc has joined #mirage

08:22 algoriddle has joined #mirage

08:22 rektide has joined #mirage

08:22 cebka has joined #mirage

08:22 hannes has joined #mirage

08:22 def` has joined #mirage

08:33 mort___ has quit [*.net *.split]

08:33 IbnFirnas has quit [*.net *.split]

08:33 algoriddle has quit [*.net *.split]

08:33 yastero has quit [*.net *.split]

08:33 __marius____ has quit [*.net *.split]

08:33 vbmithr has quit [*.net *.split]

08:33 so has quit [*.net *.split]

08:33 netsecparano has quit [*.net *.split]

08:34 thomasga has joined #mirage

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

08:43 mort___ has joined #mirage

08:43 IbnFirnas has joined #mirage

08:43 vbmithr has joined #mirage

08:43 netsecparano has joined #mirage

08:43 __marius____ has joined #mirage

08:43 so has joined #mirage

08:43 algoriddle has joined #mirage

08:43 yastero has joined #mirage

08:47 thomasga1 has joined #mirage

08:49 AltGr has joined #mirage

08:50 rgrinberg1 has quit [Quit: Leaving.]

09:03 tlockney is now known as tlockney_away

09:21 tlockney_away is now known as tlockney

09:35 djs55 has quit [Quit: Leaving.]

10:18 dsheets has joined #mirage

10:33 djs55 has joined #mirage

10:52 thomasga1 has quit [Quit: Leaving.]

11:00 szl has joined #mirage

11:03 mort___ has quit [Ping timeout: 244 seconds]

11:04 szl has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

11:21 cr409 has joined #mirage

12:28 thomasga has joined #mirage

13:35 alexInChina has joined #mirage

13:38 avsm has joined #mirage

14:30 <avsm> thomasga: djs55: hrm might bump the mirage tool to 1.2.0 for this makefile change, since its quite user facing

14:30 <thomasga> agreed

14:31 <thomasga> an option is to turn the -no-opam on by default

14:33 <djs55> good idea

14:35 <avsm> -val manage_opam_packages: bool -> unit

14:35 <avsm> -(** Tell Irminsule to manage the OPAM configuration

14:35 <avsm> - (ie. install/remove missing packages). *)

14:35 <avsm> huh — irminsule? :)

14:42 <djs55> today, every package is irminsule

14:44 <avsm> they may have renamed it to Irmin, but my name shall live on in our hearts. FREEEEEDOMMM

14:46 <avsm> thomasga: renaming it 'make depend'

14:48 <thomasga> I've renamed mirari to mirage as well … seems that we have a name debt

14:53 mcclurmc has quit [Remote host closed the connection]

14:56 <avsm> heh

15:00 <avsm> our bigarray tracking is a little sloppy atm

15:00 <avsm> i wonder if a phantom parameter might help to distinguish page aligned from not

15:01 <avsm> rather insidious bug, that dns one

15:03 yomimono has joined #mirage

15:09 <avsm> thomasga: i'm also making the mirage output LESS SHOUTY

15:11 mcclurmc has joined #mirage

15:12 philtor has joined #mirage

15:15 <vbmithr> I have a stack overfloz exn when I try to instanciate an IrminMemory on utop

15:26 <avsm> vbmithr: utop does odd things with wrapping inside a functor at the toplevel

15:31 philtor has quit [Ping timeout: 240 seconds]

15:34 <vbmithr> mmh, ok

15:56 <avsm> vbmithr: def worth a bug report though

15:56 <avsm> thomasga: djs55: any quick opinions on https://github.com/mirage/mirage/pull/252 ?

15:59 <thomasga> avsm: looks good to me

16:04 <djs55> looks good to me

16:04 <avsm> oh we have to update our travis files to call make depend now

16:05 alexInChina has quit [Ping timeout: 245 seconds]

16:13 boogie has joined #mirage

16:15 <avsm> thomasga: where's the latest github issue->git thing?

16:15 <avsm> thomasga: need to do some hacking on that i think

16:15 <avsm> (me that is)

16:15 <thomasga> status is github -> filesystem

16:16 <thomasga> still no connection with git atm

16:16 <avsm> ack

16:16 <avsm> got a uri?

16:16 <thomasga> https://github.com/samoht/ghim

16:17 <thomasga> also, welcome the new distributed queues based on irmin: https://github.com/samoht/mqueue

16:18 <avsm> superb!

16:27 miragebot has joined #mirage

16:27 <miragebot> [mirage] avsm pushed 10 new commits to master: http://git.io/y20pGw

16:27 <miragebot> mirage/master 86f668a Anil Madhavapeddy: Merge branch 'master' of git://github.com/samoht/mirage into samoht-master

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

16:27 <miragebot> mirage/master a84772e Anil Madhavapeddy: Bump working version to 1.1.4

16:27 <miragebot> mirage/master c535548 Thomas Gazagnaire: Do not implicitely manage the installation of OPAM packages with the mirage tool

16:30 <vbmithr> thomasga: in irminSync.mli the doc for fetch is wrong

16:36 rgrinberg has joined #mirage

16:43 mcclurmc has quit [Remote host closed the connection]

16:46 mcclurmc has joined #mirage

16:55 rgrinberg has quit [Ping timeout: 240 seconds]

16:56 rgrinberg has joined #mirage

17:01 rgrinberg has quit [Ping timeout: 244 seconds]

17:07 thomasga has quit [Quit: Leaving.]

17:15 djs55 has quit [Quit: Leaving.]

17:17 rgrinberg has joined #mirage

17:25 rgrinberg has quit [Ping timeout: 272 seconds]

17:40 thomasga has joined #mirage

17:41 avsm has quit [Quit: Leaving.]

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

17:48 dsheets has quit [Ping timeout: 245 seconds]

17:49 thomasga has quit [Quit: Leaving.]

18:03 mcclurmc has joined #mirage

18:08 mcclurmc has quit [Ping timeout: 244 seconds]

18:09 yomimono has quit [Ping timeout: 252 seconds]

18:11 avsm has joined #mirage

18:12 mcclurmc has joined #mirage

18:32 avsm has quit [Quit: Leaving.]

18:43 mcclurmc has quit [Remote host closed the connection]

19:50 djs55 has joined #mirage

20:00 AltGr has left #mirage [#mirage]

20:19 algoriddle has quit [*.net *.split]

20:19 yastero has quit [*.net *.split]

20:19 __marius____ has quit [*.net *.split]

20:19 vbmithr has quit [*.net *.split]

20:19 so has quit [*.net *.split]

20:19 netsecparano has quit [*.net *.split]

20:20 algoriddle has joined #mirage

20:20 so has joined #mirage

20:20 __marius____ has joined #mirage

20:20 vbmithr has joined #mirage

20:20 netsecparano has joined #mirage

20:20 yastero has joined #mirage

20:22 mcclurmc has joined #mirage

20:24 mcclurmc has quit [*.net *.split]

20:24 boogie has quit [*.net *.split]

20:24 yomimono has joined #mirage

20:24 IbnFirnas has quit [*.net *.split]

20:36 boogie has joined #mirage

20:36 IbnFirnas has joined #mirage

20:36 mcclurmc has joined #mirage

20:38 cr409 has quit [Ping timeout: 245 seconds]

21:11 djs55 has quit [Quit: Leaving.]

21:21 agarwal1975_ has joined #mirage

21:24 agarwal1975 has quit [Ping timeout: 272 seconds]

21:24 agarwal1975_ is now known as agarwal1975

21:48 philtor has joined #mirage

21:59 djs55 has joined #mirage

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

22:20 avsm has joined #mirage

22:38 boogie has quit [Remote host closed the connection]

22:53 miragebot has joined #mirage

22:53 <miragebot> mirage/master 53c9d15 Anil Madhavapeddy: Merge pull request #253 from avsm/master...

22:53 miragebot has left #mirage [#mirage]

22:53 <miragebot> mirage/master a177ff6 Anil Madhavapeddy: update README

22:53 <miragebot> [mirage] avsm pushed 2 new commits to master: http://git.io/kniYnA

23:09 tizoc has quit [Quit: Coyote finally caught me]

23:09 tizoc has joined #mirage

23:10 philtor has quit [Ping timeout: 240 seconds]

23:26 thomasga has joined #mirage

23:27 yomimono has quit [Quit: Leaving]

23:29 avsm has quit [Remote host closed the connection]