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 0D2EA7EEAF for ; Wed, 16 Jan 2013 11:16:29 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=pra; client-ip=209.85.216.187; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=mailfrom; client-ip=209.85.216.187; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qc0-f187.google.com) identity=helo; client-ip=209.85.216.187; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="postmaster@mail-qc0-f187.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0CALx99lDRVdi7fGdsb2JhbABFqxqPKoNDFg4BAQsJCwcUBiOCHgEBAQICAQEBawsQCxgNITQBBQEKEiuHdAEDDwyaUpA1g3wBSgOICI0AgQ+DKQOIYY5Hih6DLj+ECi6BTg X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="190154799" Received: from mail-qc0-f187.google.com ([209.85.216.187]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 11:16:16 +0100 Received: by mail-qc0-f187.google.com with SMTP id a22so687892qcs.14 for ; Wed, 16 Jan 2013 02:16:15 -0800 (PST) X-Received: by 10.49.24.13 with SMTP id q13mr89990qef.33.1358331375349; Wed, 16 Jan 2013 02:16:15 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Wed, 16 Jan 2013 02:16:15 -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: <160aed40-5e04-41e2-ba4c-f78b8b270f24@googlegroups.com> From: r0ller@freemail.hu To: fa.caml@googlegroups.com Cc: Gerd Stolpmann , Francois Berenger , 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 Basile, Thanks! I'll definitely have a look at it even though compiling a whole oca= ml project will be challenging:) Yet another really bold question: I do not= know, how the original ocamlopt is built but if it's also built from bytec= ode, can ocamlcc be used to build ocamlopt? Thanks®ards, r0ller On Wednesday, January 16, 2013 10:48:36 AM UTC+1, Basile Starynkevitch wrot= e: > On Wed, Jan 16, 2013 at 10:01:06AM +0100, Gerd Stolpmann wrote: >=20 > > Am 16.01.2013 09:56:55 schrieb(en) Francois Berenger: >=20 > > >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 >=20 > > >>(google didn't find any) or any hint on how to move forward? I'd >=20 > > >>really like to have the native compiler on minix too. >=20 > > > >=20 > > >I think in the past it was possible to generate C code from OCaml >=20 > > >code. >=20 > >=20 >=20 > > There is no real C backend (and has never been). The only thing you >=20 > > can do is to embed bytecode in a C-friendly way (what -output-obj >=20 > > does). But it is still bytecode. >=20 >=20 >=20 >=20 >=20 > Benoit Vaugon & Michel Mauny worked recently on OcamlCC >=20 > (a translator from Ocaml bytecode to C) >=20 > http://oud.ocaml.org/2012/abstracts/oud2012-final10.pdf >=20 > https://github.com/ocaml-bytes/ocamlcc >=20 >=20 >=20 > Cheers. >=20 > --=20 >=20 > Basile STARYNKEVITCH http://starynkevitch.net/Basile/ >=20 > email: basilestarynkevitchnet mobile: +33 6 8501 2359 >=20 > 8, rue de la Faiencerie, 92340 Bourg La Reine, France >=20 > *** opinions {are only mines, sont seulement les miennes} *** >=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