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

Thanks Hannes! I'll prepare a staged release for all these packages. I believe 
it will be much easier to extract other C stubs now this is done!

Thomas

> On 17 Mar 2015, at 17:12, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
> 
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA384
> 
> Hey,
> 
> 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.
> 
> I reorganised the directory structure of mirage-platform slightly:
> xen-posix contains - as before - the header files to pretend a posix
> system (required to compile the OCaml runtime), plus minilibc and
> float formating -- this is the home for mirage-xen-posix! installation
> goes into .opam/x/lib/mirage-xen-posix and
> .opam/x/include/mirage-xen-posix
> 
> xen-ocaml contains only the OCaml runtime (patches and build system),
> installation into .opam/x/lib/mirage-xen-ocaml and
> .opam/x/include/mirage-xen-ocaml
> 
> bindings and xen subdirectories form the mirage-xen package -- this
> consists of various bindings and the OCaml OS module (in xen/).
> 
> 
> I inserted the missing opam files, and adjusted the pkg-config files.
> I also made the uninstall scripts remove the actual files they install.
> 
> https://github.com/mirage/mirage-platform/pull/125
> https://github.com/mirage/io-page/pull/21
> 
> I tested this on my cubieboard from a fresh opam switch (using OCaml
> 4.01 and opam 1.2.0), compiling mirage-skeleton/console and running it
> on Xen! travis is unhappy because it doesn't know about
> mirage-xen-ocaml / mirage-xen-posix (yet).
> 
> 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)...
> 
> and yes, ThomasL, OCaml includes from the Unix are in use, rather than
> those from xen-ocaml...
> 
> 
> 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