* 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.