Re: [MirageOS-devel] libminios/openlibm support ready for testing

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 6 Jul 2014, at 18:51, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

> I think it might be a good idea to maintain this library (perhaps with
> a better name, like mirage-xen-minios) in the future, since it's a 
> convenient place to apply distribution-specific patches to MiniOS
> (like cleaning up the startup text to be prettier), and also to
> control which versions of libm go in.   How about I rename the
> repository to mirage-xen-minios, and cut a release tarball that bundles
> the upstream .tar.gz files (so `make install` can run without any
> external downloads)?

We could alternatively use git submodules too, but that interacts
badly with OPAM 1.1.x; https://github.com/ocaml/opam/issues/1422

-anil

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