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>]

Hi,

>> after further investigation and discussion with ThomasG I split
>> mirage-xen into separate libraries:
>> mirage-xen-posix: includes and minilibc
>> mirage-xen-ocaml: OCaml runtime (depends on mirage-xen-posix)
>> mirage-xen: bindings and OCaml OS library
>> 
>> Now, io-page depends on mirage-xen-ocaml, and mirage-xen depends on
>> io-page.

The cyclic dependency is now solved: mirage-xen-posix.2.3.0, 
mirage-xen-ocaml.2.3.0, io-page.1.5.1 and mirage-xen.2.3.0 are now released.

>> I believe those pre-OCaml libraries, their interdependencies and
>> pkg-config magic needs to be documented somewhere (tell me where and
>> I'll write it up)...

I've already started updated the README.md in mirage-platform with your 
explanations, but please feel free to add more contents there.

>> and yes, ThomasL, OCaml includes from the Unix are in use, rather than
>> those from xen-ocaml...

I guess this should be fixed...

Best,
Thomas

>> 
>> 
>> hannes
>> -----BEGIN PGP SIGNATURE-----
>> Version: GnuPG v2
>> 
>> iQIcBAEBCQAGBQJVCGByAAoJELyJZYjffCju7LsP/2Xi+ULLZmTXWjD44f5Gjblx
>> WRSbX4UNdj9yJZ5J0N8bCSYLZWgEQ2r0PJyNR+z7uldVABxSt7vSaokYRbJnkbZi
>> Vjox4b/Phngioshi7zExLBNHBybLvFkMq29/wRhVGId1oBOORusiwG9Ze1nNMkHP
>> e/ZOD3+vvt4X2O7vma0WLF8G2tkLc25yS7t09a2HKQYLl49r0C9viQ71f9rD8cFK
>> lDC7zcdkyKM8bge+klzHuYSG/dJMtJKFHLdX/7yFYeyxBPpsvEJfky7FMzx/55CE
>> CWl2wozBBapQ56pKqWwrn2/nLU6N4tum+LcuTbFfsXfaikCuol6qH5AuSx8CEfHh
>> R6Ojasdb1HJFlUr3Jj1prtmTPWtqZ83A8qTtx0F3SPggx+6UmHseKj2b3QSPvrOW
>> m/1Kf1eFk1lmZbO0pbS+dMa9tZzhM4NUZsoNwtSuXhZJ1gr2rO95bKT7bGZlLlYN
>> tRv96r9JwU0HqyQRWBE07nv5L+tzvhEz7MoKnjubUnQULfleRd8UM3t+iqmBwIun
>> O1dkVBWmz1f4fGTexG9iA3NuetyI2rolbMsQdNaKMMuvDzrL+zuaEFTdg2xIBf8e
>> uG53ijjkVgp7/McoLMXBLibvNe1MMyLu8UGNdcYGRCiDwExn0gzMrmYWMEtAIDy1
>> VzECeDHzI524GofFBlIc
>> =qqyD
>> -----END PGP SIGNATURE-----
>> 
>> _______________________________________________
>> 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