mirage/ocaml-vchan — pull request #55 by djs55 (2014-11-02 17:15:37+00:00)
Title: Improve the configure script

- one can now manually enable or disable an option (--xen=(true|false) --xenctrl=(true|false))
- the configure script accepts all the default options provided by RPM's %configure macro