<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]