From: Andrew Cooper <andrew.cooper3@citrix.com>
To: "Roger Pau Monné" <roger.pau@citrix.com>, xen-devel@lists.xenproject.org
Cc: David Scott <dave@recoil.org>
Subject: Re: Error when running the tests for the ocaml tools
Date: Tue, 26 Apr 2016 10:37:36 +0100 [thread overview]
Message-ID: <571F36E0.4030408@citrix.com> (raw)
In-Reply-To: <20160426093124.3gkfeknzbmbml6x5@mac>
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
next prev parent reply other threads:[~2016-04-26 9:37 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-04-26 9:31 Error when running the tests for the ocaml tools Roger Pau Monné
2016-04-26 9:37 ` Andrew Cooper [this message]
2016-04-26 10:04 ` Roger Pau Monné
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=571F36E0.4030408@citrix.com \
--to=andrew.cooper3@citrix.com \
--cc=dave@recoil.org \
--cc=roger.pau@citrix.com \
--cc=xen-devel@lists.xenproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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.