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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id BD0727EEAF for ; Thu, 17 Jan 2013 02:11:09 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of berenger@riken.jp) identity=pra; client-ip=134.160.33.162; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of berenger@riken.jp designates 134.160.33.162 as permitted sender) identity=mailfrom; client-ip=134.160.33.162; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="berenger@riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@postman.riken.jp designates 134.160.33.162 as permitted sender) identity=helo; client-ip=134.160.33.162; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="berenger@riken.jp"; x-sender="postmaster@postman.riken.jp"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBAEFP91CGoCGihWdsb2JhbABEqx6SeQ4BAQEKCwsFFieCHgEBBAE4NgoGCwsYCQQSDwkDAgECATMSEwYCAQEOh3UDCQYMsHMDiCSMCIUwA4hfjS2BHIRPjWI X-IronPort-AV: E=Sophos;i="4.84,483,1355094000"; d="scan'208";a="190281296" Received: from postman2.riken.jp (HELO postman.riken.jp) ([134.160.33.162]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Jan 2013 02:11:07 +0100 Received: from postman.riken.jp (postman2.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id A863C12602D8 for ; Thu, 17 Jan 2013 10:11:04 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id BF6CE127006E for ; Thu, 17 Jan 2013 10:11:03 +0900 (JST) Message-ID: <50F74FA2.4070805@riken.jp> Date: Thu, 17 Jan 2013 10:10:58 +0900 From: Francois Berenger User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <43fbc889-f7fc-4bd6-949b-634d478326f6@googlegroups.com> <50F66B57.3070601@riken.jp> <1358326866.28639.13@samsung> In-Reply-To: <1358326866.28639.13@samsung> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version: 5.6.0.2009776, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2013.1.17.10042 Subject: Re: AW: [Caml-list] ocamlc compiles hello world, ocamlopt not On 01/16/2013 06:01 PM, Gerd Stolpmann wrote: > Am 16.01.2013 09:56:55 schrieb(en) Francois Berenger: >> On 01/16/2013 05:02 PM, r0ller@freemail.hu wrote: >>> Hi All, >>> >>> By the way, is there any doc available about porting ocaml (google >>> didn't find any) or any hint on how to move forward? I'd really like >>> to have the native compiler on minix too. >> >> I think in the past it was possible to generate C code from OCaml code. > > There is no real C backend (and has never been). The only thing you can > do is to embed bytecode in a C-friendly way (what -output-obj does). But > it is still bytecode. Sorry for the mistake. I see in the rest of this thread that some current work on bytecode to C generation is mentioned. I may have mixed several things together. Was this C code generation not possible even with Caml code back in the era of Caml? Regards, F. > Gerd > >> As I guess Minix have a C compiler, that would be a way out for you. >> >> I can't find back, but I remember Richard W.M. Jones from Red Hat >> posted about it on caml-list and keeps it somewhere. >> >>> Thanks®ards, >>> r0ller >>> >>> On Friday, January 11, 2013 5:23:54 PM UTC+1, r0l...@freemail.hu wrote: >>>> Hi again, >>>> >>>> >>>> >>>> I forgot to mention that this result I got after gmake opt. >>>> >>>> >>>> >>>> Regards, >>>> >>>> r0ller >>>> >>>> >>>> >>>> On Friday, January 11, 2013 5:13:56 PM UTC+1, r0l...@freemail.hu wrote: >>>> >>>>> Hi Xavier, >>>> >>>>> >>>> >>>>> >>>> >>>>> >>>> >>>>> Thanks for the hint! I gave it a try and also with SYSTEM=bsd_elf. >>>>> Please, find below the result of the latter (it's the same for >>>>> linux_elf anyway). I also tried another suggestion from Olivier >>>>> Andrieu by introducing SYS_minix in asmrun/i386.S but ended up in >>>>> the same result:( Do you happen to know how to proceed now? >>>> >>>>> >>>> >>>>> >>>> >>>>> >>>> >>>>> gmake runtimeopt >>>> >>>>> >>>> >>>>> gmake[1]: Entering directory `/home/r0ller/ocaml-4.00.1' >>>> >>>>> >>>> >>>>> cd asmrun; gmake all >>>> >>>>> >>>> >>>>> gmake[2]: Entering directory `/home/r0ller/ocaml-4.00.1/asmrun' >>>> >>>>> >>>> >>>>> DSYS_bsd_elf -o i386.o i386.S || \ >>>> >>>>> >>>> >>>>> { echo "If your assembler produced syntax errors, it is probably >>>>> unhappy with the"; echo "preprocessor. Check your assembler, or try >>>>> producing i386.o by hand."; exit 2; } >>>> >>>>> >>>> >>>>> DSYS_bsd_elf: not found >>>> >>>>> >>>> >>>>> If your assembler produced syntax errors, it is probably unhappy >>>>> with the >>>> >>>>> >>>> >>>>> preprocessor. Check your assembler, or try producing i386.o by hand. >>>> >>>>> >>>> >>>>> gmake[2]: [i386.o] Error 2 (ignored) >>>> >>>>> >>>> >>>>> rm -f libasmrun.a >>>> >>>>> >>>> >>>>> ar rc libasmrun.a startup.o main.o fail.o roots.o globroots.o >>>>> signals.o signals_asm.o misc.o freelist.o major_gc.o minor_gc.o >>>>> memory.o alloc.o compare.o ints.o floats.o str.o array.o io.o >>>>> extern.o intern.o hash.o sys.o parsing.o gc_ctrl.o terminfo.o md5.o >>>>> obj.o lexing.o printexc.o callback.o weak.o compact.o finalise.o >>>>> custom.o unix.o backtrace.o natdynlink.o debugger.o meta.o >>>>> dynlink.o i386.o >>>> >>>>> >>>> >>>>> ar: i386.o: no such file or directory >>>> >>>>> >>>> >>>>> gmake[2]: *** [libasmrun.a] Error 1 >>>> >>>>> >>>> >>>>> gmake[2]: Leaving directory `/home/r0ller/ocaml-4.00.1/asmrun' >>>> >>>>> >>>> >>>>> gmake[1]: *** [makeruntimeopt] Error 2 >>>> >>>>> >>>> >>>>> gmake[1]: Leaving directory `/home/r0ller/ocaml-4.00.1' >>>> >>>>> >>>> >>>>> gmake: *** [opt] Error 2 >>>> >>>>> >>>> >>>>> >>>> >>>>> >>>> >>>>> Thanks & regards, >>>> >>>>> >>>> >>>>> r0ller >>> >>> >> >> >> -- >> 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 >> > >