All of lore.kernel.org
 help / color / mirror / Atom feed
* Error when running the tests for the ocaml tools
@ 2016-04-26  9:31 Roger Pau Monné
  2016-04-26  9:37 ` Andrew Cooper
  0 siblings, 1 reply; 3+ messages in thread
From: Roger Pau Monné @ 2016-04-26  9:31 UTC (permalink / raw)
  To: xen-devel; +Cc: David Scott

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.

Roger.

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Error when running the tests for the ocaml tools
  2016-04-26  9:31 Error when running the tests for the ocaml tools Roger Pau Monné
@ 2016-04-26  9:37 ` Andrew Cooper
  2016-04-26 10:04   ` Roger Pau Monné
  0 siblings, 1 reply; 3+ messages in thread
From: Andrew Cooper @ 2016-04-26  9:37 UTC (permalink / raw)
  To: Roger Pau Monné, xen-devel; +Cc: David Scott

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@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Error when running the tests for the ocaml tools
  2016-04-26  9:37 ` Andrew Cooper
@ 2016-04-26 10:04   ` Roger Pau Monné
  0 siblings, 0 replies; 3+ messages in thread
From: Roger Pau Monné @ 2016-04-26 10:04 UTC (permalink / raw)
  To: Andrew Cooper; +Cc: xen-devel, David Scott

On Tue, Apr 26, 2016 at 10:37:36AM +0100, Andrew Cooper wrote:
> 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.
 
Sorry for the noise, it is indeed fixed with a simple make clean.

Roger.

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2016-04-26 10:04 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-04-26  9:31 Error when running the tests for the ocaml tools Roger Pau Monné
2016-04-26  9:37 ` Andrew Cooper
2016-04-26 10:04   ` Roger Pau Monné

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.