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

2017-02-14 Thread Julien Grall
Hi, Ping? As Ian mentioned earlier, without this series it is not possible to build Xen tools for ARM64 in osstest. Cheers, On 02/08/2017 07:50 PM, Julien Grall wrote: Hi, On 24/01/17 22:19, David Scott wrote: On 24 Jan 2017, at 11:35, Ian Jackson wrote: Ian Jackson writes ("[PATCH 0/2

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

2017-02-14 Thread Julien Grall
(Resending the e-mail due to SMTP issue) On 02/14/2017 02:18 PM, Julien Grall wrote: Hi, Ping? As Ian mentioned earlier, without this series it is not possible to build Xen tools for ARM64 in osstest. Cheers, On 02/08/2017 07:50 PM, Julien Grall wrote: Hi, On 24/01/17 22:19, David Scott wro

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

2017-02-08 Thread Julien Grall
Hi, On 24/01/17 22:19, David Scott wrote: > >> On 24 Jan 2017, at 11:35, Ian Jackson wrote: >> >> 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. >> ... >

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

2017-01-24 Thread David Scott
> On 24 Jan 2017, at 11:35, Ian Jackson wrote: > > 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

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

2017-01-24 Thread Ian Jackson
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:

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

2017-01-20 Thread Ian Jackson
Debian jessie arm64 has Ocaml (in the package `ocaml-nox') but the package lacks ocamlopt. This causes xen.git builds to fail. Our configure script detects that ocaml is available. Our version of m4/ocaml.m4 sort of tries to figure out what the best compiler is but only does have the job. And t