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

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> It should be possible to compile the io-page stubs without depending on 
> mirage-xen.  We could break it up into a mirage-xen-headers package in a 
> similar style to mirage/mirage-types...

yes that was indeed what I was thinking. For now on, I just reverted: 
https://github.com/ocaml/opam-repository/pull/3754

This means that mirage-unix and mirage-den will need a different version of 
io-page which could produce big recompilation on `mirage configure`...

Thomas

> 
> Anil
> 
>> On 17 Mar 2015, at 12:05, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>> 
>> Actually, this introduces a recursive dependency in the opam repository 
>> (io-page news mirage-xen which needs mirage-xen). There's no easy way to fix 
>> that, I'm looking into that.
>> 
>>> On 17 Mar 2015, at 10:50, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>>> 
>>> Hi,
>>> 
>>> These releases contain Hannes' patches to move the related C stubs from 
>>> mirage/mirage-platform to mirage/io-page. They are part of an ongoing 
>>> effort to disaggregate mirage/mirage-platform to provide only the core C 
>>> code needed from unix and xen[1], by moving the C stubs in their related 
>>> upstream packages Contributions helping to go in that direction are as 
>>> usual welcome.
>>> 
>>> I've also closed ~20 issues and added color to the remaining one on the 
>>> mirage bug tracker[2].
>>> 
>>> Best,
>>> Thomas
>>> 
>>> mirage/mirage-platform (mirage-unix.2.2.3, mirage-xen.2.2.3):
>>> â Add opam files for mirage-xen and mirage-unix OPAM packages
>>> â Remove page_stubs.c, now provided by io-page (#122, patch from @hannesm)
>>> 
>>> mirage/io-page.1.1.5:
>>> â Fix equallity of io-pages (#17, patch from @hannesm)
>>> â Import C stubs from mirage-platform (#18, patch from @hannesm)
>>> 
>>> [1] https://github.com/mirage/mirage-platform/issues/124
>>> [2] https://github.com/mirage/mirage/issues
>>> 
>> 
>> 
>> _______________________________________________
>> MirageOS-devel mailing list
>> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
> 


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