From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AFF4181792 for ; Thu, 4 Jul 2013 23:38:29 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiQFAMvq1VFQRFuw/2dsb2JhbABagwmDGiO9eoEFFnSCIwEBBTo/EAsYCRMSDwUoIYgmuQmGMok5B4MEaQOXSJFGgxI7 X-IPAS-Result: AiQFAMvq1VFQRFuw/2dsb2JhbABagwmDGiO9eoEFFnSCIwEBBTo/EAsYCRMSDwUoIYgmuQmGMok5B4MEaQOXSJFGgxI7 X-IronPort-AV: E=Sophos;i="4.87,997,1363129200"; d="scan'208";a="24654983" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 04 Jul 2013 23:38:24 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.80) (envelope-from ) id 1UurEK-000306-Qo; Thu, 04 Jul 2013 22:38:20 +0100 Date: Thu, 4 Jul 2013 22:38:20 +0100 From: "Richard W.M. Jones" To: Michel Mauny Cc: Francois Berenger , caml-list@inria.fr Message-ID: <20130704213820.GA23943@annexia.org> References: <51B1EBC1.3010401@lexifi.com> <20130703154910.GA23355@annexia.org> <51D4CB15.3070400@riken.jp> <51D519D4.4030205@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <51D519D4.4030205@inria.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] OCaml on zLinux On Thu, Jul 04, 2013 at 08:44:36AM +0200, Michel Mauny wrote: > 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. How plausible is writing an 'ocamlopt' wrapper that would just work? Rich.