From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oandrieu@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 DCA317F1AA
	for <caml-list@sympa.inria.fr>; Wed,  9 Sep 2015 15:20:00 +0200 (CEST)
IronPort-PHdr: 9a23:BGSHEx+ISQ+bYv9uRHKM819IXTAuvvDOBiVQ1KB80egcTK2v8tzYMVDF4r011RmSDdmdsq4P1bOempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRsiL04/pjqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysfZqvxDYUQqC4Ew8U2ManwBFGUCR1xzwV4ztsyb88Mp83iWXJ8DsZbEyQzWrqalxHlugoy4CM3Yd8XrLwph7hadf5RagvABXwojOYYjTOuAoLY3HetZPYm5AQMdcTWRoBI+mboYSR74GNOBUtYjwunMBqBK/AU+nA+a5mWwAvWP/waBvi7dpKgrBxgF1WotW6Hk=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oandrieu@gmail.com; spf=Pass smtp.mailfrom=oandrieu@gmail.com; spf=None smtp.helo=postmaster@mail-la0-f47.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  oandrieu@gmail.com) identity=pra; client-ip=209.85.215.47;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oandrieu@gmail.com";
  x-sender="oandrieu@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  oandrieu@gmail.com designates 209.85.215.47 as permitted
  sender) identity=mailfrom; client-ip=209.85.215.47;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oandrieu@gmail.com";
  x-sender="oandrieu@gmail.com"; 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@mail-la0-f47.google.com) identity=helo;
  client-ip=209.85.215.47;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="oandrieu@gmail.com";
  x-sender="postmaster@mail-la0-f47.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DWAgBWMfBVnC/XVdFdg3dpBoMeriWNXIV5AoEvBzwQAQEBAQEBAQEQAQEBAQEGDQkJIS6CHYIHAQEEEhEdARseAwwGBQsNAgImAgIiAREBBQEcBgESIod2AQMSDad/gS8+MYtAgWyCeYoVChknDVaEGgEBAQEGAQEBAQEBFgEBBA6BFIVRhHuFE4JpgUMFlVaFCodwmSwSI4EXgimBfzwziEkBAQE
X-IPAS-Result: A0DWAgBWMfBVnC/XVdFdg3dpBoMeriWNXIV5AoEvBzwQAQEBAQEBAQEQAQEBAQEGDQkJIS6CHYIHAQEEEhEdARseAwwGBQsNAgImAgIiAREBBQEcBgESIod2AQMSDad/gS8+MYtAgWyCeYoVChknDVaEGgEBAQEGAQEBAQEBFgEBBA6BFIVRhHuFE4JpgUMFlVaFCodwmSwSI4EXgimBfzwziEkBAQE
X-IronPort-AV: E=Sophos;i="5.17,496,1437429600"; 
   d="scan'208";a="176698417"
Received: from mail-la0-f47.google.com ([209.85.215.47])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Sep 2015 15:20:00 +0200
Received: by laeb10 with SMTP id b10so6744058lae.1;
        Wed, 09 Sep 2015 06:19:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type:content-transfer-encoding;
        bh=YQ7FLMF1UGSAYxQCFihb31yWlnsDXXUaqHWLtn16Xfo=;
        b=0McitE4vfg/aa9YPP6spwZ413pWmmxWC37LF4GOPOE/EOC6yRhifmJoBWz6PODTOUC
         0h0ExFHHSI2iub4epChFnVT8UL69fUNiU7LmBIHZL60A/SvXMRTdoz/eu0RNLORoYGVr
         25ZWzjmYFIHLdxW19SlryAW9t41TQPsxCHQoSQixRO3KIP1Gdg2c6Fe6+6VcW7G1l8KG
         1i7srnlOe/NW0qg15m2GZdpkxH35XgbJNhMHMXL+b7HZvAuOe1xSzkpNvbauC8wdOUQj
         7rV8jIhrXKf5uCESErjn8ZlB2I2CZTBmYcZ9rPqk9tBZAefDMLMK0N/8XwY0Tcv7JlJ1
         Jepg==
MIME-Version: 1.0
X-Received: by 10.112.204.162 with SMTP id kz2mr28760177lbc.115.1441804799496;
 Wed, 09 Sep 2015 06:19:59 -0700 (PDT)
Received: by 10.114.28.135 with HTTP; Wed, 9 Sep 2015 06:19:59 -0700 (PDT)
In-Reply-To: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr>
References: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr>
Date: Wed, 9 Sep 2015 15:19:59 +0200
Message-ID: <CAD5gH1Fe=Cx1W1f9WZ8qkdSqK7oHSmTo=THF3PbHQ1b01RMSxA@mail.gmail.com>
From: Olivier Andrieu <oandrieu@gmail.com>
To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= <Sebastien.Hinderer@inria.fr>, 
	Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Dynlink

On Wed, Sep 9, 2015 at 3:09 PM, S=C3=A9bastien Hinderer
<Sebastien.Hinderer@inria.fr> wrote:
> Dear all,
>
> It seems that, at least at some point in the past, Dynlink was not
> available everywhere. For instance as far as I could see it seems it was
> available for byte-code only. Is that correct? And if so, since which
> OCaml version is Dynlink available for both byte-code and native-code?

according to https://github.com/ocaml/ocaml/blob/trunk/Changes#L2125 :
  Objective Caml 3.11.0 (03 Dec 2008)

--=20
  Olivier