From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 830597EF5E for ; Thu, 14 Jul 2016 21:26:54 +0200 (CEST) IronPort-PHdr: 9a23:U606axChM9P29kAhHnkQUyQJP3N1i/DPJgcQr6AfoPdwSP7/ocbcNUDSrc9gkEXOFd2CrakV06yK6eu5AD1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14LrjavrosybSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGDAO7HIHTmQblFJoAg7J4Qv3RN+liSbwv/Fh2SSce+33S7w5Qzm4x6ZtUh7hzikdYW1quFrLg9B92foI6CmqoAZyltbZ Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sebastien.Hinderer@inria.fr; spf=None smtp.mailfrom=SRS0=CjrA=TE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster@sonata.ens-lyon.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sebastien.Hinderer@inria.fr) identity=pra; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=CjrA=TE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="Sebastien.Hinderer@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of SRS0=CjrA=TE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org) identity=mailfrom; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=CjrA=TE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="SRS0=CjrA=TE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@sonata.ens-lyon.org designates 140.77.166.138 as permitted sender) identity=helo; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=CjrA=TE=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="postmaster@sonata.ens-lyon.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ADAABz5odXl4qmTYxchAcNbbBjiBiCHYcsOhIBAQEBAQEBAREBAQEBAQYYB1CCMhWCFgEFIw8BVgsaAgUTDgICDy0biEkECrJpjmMFgQGJdoQpY4I1K4IvBZkfhhKIPY87kBcCJQeBYAyCL4haAQEB X-IPAS-Result: A0ADAABz5odXl4qmTYxchAcNbbBjiBiCHYcsOhIBAQEBAQEBAREBAQEBAQYYB1CCMhWCFgEFIw8BVgsaAgUTDgICDy0biEkECrJpjmMFgQGJdoQpY4I1K4IvBZkfhhKIPY87kBcCJQeBYAyCL4haAQEB X-IronPort-AV: E=Sophos;i="5.28,364,1464645600"; d="scan'208";a="184859049" Received: from sonata.ens-lyon.org ([140.77.166.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Jul 2016 21:26:53 +0200 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id C926920105; Thu, 14 Jul 2016 21:26:53 +0200 (CEST) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id qVRt5JPe6iJg; Thu, 14 Jul 2016 21:26:53 +0200 (CEST) Received: from pema.homeunix.org (AStrasbourg-652-1-157-156.w109-221.abo.wanadoo.fr [109.221.176.156]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id A3654200F1; Thu, 14 Jul 2016 21:26:53 +0200 (CEST) Received: from seb by pema.homeunix.org with local (Exim 4.87) (envelope-from ) id 1bNmHd-0004U1-1E; Thu, 14 Jul 2016 21:26:53 +0200 Date: Thu, 14 Jul 2016 21:26:53 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20160714192653.GA17159@pema> Mail-Followup-To: caml-list@inria.fr References: <1468359569.25014.103.camel@e130.lan.sumadev.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <1468359569.25014.103.camel@e130.lan.sumadev.de> Subject: Re: [Caml-list] ocamlnat Hi Gerd, Gerd Stolpmann (2016/07/12 23:39 +0200): > Hi, > > I've tried to reactivate the ocamlnat tool that comes with OCaml but > isn't built (and even isn't buildable). This repo was tested against > 4.02.3: > > https://gitlab.camlcity.org/gerd/ocamlnat > > Since recently I'm quite interested in this, and would like to make it > fully working, including ocamlfind support. For my use case the > disadvantages of the ocamlnat approach (i.e. that it requires toolchain > support for dynlinking, and that the executable continuously grows) do > not matter - I really want it for interactive work, and not for > scripting. I just wanted to mention that ocamltest's "toplevel" builtin test runs a test-file in both the byte-code and the native toplevel. For some tests the results are a bit different in the two toplevels, but for most of them they are similar. Sébastien.