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

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

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