xapi-project/ocaml-gnt — pull request #3 by djs55 (2014-01-30 17:54:31+00:00)
Title: Conditionally compile the stubs subpackage if xen headers are present

When building Mirage kernels, we don't actually need the xenctrl.h header.