Re: [Xen-devel] Error when running the tests for the ocaml tools

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 26/04/16 10:31, Roger Pau Monné wrote:
> Hello,
>
> I've hit the following error when trying to compile the ocaml tools using 
> clang 3.8.0 and ocaml 4.02.3:
>
> gmake -C test all
> gmake[2]: Entering directory '/root/src/xen/tools/ocaml/test'
>  MLOPT    xtl.cmx
>  MLBIN    xtl
> File "_none_", line 1:
> Error: Files xtl.cmx
>        and /root/src/xen/tools/ocaml/test/../libs/xentoollog/xentoollog.cmxa
>        make inconsistent assumptions over interface Xentoollog
> /root/src/xen/tools/ocaml/test/../Makefile.rules:96: recipe for target 'xtl' 
> failed
> gmake[2]: *** [xtl] Error 2
> gmake[2]: Leaving directory '/root/src/xen/tools/ocaml/test'
> /root/src/xen/tools/ocaml/../../tools/Rules.mk:215: recipe for target 
> 'subdir-all-test' failed
> gmake[1]: *** [subdir-all-test] Error 2
> gmake[1]: Leaving directory '/root/src/xen/tools/ocaml'
> /root/src/xen/tools/ocaml/../../tools/Rules.mk:210: recipe for target 
> 'subdirs-all' failed
> gmake: *** [subdirs-all] Error 2
> gmake: Leaving directory '/root/src/xen/tools/ocaml'
>
> Sadly I have no idea what this means. I've tried to open both xtl.cmx 
> xentoollog.cmxa but AFAICT they are in binary format. Any help in solving 
> this is appreciated.

Dependency tracking is non-existant in the Ocaml subdirectory.  In some
copious free time I need to rewrite that part of the build system, as
the generated cmx/cmxa files are unusable outside of the Xen source tree
(because of embedded paths).

That message usually means that
/root/src/xen/tools/ocaml/test/../libs/xentoollog/xentoollog.cmxa is stale.

When developing, I do a blanket clean in the ocaml subdirectory after
any change anywhere.  It is not ideal, but does function well-enough
until said copious free time appears.

~Andrew

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