Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Rabih CHAAR <rabih.chaar@lyxor.com>
To: Vincent Gripon <vincent.gripon@telecom-bretagne.eu>
Cc: caml-list@yquem.inria.fr, caml-list-bounces@yquem.inria.fr
Subject: Re: [Caml-list] Compiling Ocaml sources to c sources [NC]
Date: Tue, 14 Sep 2010 14:16:30 +0200	[thread overview]
Message-ID: <OF921155AE.728D3B80-ONC125779E.00430D1C-C125779E.00436E03@fr.world.socgen> (raw)
In-Reply-To: <4C8F660B.4060901@telecom-bretagne.eu>

[-- Attachment #1: Type: text/plain, Size: 2745 bytes --]

Hello,
when compiling ocaml to bytecode with the -output-obj flag, a c file is 
created containing essentially the produced bytecode in a c array, which 
will be fed to caml via caml-startup functions.

This doesn't relate to generating C source with a translation for your 
functional code in Ocaml.

I don't have any knowledge of a tool that covers your need, but i am not 
an expert on these issues.

Sincerely,

Rabih Chaar



Vincent Gripon <vincent.gripon@telecom-bretagne.eu> 
Sent by: caml-list-bounces@yquem.inria.fr
14/09/10 02:09 PM


To
caml-list@yquem.inria.fr
cc

Subject
[Caml-list] Compiling Ocaml sources to c sources






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[attachment "vincent_gripon.vcf" deleted by Rabih CHAAR/fr/socgen] 
_______________________________________________
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

*************************************************************************
This message and any attachments (the "message") are confidential, intended solely for the addressee(s), and may contain legally privileged information.
Any unauthorised use or dissemination is prohibited. E-mails are susceptible to alteration.   
Neither SOCIETE GENERALE nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or
falsified.
                              ************
Ce message et toutes les pieces jointes (ci-apres le "message") sont confidentiels et susceptibles de contenir des informations couvertes 
par le secret professionnel. 
Ce message est etabli a l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisee est interdite.
Tout message electronique est susceptible d'alteration. 
La SOCIETE GENERALE et ses filiales declinent toute responsabilite au titre de ce message s'il a ete altere, deforme ou falsifie.
*************************************************************************

[-- Attachment #2: Type: text/html, Size: 3879 bytes --]

  reply	other threads:[~2010-09-14 12:16 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-09-14 12:09 Compiling Ocaml sources to c sources Vincent Gripon
2010-09-14 12:16 ` Rabih CHAAR [this message]
2010-09-14 12:35 ` [Caml-list] " David MENTRE
2010-09-15 13:18   ` Vincent Gripon
2010-09-15 19:59     ` Basile Starynkevitch
2010-09-15 22:16       ` Vincent Gripon
2010-09-14 12:43 ` Basile Starynkevitch
2010-09-15 12:59   ` Vincent Gripon
2010-09-15 17:36   ` Jon Harrop
2010-09-15 18:17     ` Eray Ozkural
2010-09-15 20:37       ` Jon Harrop
2010-09-16  0:38         ` Eray Ozkural
2010-09-16  9:05           ` Fabrice Le Fessant
2010-09-16 10:46             ` Eray Ozkural
2010-09-16 11:11               ` Fabrice Le Fessant
2010-09-14 12:47 ` Thomas Gazagnaire
2010-09-14 12:48   ` Grant Rettke
2010-09-15 13:04   ` Vincent Gripon
2010-09-15 19:57     ` Basile Starynkevitch

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=OF921155AE.728D3B80-ONC125779E.00430D1C-C125779E.00436E03@fr.world.socgen \
    --to=rabih.chaar@lyxor.com \
    --cc=caml-list-bounces@yquem.inria.fr \
    --cc=caml-list@yquem.inria.fr \
    --cc=vincent.gripon@telecom-bretagne.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox