From: "Richard W.M. Jones" <rich@annexia.org>
To: Normand <normand@linux.vnet.ibm.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] need help to investigate an ocaml build error on ppc64le archi
Date: Sat, 22 Mar 2014 12:24:00 +0000 [thread overview]
Message-ID: <20140322122400.GD10374@annexia.org> (raw)
In-Reply-To: <532B0EFD.9070606@linux.vnet.ibm.com>
On Thu, Mar 20, 2014 at 04:53:33PM +0100, Normand wrote:
> Hello there,
> I am trying to investigate a failure while porting ocaml on ppc64le archi (flag1)
> This is most probably related to some changes I did not made yet.
> But because I do not understand anything about ocaml I do not know where to search.
>
> I understand that the bad unix.o is generated by the call to ocamlcompopt.sh
> calling itself ocamlrun with the parameters of flag2.
>
> But I do not understand what archi specific files are used by this command line.
>
> I would appreciate any suggestion on the subject.
ocamlcompopt.sh is a shell script wrapper around ocamlopt which is
just used within the OCaml build system (so we can run the compiler
we've just compiled).
The first thing to do is to add the -verbose option to those commands
(run them by hand). That will print the 'as' and 'gcc' subcommands
that ocamlopt is running.
Rich.
> flag1: the original failure log extract.
> ===
> make[2]: Entering directory `/home/michel/rpmbuild/BUILD/ocaml-4.01.0/otherlibs/unix'
> ../../ocamlcompopt.sh -c -w +33..39 -warn-error A -g -nolabels unix.ml
> ../../ocamlcompopt.sh -c -w +33..39 -warn-error A -g -nolabels unixLabels.ml
> ../../boot/ocamlrun ../../tools/ocamlmklib -o unix -oc unix -ocamlopt '../../ocamlcompopt.sh' -linkall \
> unix.cmx unixLabels.cmx
> ../../ocamlcompopt.sh -shared -o unix.cmxs -I . unix.cmxa
> /usr/bin/ld: unix.cmxs.startup.o: ABI version 1 is not compatible with ABI version 2 output
> /usr/bin/ld: failed to merge target specific data of file unix.cmxs.startup.o
> /usr/bin/ld: unix.a(unix.o): ABI version 1 is not compatible with ABI version 2 output
> /usr/bin/ld: failed to merge target specific data of file unix.a(unix.o)
> /usr/bin/ld: unix.a(unixLabels.o): ABI version 1 is not compatible with ABI version 2 output
> /usr/bin/ld: failed to merge target specific data of file unix.a(unixLabels.o)
> collect2: error: ld returned 1 exit status
> ===
>
> flag2: unix.o generated from unix.ml
> ===
> + exec ../../boot/ocamlrun ../../ocamlopt -nostdlib -I ../../stdlib -c -w +33..39 -warn-error A -g -nolabels unix.ml
> ===
> $file unix.ml
> unix.ml: Mathematica 3.0 notebook
> ===
> $readelf -h unix.o |grep Flags
> Flags: 0x0
> ===
>
> no full log because too big for attachment in ML
>
> --
> Michel Normand
>
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Richard Jones
Red Hat
next prev parent reply other threads:[~2014-03-22 12:24 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-03-20 15:53 Normand
2014-03-20 18:36 ` Normand
2014-03-22 12:20 ` Richard W.M. Jones
2014-03-22 12:24 ` Richard W.M. Jones [this message]
2014-03-28 11:09 ` [Caml-list] Where is defined the caml_program initial entry point called from asmrun/*/ Normand
2014-03-28 11:59 ` John Carr
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=20140322122400.GD10374@annexia.org \
--to=rich@annexia.org \
--cc=caml-list@inria.fr \
--cc=normand@linux.vnet.ibm.com \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).