Re: [MirageOS-devel] [ANN] release of io-page.1.5.0, mirage-unix.2.2.3 and mirage-xen.2.2.3

[Thomas Leonard <talex5@xxxxxxxxx>]

On 17 March 2015 at 11:59, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA384
>
> Thomas,
>
> On 03/17/2015 11:11, Hannes Mehnert wrote:
>> Maybe use mirage-xen-minios do decide whether to build Io_page
>> with xen support or not? Io_page needs the headers from there..
>
> I now use the packages mirage-xen-minios opam and libminios-xen
> pkg-config, which according to my limited understanding should be
> good. Could you please look whether this makes sense (on my cubieboard
> the output of pkg-config for mirage-xen and libminios-xen is the same)
>
> https://github.com/mirage/io-page/pull/21

One thing to watch out for is that mirage-platform provides the OCaml
headers (xen-ocaml/core), which Io_page (now) depends on. But,
xen-ocaml/bindings depends on Io_page. So there really is a cycle. You
might therefore want to split xen-ocaml/core out first.

( If the headers from pkg-config are the same then it's possible that
we're compiling against the Unix OCaml headers currently when building
Xen libraries, and maybe that's OK, I don't know. )


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel