Re: [MirageOS-devel] [opam-devel] Cross-compiling OCaml, Mirage OS for rumprun, OPAM integration

[Gabriel Scherer <gabriel.scherer@xxxxxxxxx>]

Indeed, this seems to be a side-effect of the partial merge of Adrien Nader's patches; he was working on cross-compilation in trunk between releases 4.01 and 4.02.

http://caml.inria.fr/mantis/view.php?id=5737
https://github.com/ocaml/ocaml/commit/dda5f84f7c47de4cb1225de77ec723bacb06e905

On Tue, May 19, 2015 at 4:53 PM, Martin Lucina <martin@xxxxxxxxxx> wrote:

On Tuesday, 19.05.2015 atÂ16:48, Daniel BÃnzli wrote:
> Le mardi, 19 mai 2015 Ã 16:44, Martin Lucina a Ãcrit :
> > What I don't understand is why
> > upstream OCaml 4.02.01 claims to support cross-compilation but doesn't; was
> > this original effort abandoned by upstream? If so, why?
>
> Where do you see that ? This is news to me. Some work is being done right now [1] but I don't think anybody ever claimed there was support for cross-compilation in 4.02.

In the 4.02.1 INSTALL file[1], which documents a "-target" option and says
it will produce a cross-compiler. The switch is even accepted by
configure, but the guts don't actually work.

Perhaps some commit snuck in to 4.02.1 which shouldn't have?

Martin

[1] https://github.com/ocaml/ocaml/blob/4.02.1/INSTALL#L68

_______________________________________________
opam-devel mailing list
opam-devel@xxxxxxxxxxxxxxx
http://lists.ocaml.org/listinfo/opam-devel

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