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 713597EEAF for ; Wed, 16 Jan 2013 09:57:06 +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: AqQBAB9r9lCGoCGihWdsb2JhbABFgy63FYNYDgEBAQoLCwUWJ4IeAQEEAThABgsLGAkWDwkDAgECAUUTBgIBAYgDAwkGt16MCIIHgykDiF+NLYVrjWI X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="190135660" Received: from postman2.riken.jp (HELO postman.riken.jp) ([134.160.33.162]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Jan 2013 09:57:04 +0100 Received: from postman.riken.jp (postman2.riken.jp [127.0.0.1]) by postman.riken.jp (Postfix) with SMTP id A5A2312602E4 for ; Wed, 16 Jan 2013 17:57:00 +0900 (JST) Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98]) by postman.riken.jp (Postfix) with ESMTPA id D17B9127006E for ; Wed, 16 Jan 2013 17:56:59 +0900 (JST) Message-ID: <50F66B57.3070601@riken.jp> Date: Wed, 16 Jan 2013 17:56:55 +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: <7040befa-a99d-4fc7-86ff-9b70ea2174ef@googlegroups.com> <1fdfabf6-ac3b-4dfb-ade8-df6c93d93044@googlegroups.com> <43fbc889-f7fc-4bd6-949b-634d478326f6@googlegroups.com> In-Reply-To: <43fbc889-f7fc-4bd6-949b-634d478326f6@googlegroups.com> 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.16.84517 Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not 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. 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 > >