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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id DA613BC58 for ; Tue, 14 Sep 2010 14:08:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQBAIICj0zAbHMMmWdsb2JhbACDG5BjjVEVAQEBAQEICwoHESKwMZIFhEx0BI0k X-IronPort-AV: E=Sophos;i="4.56,363,1280700000"; d="vcf'?scan'208,217";a="57231378" Received: from coliposte.enst-bretagne.fr ([192.108.115.12]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Sep 2010 14:08:43 +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 o8EC8jXU021119 for ; Tue, 14 Sep 2010 14:08:45 +0200 Received: from courrier.enst-bretagne.fr (smtps.telecom-bretagne.eu [10.29.90.4]) by coliposte.enst-bretagne.fr (8.13.7/8.13.7/2009.11.10) with ESMTP id o8EC8XNs021060 for ; Tue, 14 Sep 2010 14:08:36 +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 o8EC8UV8008674 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Tue, 14 Sep 2010 14:08:30 +0200 Message-ID: <4C8F660B.4060901@telecom-bretagne.eu> Date: Tue, 14 Sep 2010 14:09:47 +0200 From: Vincent Gripon User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.10pre) Gecko/20100911 Shredder/3.1.5pre MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Compiling Ocaml sources to c sources Content-Type: multipart/mixed; boundary="------------020201020709000603040500" X-Virus-Scanned: amavisd-new at enst-bretagne.fr X-Spam: no; 0.00; ocaml:01 planing:01 ocaml:01 compilable:01 pointer:01 -output-obj:01 compiler:01 planing:01 compilable:01 pointer:01 -output-obj:01 compiler:01 readable:01 readable:01 compile:01 X-Attachments: cset="utf-8" name="vincent_gripon.vcf" name="vincent_gripon.vcf" This is a multi-part message in MIME format. --------------020201020709000603040500 Content-Type: multipart/alternative; boundary="------------040504050506030508030907" --------------040504050506030508030907 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hello, We are currently planing to participate to a programming contest. This contest allows the use of four languages (C/C#/C++/java) but not OCaml. We would like to use Ocaml as it is to us the language that fits the most the kind of exercises proposed. The organizers don't mind if we use OCaml as long as we provide an easily compilable C source to them, even if it is not readable. Is there any platform independent way to compile OCaml sources to C sources? And if not, do you have any pointer (we gave a try at compiling OCaml sources to C object files using the -output-obj option but couldn't compile then the resulting file with our C compiler)? Best, Vincent --------------040504050506030508030907 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hello,

We are currently planing to participate to a programming contest. This contest allows the use of four languages (C/C#/C++/java) but not OCaml.

We would like to use Ocaml as it is to us the language that fits the most the kind of exercises proposed. The organizers don't mind if we use OCaml as long as we provide an easily compilable C source to them, even if it is not readable.

Is there any platform independent way to compile OCaml sources to C sources? And if not, do you have any pointer (we gave a try at compiling OCaml sources to C object files using the -output-obj option but couldn't compile then the resulting file with our C compiler)?

Best,

Vincent
--------------040504050506030508030907-- --------------020201020709000603040500 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 --------------020201020709000603040500--