Re: [Xen-devel] [PATCH 0/2] ocaml: Start on fixing brokenness when no ocamlopt

[Ian Jackson <ian.jackson@xxxxxxxxxxxxx>]

Ian Jackson writes ("[PATCH 0/2] ocaml: Start on fixing brokenness when no 
ocamlopt"):
> Debian jessie arm64 has Ocaml (in the package `ocaml-nox') but the
> package lacks ocamlopt.
...
> This does not actually fix the real problem.  I'm unsure how to fix it
> properly, for the following reasons:

Can I have some input from ocaml folks ?

The first ARM64 boxes in the Xen Project test lab are in principle now
online, but this bug is stopping osstest actually getting as far as
trying to boot Xen.

> ocaml.m4 expects to set OCAMLC to either `ocamlopt' or failing that
> `ocamlc'.  However our ocaml Makefiles seem to explicitly call
> $(OCAMLOPT) in some places and and $(OCAMLC) in others.
> 
> Simply changing tools/ocaml/common.make to substitute the variables
> from their corresponding autoconf names seems like it isn't right.
> 
> Our Makefiles explicitly call ocamlc via OCAMLC right now even when
> ocamlopt is available, and substituting OCAML would change those calls
> to OCAMLOPT.  And it wouldn't help fix the actual build failure,
> either, because if there is no ocamlopt, the m4 doesn't provide a
> useful OCAMLOPT.
> 
> FYI the ocamlforge m4 comes with a pod.  You can get it from
>   https://forge.ocamlcore.org/anonscm/git/ocaml-autoconf/ocaml-autoconf.git
> 
> I haven't copied that into xen.git in patch 1/2.  Should I ?
> In the meantime, a formatted copy is below.

Ian.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel