From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 728127EEAF for ; Wed, 16 Jan 2013 10:01:12 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.10; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.10 as permitted sender) identity=helo; client-ip=212.227.17.10; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8BAMlr9lDU4xEKk2dsb2JhbABFqxmSbBYOAQEBAQkJCwkUAySCHgEBBAE6NAsFCyMNITwJEgYTCQmHdQMJCgivRgOICBWLc4UwA41miUKSIw X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="168623839" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 10:01:11 +0100 Received: from office1.lan.sumadev.de (dslb-188-097-013-090.pools.arcor-ip.net [188.97.13.90]) by mrelayeu.kundenserver.de (node=mreu4) with ESMTP (Nemesis) id 0MWLRl-1TSz1e1ruT-00XNm3; Wed, 16 Jan 2013 10:01:07 +0100 Received: from samsung (ip-5-146-55-186.unitymediagroup.de [5.146.55.186]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 01A9AC00CF; Wed, 16 Jan 2013 10:01:06 +0100 (CET) Date: Wed, 16 Jan 2013 10:01:06 +0100 From: Gerd Stolpmann To: Francois Berenger Cc: caml-list@inria.fr References: <43fbc889-f7fc-4bd6-949b-634d478326f6@googlegroups.com> <50F66B57.3070601@riken.jp> In-Reply-To: <50F66B57.3070601@riken.jp> (from berenger@riken.jp on Wed Jan 16 09:56:55 2013) X-Mailer: Balsa 2.4.11 Message-Id: <1358326866.28639.13@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:QaTLKa5uXjmENpBV2pJV5nLZW5ero1SWMy/PaMOcHA/ ImJYUT8pUjYklfMU5qgtiQYh+BQ4v5yRDHzIpEGwem3lf/D2Wd zqNMYIGe12CPi1RrxuUs+uYn8ebvR52CJyVxBPOcdDnH5piFHd 2pZrzytsLNElRG6XxjE8gudUjtGWrvuf7fxxWGEFNNeH/PPxSa X6NDDkW0lA4qGttoxoJdWnjv3Fs6ptkPYexwiTbrYzzQ2xuC8o 3dQAq8qy+A0ltVReoiWtmMZn+E9uKVf1xoX1YLgHdOz/YO0ui3 GjMhjxd5DyZQKhsR93uqUjXyhlsxUdLHWvEfxupgP1h5DRZG7e v+WPEUaXsFCR4175xOHQ= Subject: AW: [Caml-list] ocamlc compiles hello world, ocamlopt not Am 16.01.2013 09:56:55 schrieb(en) Francois Berenger: > On 01/16/2013 05:02 PM, r0ller@freemail.hu wrote: >> Hi All, >>=20 >> By the way, is there any doc available about porting ocaml (google=20=20 >> didn't find any) or any hint on how to move forward? I'd really like=20= =20 >> to have the native compiler on minix too. >=20 > I think in the past it was possible to generate C code from OCaml=20=20 > code. There is no real C backend (and has never been). The only thing you can=20= =20 do is to embed bytecode in a C-friendly way (what -output-obj does).=20=20 But it is still bytecode. Gerd > As I guess Minix have a C compiler, that would be a way out for you. >=20 > I can't find back, but I remember Richard W.M. Jones from Red Hat=20=20 > posted about it on caml-list and keeps it somewhere. >=20 >> Thanks®ards, >> r0ller >>=20 >> On Friday, January 11, 2013 5:23:54 PM UTC+1, r0l...@freemail.hu=20=20 >> wrote: >>> Hi again, >>>=20 >>>=20 >>>=20 >>> I forgot to mention that this result I got after gmake opt. >>>=20 >>>=20 >>>=20 >>> Regards, >>>=20 >>> r0ller >>>=20 >>>=20 >>>=20 >>> On Friday, January 11, 2013 5:13:56 PM UTC+1, r0l...@freemail.hu=20=20 >>> wrote: >>>=20 >>>> Hi Xavier, >>>=20 >>>>=20 >>>=20 >>>>=20 >>>=20 >>>>=20 >>>=20 >>>> Thanks for the hint! I gave it a try and also with SYSTEM=3Dbsd_elf.= =20=20 >>>> Please, find below the result of the latter (it's the same for=20=20 >>>> linux_elf anyway). I also tried another suggestion from Olivier=20=20 >>>> Andrieu by introducing SYS_minix in asmrun/i386.S but ended up in=20= =20 >>>> the same result:( Do you happen to know how to proceed now? >>>=20 >>>>=20 >>>=20 >>>>=20 >>>=20 >>>>=20 >>>=20 >>>> gmake runtimeopt >>>=20 >>>>=20 >>>=20 >>>> gmake[1]: Entering directory `/home/r0ller/ocaml-4.00.1' >>>=20 >>>>=20 >>>=20 >>>> cd asmrun; gmake all >>>=20 >>>>=20 >>>=20 >>>> gmake[2]: Entering directory `/home/r0ller/ocaml-4.00.1/asmrun' >>>=20 >>>>=20 >>>=20 >>>> DSYS_bsd_elf -o i386.o i386.S || \ >>>=20 >>>>=20 >>>=20 >>>> { echo "If your assembler produced syntax errors, it is probably=20=20 >>>> unhappy with the"; echo "preprocessor. Check your assembler, or=20=20 >>>> try producing i386.o by hand."; exit 2; } >>>=20 >>>>=20 >>>=20 >>>> DSYS_bsd_elf: not found >>>=20 >>>>=20 >>>=20 >>>> If your assembler produced syntax errors, it is probably unhappy=20=20 >>>> with the >>>=20 >>>>=20 >>>=20 >>>> preprocessor. Check your assembler, or try producing i386.o by=20=20 >>>> hand. >>>=20 >>>>=20 >>>=20 >>>> gmake[2]: [i386.o] Error 2 (ignored) >>>=20 >>>>=20 >>>=20 >>>> rm -f libasmrun.a >>>=20 >>>>=20 >>>=20 >>>> ar rc libasmrun.a startup.o main.o fail.o roots.o globroots.o=20=20 >>>> signals.o signals_asm.o misc.o freelist.o major_gc.o minor_gc.o=20=20 >>>> memory.o alloc.o compare.o ints.o floats.o str.o array.o io.o=20=20 >>>> extern.o intern.o hash.o sys.o parsing.o gc_ctrl.o terminfo.o=20=20 >>>> md5.o obj.o lexing.o printexc.o callback.o weak.o compact.o=20=20 >>>> finalise.o custom.o unix.o backtrace.o natdynlink.o debugger.o=20=20 >>>> meta.o dynlink.o i386.o >>>=20 >>>>=20 >>>=20 >>>> ar: i386.o: no such file or directory >>>=20 >>>>=20 >>>=20 >>>> gmake[2]: *** [libasmrun.a] Error 1 >>>=20 >>>>=20 >>>=20 >>>> gmake[2]: Leaving directory `/home/r0ller/ocaml-4.00.1/asmrun' >>>=20 >>>>=20 >>>=20 >>>> gmake[1]: *** [makeruntimeopt] Error 2 >>>=20 >>>>=20 >>>=20 >>>> gmake[1]: Leaving directory `/home/r0ller/ocaml-4.00.1' >>>=20 >>>>=20 >>>=20 >>>> gmake: *** [opt] Error 2 >>>=20 >>>>=20 >>>=20 >>>>=20 >>>=20 >>>>=20 >>>=20 >>>> Thanks & regards, >>>=20 >>>>=20 >>>=20 >>>> r0ller >>=20 >>=20 >=20 >=20 >--=20 > 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 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=