From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 82D8CBC58 for ; Wed, 15 Sep 2010 15:17:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvkAADVkkEzAbHMMmWdsb2JhbACDG55YFQEBAQEBCAsKBxEisFeSD4RNdASNKg X-IronPort-AV: E=Sophos;i="4.56,371,1280700000"; d="vcf'?scan'208";a="69569478" Received: from coliposte.enst-bretagne.fr ([192.108.115.12]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Sep 2010 15:17:44 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by coliposte.enst-bretagne.fr (8.13.7/8.13.7/2009.11.10) with ESMTP id o8FDHfOk021487; Wed, 15 Sep 2010 15:17:41 +0200 Received: from courrier.enst-bretagne.fr (smtps.enst-bretagne.fr [10.29.90.4]) by coliposte.enst-bretagne.fr (8.13.7/8.13.7/2009.11.10) with ESMTP id o8FDHR5X021445; Wed, 15 Sep 2010 15:17:31 +0200 Received: from [10.66.144.72] (pc-salsa-elec-072.ext.enst-bretagne.fr [10.66.144.72]) (user=vgripon mech=PLAIN bits=0) by courrier.enst-bretagne.fr (8.13.8/8.13.8/2010.02.22) with ESMTP id o8FDHO9a010758 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 15 Sep 2010 15:17:24 +0200 Message-ID: <4C90C7AF.2010902@telecom-bretagne.eu> Date: Wed, 15 Sep 2010 15:18:39 +0200 From: Vincent Gripon User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.10pre) Gecko/20100914 Shredder/3.1.5pre MIME-Version: 1.0 To: David MENTRE Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Compiling Ocaml sources to c sources References: <4C8F660B.4060901@telecom-bretagne.eu> In-Reply-To: Content-Type: multipart/mixed; boundary="------------020802010400090504010805" X-Virus-Scanned: amavisd-new at enst-bretagne.fr X-Spam: no; 0.00; ocaml:01 basile:01 compilation:01 cheers:01 ocaml:01 byte:01 byte:01 wrote:01 compile:01 compile:01 caml-list:01 compiling:02 constraints:03 multi-part:94 preferable:06 X-Attachments: cset="utf-8" name="vincent_gripon.vcf" name="vincent_gripon.vcf" This is a multi-part message in MIME format. --------------020802010400090504010805 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hello David, This is a good idea. Basile made a just in time implementation which is preferable to us as we do not know if the contest has time constraints on the compilation of submitted sources. Thank you for your answer. Cheers. On 09/14/2010 02:35 PM, David MENTRE wrote: > Hello, > > 2010/9/14 Vincent Gripon: >> Is there any platform independent way to compile OCaml sources to C sources? > Probably stupid answer: compile to byte code and provide the source > code of the C OCaml byte code interpreter with the program embedded as > C structure? > > Sincerely yours, > david > --------------020802010400090504010805 Content-Type: text/x-vcard; charset=utf-8; name="vincent_gripon.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="vincent_gripon.vcf" begin:vcard fn:Vincent Gripon n:Gripon;Vincent org:Telecom Bretagne;Computer Science and Telecommunications adr:;;Telecom Bretagne - Technopole Brest Iroise;Brest Cedex 3;;29238;France email;internet:vincent.gripon@ens-cachan.org title:PhD Student tel;work:+0033 2 29 00 1586 url:http://perso.eleves.bretagne.ens-cachan.fr/~gripon version:2.1 end:vcard --------------020802010400090504010805--