[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [MirageOS-devel] OCaml 4.02 support now in mirage-xen.2.2.0
Awesome! Adding Pierre in cc/ in case he wants to test his inlining patches. I guess it's just a matter of providing the right ocaml-src package now. Thomas > On 23 Jan 2015, at 16:36, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote: > > I've just tagged a release of Mirage-xen 2.2.0 in: > https://github.com/ocaml/opam-repository/pull/3446 > > It primarily adds OCaml 4.02 support (see release notes below). If anyone > sees any compilation problems (especially on ARM) please let me know via an > issue or on the list. Try to keep libraries running on 4.01.0 for a while. > > -- > This releases adds support for OCaml 4.02+ compilation, and changes the Xen > backend build for Mirage significantly by: > > * removing the OCaml compiler runtime from the mirage-platform, which makes > it simpler to work across multiple revisions of the compiler. It now uses > the `ocaml-src` OPAM package to grab the current switch's version of the > OCaml runtime. > * split the Xen runtime build into discrete `pkg-config` libraries: > * `mirage-xen-posix.pc` : in the `xen-posix/` directory, is the nano-posix > layer built with no knowledge of OCaml > * `mirage-xen-minios.pc`: defines the `__INSIDE_MINIOS__` macro to expose > internal state via the MiniOS headers (for use only by libraries that > know exactly what they are doing with the MiniOS) > * `mirage-xen-ocaml.pc`: in `xen-ocaml/core/`, this builds the OCaml asmrun, > Bigarray and Str bindings using the `mirage-xen-posix` layer. > * `mirage-xen-ocaml-bindings.pc`: in `xen-ocaml/bindings/`, these are > bindings > required by the OCaml libraries to MiniOS. Some of the bindings use > MiniOS > external state and hence use `mirage-xen-minios`, whereas others > (`cstruct_stubs` and `barrier_stubs` are just OCaml bindings and so just > use `mirage-xen-posix`). > * `mirage-xen.pc`: depends on all the above to provide the same external > interface as the current `mirage-platform`. > > The OCaml code is now built using OASIS, since the C code is built entirely > separately and could be moved out into a separate OPAM package entirely. > > > _______________________________________________ > 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
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |