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 15B127EEAF for ; Wed, 16 Jan 2013 10:29:53 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=pra; client-ip=209.85.219.61; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=mailfrom; client-ip=209.85.219.61; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oa0-f61.google.com) identity=helo; client-ip=209.85.219.61; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="postmaster@mail-oa0-f61.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYBAGdx9lDRVds9fmdsb2JhbABFqxqPKoNCFg4BAQsJDQUUKYIeAQEBBAEBAWsLEAsYDSE0AQUBChIrh3QBAw8MmkmQNYN9AUoDiAiROAOIYY5HjUw/hAou X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="168628061" Received: from mail-oa0-f61.google.com ([209.85.219.61]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 10:29:51 +0100 Received: by mail-oa0-f61.google.com with SMTP id o6so692370oag.6 for ; Wed, 16 Jan 2013 01:29:49 -0800 (PST) X-Received: by 10.49.35.77 with SMTP id f13mr86499qej.4.1358328589277; Wed, 16 Jan 2013 01:29:49 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Wed, 16 Jan 2013 01:29:49 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=87.229.2.180; posting-account=1tym9AoAAABKxcWqTDQq8MFzsJ5_fvrj NNTP-Posting-Host: 87.229.2.180 References: User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-IP: 87.229.2.180 MIME-Version: 1.0 Message-ID: <4f47c5c7-8854-4aa2-a13b-6a0f25857075@googlegroups.com> From: r0ller@freemail.hu To: fa.caml@googlegroups.com Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not Hi Francois, Thanks! I'm working hard to find it:) Regards, r0ller On Wednesday, January 16, 2013 9:57:16 AM UTC+1, Francois Berenger wrote: > On 01/16/2013 05:02 PM, r0ller@.hu wrote: >=20 > > Hi All, >=20 > > >=20 > > 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 th= e native compiler on minix too. >=20 >=20 >=20 > I think in the past it was possible to generate C code from OCaml code. >=20 >=20 >=20 > As I guess Minix have a C compiler, that would be a way out for you. >=20 >=20 >=20 > I can't find back, but I remember Richard W.M. Jones from Red Hat posted= =20 >=20 > about it on caml-list and keeps it somewhere. >=20 >=20 >=20 > > Thanks®ards, >=20 > > r0ller >=20 > > >=20 > > On Friday, January 11, 2013 5:23:54 PM UTC+1, r0l...@freemail.hu wrote: >=20 > >> Hi again, >=20 > >> >=20 > >> >=20 > >> >=20 > >> I forgot to mention that this result I got after gmake opt. >=20 > >> >=20 > >> >=20 > >> >=20 > >> Regards, >=20 > >> >=20 > >> r0ller >=20 > >> >=20 > >> >=20 > >> >=20 > >> On Friday, January 11, 2013 5:13:56 PM UTC+1, r0l...@freemail.hu wrote: >=20 > >> >=20 > >>> Hi Xavier, >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> Thanks for the hint! I gave it a try and also with SYSTEM=3Dbsd_elf. = Please, find below the result of the latter (it's the same for linux_elf an= yway). 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? >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake runtimeopt >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[1]: Entering directory `/home/r0ller/ocaml-4.00.1' >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> cd asmrun; gmake all >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[2]: Entering directory `/home/r0ller/ocaml-4.00.1/asmrun' >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> DSYS_bsd_elf -o i386.o i386.S || \ >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> { echo "If your assembler produced syntax errors, it is probably unha= ppy with the"; echo "preprocessor. Check your assembler, or try producing i= 386.o by hand."; exit 2; } >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> DSYS_bsd_elf: not found >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> If your assembler produced syntax errors, it is probably unhappy with= the >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> preprocessor. Check your assembler, or try producing i386.o by hand. >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[2]: [i386.o] Error 2 (ignored) >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> rm -f libasmrun.a >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> 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 c= ompare.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 w= eak.o compact.o finalise.o custom.o unix.o backtrace.o natdynlink.o debugge= r.o meta.o dynlink.o i386.o >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> ar: i386.o: no such file or directory >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[2]: *** [libasmrun.a] Error 1 >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[2]: Leaving directory `/home/r0ller/ocaml-4.00.1/asmrun' >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[1]: *** [makeruntimeopt] Error 2 >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake[1]: Leaving directory `/home/r0ller/ocaml-4.00.1' >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> gmake: *** [opt] Error 2 >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> Thanks & regards, >=20 > >> >=20 > >>> >=20 > >> >=20 > >>> r0ller >=20 > > >=20 > > >=20 >=20 >=20 >=20 >=20 > --=20 >=20 > Caml-list mailing list. Subscription management and archives: >=20 > https://sympa.inria.fr/sympa/arc/caml-list >=20 > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >=20 > Bug reports: http://caml.inria.fr/bin/caml-bugs