From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
To: guillaume@valadon.net
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Cross-compile ocaml for ARM
Date: Mon, 23 Sep 2002 23:11:24 +0900 [thread overview]
Message-ID: <20020923231124U.garrigue@kurims.kyoto-u.ac.jp> (raw)
In-Reply-To: <20020923084858.GB1272@iliana>
On Sun, Sep 22, 2002 at 04:31:44PM +0200, Guillaume Valadon wrote:
> I am trying to build a native ocaml-3.06 for Linux arm using the
> method explained in http://caml.inria.fr/archives/200110/msg00334.html.
>
[..]
> The segv_handler function is located line 478 or 486 but is never
> declared due to preprocessors tests. Uncommenting the test line 486
> resolved the problem (ok, that's a dirty hack) but 'make opt' failed
> again with :
> ../../ocamlcomp.sh -c -warn-error A unix.mli
> ../../ocamlcomp.sh: line 5
> /path/to/ocaml-3.06/otherlibs/unix/../../ocamlc.opt: cannot execute
> binary file
>
> How do i resolve these problems ?
This message is a bit strange: ocamlcomp.sh is only supposed to call
ocamlc.opt if you have built it after ocamlc. And logically you
shouldn't be able to use ocamlc.opt with a cross compiler.
Did you really follow the instructions in the message above?
Didn't you do "make world.opt" in place of "make world"? This would
attempt to compile the libraries with ocamlc.opt, as you seem to do,
and would of course fail (since ocamlc.opt is an ARM binary).
If this is the case, erase ocamlc and start again using "make world"
and then "make opt", and eventually "make opt.opt" if you need it.
Hope this helps,
Jacques Garrigue
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2002-09-23 14:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-22 14:31 Guillaume Valadon
2002-09-23 8:48 ` Sven LUTHER
2002-09-23 14:11 ` Jacques Garrigue [this message]
2002-09-25 12:29 ` Guillaume Valadon
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=20020923231124U.garrigue@kurims.kyoto-u.ac.jp \
--to=garrigue@kurims.kyoto-u.ac.jp \
--cc=caml-list@inria.fr \
--cc=guillaume@valadon.net \
/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).