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 04BE07EEAF for ; Wed, 16 Jan 2013 10:48:11 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=pra; client-ip=195.14.0.142; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=mailfrom; client-ip=195.14.0.142; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@de558.ispfr.net) identity=helo; client-ip=195.14.0.142; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="postmaster@de558.ispfr.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcFAHZ29lDDDgCO/2dsb2JhbABFukSDQRdzgh4BAQMCOhwjEAsOCgklDwUlJBOIBwMTCLdTjAh4g1dhA5YLAYEcih6FD4J2gW4 X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="168630847" Received: from 195-14-0-142.nuxit.net (HELO de558.ispfr.net) ([195.14.0.142]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 16 Jan 2013 10:48:09 +0100 Received: from ours.starynkevitch.net ([213.41.244.95] helo=hector.lesours) by de558.ispfr.net with esmtp (Exim 4.72) (envelope-from ) id 1TvPbK-0008OV-Cb; Wed, 16 Jan 2013 10:48:06 +0100 Received: from basile18 by hector.lesours with local (Exim 4.80) (envelope-from ) id 1TvPbE-0002VS-N6; Wed, 16 Jan 2013 10:48:00 +0100 Date: Wed, 16 Jan 2013 10:48:00 +0100 From: Basile Starynkevitch To: Gerd Stolpmann Cc: Francois Berenger , caml-list@inria.fr Message-ID: <20130116094800.GA9538@ours.starynkevitch.net> References: <43fbc889-f7fc-4bd6-949b-634d478326f6@googlegroups.com> <50F66B57.3070601@riken.jp> <1358326866.28639.13@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1358326866.28639.13@samsung> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not On Wed, Jan 16, 2013 at 10:01:06AM +0100, 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. Benoit Vaugon & Michel Mauny worked recently on OcamlCC (a translator from Ocaml bytecode to C) http://oud.ocaml.org/2012/abstracts/oud2012-final10.pdf https://github.com/ocaml-bytes/ocamlcc Cheers. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mines, sont seulement les miennes} ***