tlockney_away is now known as tlockney
thomasga has joined #mirage
englishm has joined #mirage
englishm has quit [Client Quit]
thomasga has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
englishm has joined #mirage
englishm has quit [Quit: Colloquy for iPhone - http://colloquy.mobi]
englishm has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
adsisco_ has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
AltGr has joined #mirage
jonludlam has joined #mirage
dobson has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
dobson has joined #mirage
dsheets has joined #mirage
thomasga has joined #mirage
jonludlam has quit [Ping timeout: 250 seconds]
jonludlam has joined #mirage
dbuenzli has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
thomasga has quit [Quit: Leaving.]
adsisco_ has quit [Quit: Connection closed for inactivity]
dsheets has joined #mirage
jonludlam has joined #mirage
thomasga has joined #mirage
dbuenzli has quit [Ping timeout: 240 seconds]
englishm has quit [Read error: Connection reset by peer]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 260 seconds]
dbuenzli has joined #mirage
englishm has joined #mirage
dsheets has joined #mirage
thomasga has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 272 seconds]
dsheets has joined #mirage
englishm1 has joined #mirage
thomasga has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
englishm2 has joined #mirage
dsheets has joined #mirage
englishm1 has quit [Ping timeout: 250 seconds]
englishm has quit [Ping timeout: 255 seconds]
dbuenzli1 has joined #mirage
englishm has joined #mirage
dbuenzli has quit [Ping timeout: 240 seconds]
noddy has quit [Ping timeout: 256 seconds]
noddy has joined #mirage
andreas1 has joined #mirage
<andreas1> Hi!
andreas1 is now known as andreas
<andreas> So, I followed the instructions at: http://openmirage.org/blog/introducing-irmin-in-xenstore
<andreas> And during make in ocaml-xenstore-server, I get:
<andreas> ocamlfind: Package `xen-evtchn.unix' not found
<andreas> W: Field 'pkg_xen_evtchn_unix' is not set: Command ''/home/andreas/.opam/system/bin/ocamlfind' query -format %d xen-evtchn.unix > '/tmp/oasis-ae1170.txt'' terminated with error code 2
<andreas> (plus more output, that I omit because IRC).
<andreas> Any idea what's going on?
<andreas> Ok, so I rebuilt ocaml-evtchn with --enable-xenctrl
<andreas> (as per hannes' suggestion)
<andreas> Now the build fails at a later stage:
<andreas> Solver failed:
<andreas> Ocamlbuild knows of no rules that apply to a target named userspace/libostubs_stubs.mly. This can happen if you ask Ocamlbuild to build a target with the wrong extension (e.g. .opt instead of .native) or if the source files live in directories that have not been specified as include directories.
tlockney_away is now known as tlockney
englishm has quit [Remote host closed the connection]
englishm2 has quit [Quit: Leaving.]
englishm has joined #mirage
englishm_ has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has quit [Quit: Leaving.]
andreas has quit [Quit: Leaving.]
englishm has joined #mirage
dbuenzli1 has quit [Ping timeout: 250 seconds]
mort___ has joined #mirage
netsecparano is now known as netsecparano__
netsecparano__ has left #mirage ["gtg"]
dbuenzli has joined #mirage
AltGr has left #mirage [#mirage]
mort___ has quit [Remote host closed the connection]
mort___ has joined #mirage
<mort___> quick opam question - i'd like to see why it's choosing to downgrade a couple of key packages when i try to opam install iocaml - is there an easy way to have it show me the constraints that are causing this?
avsm has joined #mirage
<mort___> specifically, if i try to `opam install iocaml` (0.4.4) opam wants to downgrade pipebang, typeconv and bin_prot
<mort___> but if i force opam to use the latest (current) versions of those pacakges, it quite happily continues to install iocaml
dbuenzli has quit [Ping timeout: 260 seconds]
brson has joined #mirage
brson has quit [Client Quit]
brson has joined #mirage
avsm has quit [Quit: Leaving.]
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm_ has joined #mirage
avsm has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
dbuenzli has joined #mirage
jonludlam has quit [Ping timeout: 250 seconds]
mort___ has quit [Quit: Leaving.]
avsm has joined #mirage
philtor has joined #mirage
dsheets has joined #mirage
avsm has quit [Quit: Leaving.]
andreas1 has joined #mirage
dbuenzli has quit [Ping timeout: 250 seconds]
philtor has quit [Ping timeout: 260 seconds]
thomasga has quit [Quit: Leaving.]
dbuenzli has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
philtor has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has quit [Quit: Leaving.]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm_ has joined #mirage
jonludlam has joined #mirage
andreas1 has quit [Quit: Leaving.]
philtor has quit [Ping timeout: 240 seconds]
dsheets has quit [Read error: Connection reset by peer]
philtor has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has quit [Quit: Leaving.]
englishm has joined #mirage
englishm_ has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has quit [Client Quit]
englishm has joined #mirage
englishm has quit [Read error: Connection reset by peer]
dbuenzli has quit [Quit: Leaving.]
dbuenzli has joined #mirage
dbuenzli has quit [Client Quit]
mort___ has joined #mirage