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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9B32FBC58 for ; Tue, 14 Sep 2010 14:48:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtIBAKgLj0zRVdi0imdsb2JhbACTTY16CBUBAQEKCQwHDwUfp0GLRYZPiGcBAQMFhTsEhEmFXoh7 X-IronPort-AV: E=Sophos;i="4.56,364,1280700000"; d="scan'208";a="67562932" Received: from mail-qy0-f180.google.com ([209.85.216.180]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2010 14:48:32 +0200 Received: by qyk31 with SMTP id 31so8139695qyk.18 for ; Tue, 14 Sep 2010 05:48:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type:content-transfer-encoding; bh=lHWNwwHqVeFMkKSkpPEPWzof4913q6R7fBOQ+yz6Cig=; b=Z3yBlmab+0f8nSEBe3+c0jwmWhsaEOiijrr87seHh++4Ltmob+LaHoSrL02KU9Huxp 00MM6bqsUZsPMXz4sdVyh5QJSd50QoXYPxaq4iihnyv7DIefi6iJlZXvZ6h8MAQk32Es Wb5wsTWrSQycwwXaP0gqFu6u1IWw/jo2YMXKE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=GCbFW7oxoU4jOYN5ynSwg3w2yfGr395mFEAJYMl2/ratGVYQ6X9uGhdPc8psQ/Szb9 t70cxnSSeihd1PwnlMH/7109smRdXS5eCaWb21jAvGR1tg178/tO6ZI4Hs4M1sASQYQ4 tSCejNmvCPlhH5ofmFjNZGNMCghZl5x8mRLhQ= MIME-Version: 1.0 Received: by 10.224.130.77 with SMTP id r13mr1179948qas.163.1284468511239; Tue, 14 Sep 2010 05:48:31 -0700 (PDT) Sender: grettke@gmail.com Received: by 10.229.220.211 with HTTP; Tue, 14 Sep 2010 05:48:31 -0700 (PDT) In-Reply-To: <1284468428.2252.400.camel@saorge.inria.fr> References: <4C8F660B.4060901@telecom-bretagne.eu> <1284468428.2252.400.camel@saorge.inria.fr> Date: Tue, 14 Sep 2010 07:48:31 -0500 X-Google-Sender-Auth: A3r1IXnjXADtVYYrsrfDBc7meTE Message-ID: Subject: Re: [Caml-list] Compiling Ocaml sources to c sources From: Grant Rettke To: Thomas Gazagnaire Cc: Vincent Gripon , caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 ocaml:01 bigloo:01 compiler:01 syntax:01 functors:01 variants:01 cheers:01 www-sop:01 0200,:01 planing:01 compilable:01 pointer:01 -output-obj:01 compiler:01 OCaml compiled by F# called by C#? On Tue, Sep 14, 2010 at 7:47 AM, Thomas Gazagnaire wrote: > Hi Vincent! > > you can try camloo [1] which compiles (old-syntax) caml-light to bigloo, > which is a scheme to C compiler. I reckon it would be quite easy to > update it to parse the ocaml syntax if you don't use > functors/objects/variants/labels/thread (ie. if you use only what is > available in caml-light). > > Cheers, > Thomas > > [1] http://www-sop.inria.fr/members/Thomas.Gazagnaire/ > > > On Tue, 2010-09-14 at 14:09 +0200, Vincent Gripon wrote: >> 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? =A0And 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 >> _______________________________________________ >> Caml-list mailing list. Subscription management: >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >> Archives: http://caml.inria.fr >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --=20 http://www.wisdomandwonder.com/ ACM, AMA, COG, IEEE