caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Guillaume Valadon <guillaume@valadon.net>
To: caml-list@inria.fr
Subject: [Caml-list] Cross-compile ocaml for ARM
Date: Sun, 22 Sep 2002 16:31:44 +0200	[thread overview]
Message-ID: <20020922143144.GA8716@adelscott.lanetcie.com> (raw)

hello,

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 'make world' worked fine but the 'make opt' failed in the asmrun
directory with:
signals.c: In function 'init_signals':
signals.c: 'segv_handler' undeclared (first use in this function)
[ usual gcc stuff about undeclared identifier ]

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 ?

Guillaume
-- 
mailto:guillaume@valadon.net
ICQ uin : 1752110

Page ouebe : http://guillaume.valadon.net

     "Everybody be cool. You ... be cool" - Seth Gecko
-------------------
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


             reply	other threads:[~2002-09-22 14:31 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-09-22 14:31 Guillaume Valadon [this message]
2002-09-23  8:48 ` Sven LUTHER
2002-09-23 14:11   ` Jacques Garrigue
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=20020922143144.GA8716@adelscott.lanetcie.com \
    --to=guillaume@valadon.net \
    --cc=caml-list@inria.fr \
    /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).