Normalise indent

  ocp-indent --syntax=lwt -i ...

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #14 from djs55/indent

Normalise indent
xen-evtchn.unix.activations needs to depend on xen-evtchn

This is because the Unix_activations module depends on Eventchn and
Generation.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Regenerate OASIS

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Better error message if xen-evtchn is not loaded

Fixes #13

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #8 from djs55/dependency

Fix a dependency which allows ocaml-vchan to link
Standardise on the ISC license

This one file had the old header.

Signed-off-by: David Scott <dave.scott@citrix.com>
Update CHANGES

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #15 from djs55/dependency

Better error message if xen-evtchn is not loaded
test: check that Unix isn't imported into any non-Unix library

We define a Unix library as one with 'unix' in the filename.

Signed-off-by: David Scott <dave.scott@citrix.com>
Remove Unix.Unix_error from the Eventchn module

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: run make test

Signed-off-by: David Scott <dave.scott@citrix.com>
test: compile the test program with -dontlink unix

Unfortunately ocamlobjinfo was conservative and led to false positives.

Signed-off-by: David Scott <dave.scott@citrix.com>
Regenerate OASIS

Signed-off-by: David Scott <dave.scott@citrix.com>
Remove the dependency on uerror, this would fail the linking test.

Signed-off-by: David Scott <dave.scott@citrix.com>
test: increase verbosity for travis debugging

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: rm config.mk between configurations

Without this we won't build the unix test since it requires the xen
libraries.

Signed-off-by: David Scott <dave.scott@citrix.com>
Release 1.0.5

Signed-off-by: David Scott <dave.scott@citrix.com>
Merge pull request #17 from djs55/unix-linkage

Avoid linking against Unix
Merge pull request #18 from djs55/unix-linkage

Release 1.0.5