From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mauny.inria@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 3B44E817AA
	for <caml-list@sympa.inria.fr>; Thu,  4 Jul 2013 08:44:36 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  mauny.inria@gmail.com) identity=pra;
  client-ip=209.85.212.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="mauny.inria@gmail.com";
  x-sender="mauny.inria@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  mauny.inria@gmail.com designates 209.85.212.181 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="mauny.inria@gmail.com";
  x-sender="mauny.inria@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f181.google.com) identity=helo;
  client-ip=209.85.212.181;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="mauny.inria@gmail.com";
  x-sender="postmaster@mail-wi0-f181.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AncBANsY1VHRVdS1k2dsb2JhbABagzuDCr8EFg4BAQEBBwsLCRQEJIIjAQEEATIBDQESJQEBAwELAQUFIRYPCQMCAQIBIgEFARwGDQEHAQGHeQMJBgQInGiPTIQ+Jw2ISwEBBAyTUwOXSY9gP4Fdglw
X-IPAS-Result: AncBANsY1VHRVdS1k2dsb2JhbABagzuDCr8EFg4BAQEBBwsLCRQEJIIjAQEEATIBDQESJQEBAwELAQUFIRYPCQMCAQIBIgEFARwGDQEHAQGHeQMJBgQInGiPTIQ+Jw2ISwEBBAyTUwOXSY9gP4Fdglw
X-IronPort-AV: E=Sophos;i="4.87,992,1363129200"; 
   d="scan'208";a="19953466"
Received: from mail-wi0-f181.google.com ([209.85.212.181])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Jul 2013 08:44:35 +0200
Received: by mail-wi0-f181.google.com with SMTP id hq4so861506wib.8
        for <caml-list@inria.fr>; Wed, 03 Jul 2013 23:44:35 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:message-id:date:from:organization:user-agent:mime-version:to
         :cc:subject:references:in-reply-to:content-type
         :content-transfer-encoding;
        bh=ASal7Bepecow1MvyCJD036nrbR1cDUl0mO0oAAHFNtY=;
        b=WOEgjQId9xFMB2Sj6TYokU0/vGjhccklZkbCnI9shOBahZRUhVqQSTBKPa94/5RHyl
         ZK00WV0sDEc1mbI6/h3jlq753jgd2Mgqp4i8q20wCDd+5nJYBAaeMUHpv660m+dl9uxt
         5T/VPvrkKXjx2TT6rp5x9+puvh+QDlSC2IllCD5PsdL+o6uiNcip9r+sKF29RFAljfqQ
         qMF5iMug5MWaRvbmEF1QAtE/TQiZIomAe17iVyElKb2eF1pHi75kNlsyfdPnwWWi5I8e
         GFGTPYC5Ux8xfLuh97Do91pMADX+QylyYA9STk42NHY7dJWExXK7FgwL5cPJFVBtLu5M
         bHzg==
X-Received: by 10.180.82.196 with SMTP id k4mr4682068wiy.0.1372920275135;
        Wed, 03 Jul 2013 23:44:35 -0700 (PDT)
Received: from pcmm.ensta.fr (finiasz.net. [94.23.15.65])
        by mx.google.com with ESMTPSA id p1sm32480070wix.9.2013.07.03.23.44.33
        for <multiple recipients>
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Wed, 03 Jul 2013 23:44:34 -0700 (PDT)
Sender: Michel Mauny <mauny.inria@gmail.com>
Message-ID: <51D519D4.4030205@inria.fr>
Date: Thu, 04 Jul 2013 08:44:36 +0200
From: Michel Mauny <Michel.Mauny@inria.fr>
Organization: ENSTA-ParisTech
User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/6.0.1 Mnenhy/0.7.5.0
MIME-Version: 1.0
To: Francois Berenger <berenger@riken.jp>
CC: caml-list@inria.fr
References: <51B1EBC1.3010401@lexifi.com> <20130703154910.GA23355@annexia.org> <51D4CB15.3070400@riken.jp>
In-Reply-To: <51D4CB15.3070400@riken.jp>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] OCaml on zLinux

Hi,

Francois Berenger écrit/writes [04/07/2013 03:08] :

> I think there is a bytecode to C compiler somewhere.

It's named OCamlCC and is available as an OPAM package:

  opam install ocamlcc

or get the source at:

  https://github.com/ocaml-bytes/ocamlcc

> But I am not sure about its state in fact.

Works out of the box, and has good performances. It does not support
yet dynamic loading, though.

No known bug, but reports, comments and contributions (through github) are welcome.

Best,

-- 
Michel Mauny

ENSTA ParisTech