From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA08000; Wed, 25 Sep 2002 14:29:06 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA07996 for ; Wed, 25 Sep 2002 14:29:05 +0200 (MET DST) Received: from adelscott.lanetcie.com (adelscott.lanetcie.com [212.43.217.74]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g8PCT5519396 for ; Wed, 25 Sep 2002 14:29:05 +0200 (MET DST) Received: by adelscott.lanetcie.com (Postfix, from userid 505) id 74C7670D70; Wed, 25 Sep 2002 14:29:03 +0200 (CEST) Date: Wed, 25 Sep 2002 14:29:03 +0200 From: Guillaume Valadon To: caml-list@inria.fr Subject: Re: [Caml-list] Cross-compile ocaml for ARM Message-ID: <20020925122903.GJ13162@adelscott.lanetcie.com> References: <20020922143144.GA8716@adelscott.lanetcie.com> <20020923084858.GB1272@iliana> <20020923231124U.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020923231124U.garrigue@kurims.kyoto-u.ac.jp> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk re, > 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 > [ ... ] > 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. Yes, I did something wrong this week end ... But now, I did: $ ./configure -prefix /home/QtPalmtop -no-curses Then I edited config/Makefile, utils/ccomp.ml, and asmcomp/arm/proc.ml according to the thread starting with http://caml.inria.fr/archives/200110/msg00334.html $ make world $ make op [ ... ] signals.c:545: `segv_handler' undeclared (first use in this function) signals.c:545: (Each undeclared identifier is reported only once signals.c:545: for each function it appears in.) make[1]: *** [signals.o] Error 1 make[1]: Leaving directory `/opt/Qtopia/tmp/ocaml-3.06/asmrun' make: *** [runtimeopt] Error 2 I did my dirty hack then: $ make opt It works fine but it produce x86 binaries instead of arm ... I the, tried $ make opt.opt [ ... ] ../../ocamlcompopt.sh -warn-error A -I ../../otherlibs/dynlink -c -impl odyl_config.ppo ../../ocamlcompopt.sh: line 5: /opt/Qtopia/tmp/ocaml-3.06/camlp4/odyl/../../ocamlopt.opt: cannot execute binary file ../../ocamlcompopt.sh: line 5: /opt/Qtopia/tmp/ocaml-3.06/camlp4/odyl/../../ocamlopt.opt: Success make[2]: *** [odyl_config.cmx] Error 1 make[2]: Leaving directory `/opt/Qtopia/tmp/ocaml-3.06/camlp4/odyl' make[1]: *** [opt.opt] Error 2 make[1]: Leaving directory `/opt/Qtopia/tmp/ocaml-3.06/camlp4' make: *** [camlp4optopt] Error 2 This week-end I managed to build arm binaries using these steps : - edit config/Makefile and *.ml - make coldstart - edit asmrun/signals.c and enable function at line 486 - edit ocamlcomp.sh replace ocamlc.opt by $topdir/ocamlrun ocamlc - edit ocamlcompopt.sh replace ocamlopt.opt by $topdir/ocamrun ocamlopt - make opt.opt - edit config/Makefile : put arm-linux-gcc in NATIVECC and MKSHAREDLIB - make coldstart I only tested ocamlrun, ocaml and pervasives.* on an arm computer but it works fine. Guillaume -- mailto:guillaume@valadon.net ICQ uin : 1752110 Page ouebe : http://guillaume.valadon.net "Une gonzesse de perdue, c'est dix copains qui reviennent." - Renaud ------------------- 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