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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 8CBADBC58 for ; Tue, 14 Sep 2010 14:35:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEBAJYIj0zRVda0kGdsb2JhbAChRwgVAQEBAQkJDAcRAx+nU4tFhkmIZwEBAwWFOwSKJ4h7 X-IronPort-AV: E=Sophos;i="4.56,364,1280700000"; d="scan'208";a="59249076" Received: from mail-iw0-f180.google.com ([209.85.214.180]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2010 14:35:39 +0200 Received: by iwn8 with SMTP id 8so8051985iwn.39 for ; Tue, 14 Sep 2010 05:35:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:sender:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type; bh=8eirsg9jdSaYNlvpF8dEFRyhVm+cP+++Y2U6m8x2I/Q=; b=dE2O0jQ49xvati67n1ppPXHde5CYs+MuiFaMZiAY+2+TpSy3Btb1XfqX4fXxx53Jcr pComi1YVR1NMYD9R3b1ap2GP/5o9O4DHY2Szace7sRGiEfG5396INkN0jbN0PQ9o+Dev 7VKIVhz2YGQZJb+RYyc9aiIRwuYDtl5S4DQlk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=iVTtFh4T/ACa48si5Lkr2zEs5nVpHNr+YqR3wI6m+2h8spJmLrnR2jVCUCL8A4G75k nPLaEBqooHeMO0kQeFg1KXTTlElFZAuHcno4EAZKYoO02BAU3GUqinEaXAy6GBaEZiBq 0oBKpXAY4CXbv/uW3pQeU9MO2ZnsAjxb3BwHM= Received: by 10.231.79.77 with SMTP id o13mr8098910ibk.36.1284467739230; Tue, 14 Sep 2010 05:35:39 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.231.113.85 with HTTP; Tue, 14 Sep 2010 05:35:09 -0700 (PDT) In-Reply-To: <4C8F660B.4060901@telecom-bretagne.eu> References: <4C8F660B.4060901@telecom-bretagne.eu> From: David MENTRE Date: Tue, 14 Sep 2010 14:35:09 +0200 X-Google-Sender-Auth: bqCdGvFmbM3qO1YNsZYYr8wlZq0 Message-ID: Subject: Re: [Caml-list] Compiling Ocaml sources to c sources To: Vincent Gripon Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; ocaml:01 ocaml:01 byte:01 byte:01 compile:01 compile:01 caml-list:01 compiling:02 vincent:07 vincent:07 interpreter:07 probably:07 structure:07 embedded:08 source:12 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