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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BAD167F1AA for ; Wed, 9 Sep 2015 15:26:09 +0200 (CEST) IronPort-PHdr: 9a23:h6NV4hL6wU4WTNxSntmcpTZWNBhigK39O0sv0rFitYgVLvXxwZ3uMQTl6Ol3ixeRBMOAu64C0rad7fmocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC04Lui6vsotX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0vb2rgHORhej4X4VU2Ne0kYZQluN0BavZRb7uzDmt+d77wmbO8H7V70uEWCZ4q1iUwPphSFBFz8//GzNh9ZYjaRBoRvnqQYph8bfaYSRfOdlc7nGNYcRTG9FG8JQTDBpA4WmboJJAfBXbshCqIyoiFIEtxqzAUGXD+Pi0DJSziv51Kcg0uklVxrN3AE6Esgmv3HdrdGzP6AXB7PmhJLUxCnOOqsFkQz275LFJ1V8+Pw= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f181.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CdAwC3MvBVm7XfVdFdg0I1aQaDHqkehQeLZYF5hT06AoEvBzoSAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEEEhEdARsSDAMMBgULBwYCAgkdAgIiAREBBQEKBA4GARIIChCHdgEDEg2oAYEvPjGLQIFsgnmKEgoZJwMKVoQaAQEIAQEBAQEXAQUOgRSFUYR7hB47OoJpgUMBBIV7DI9PhQqHcIISlxoSI4EXgimBfzwzBYhEAQEB X-IPAS-Result: A0CdAwC3MvBVm7XfVdFdg0I1aQaDHqkehQeLZYF5hT06AoEvBzoSAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEEEhEdARsSDAMMBgULBwYCAgkdAgIiAREBBQEKBA4GARIIChCHdgEDEg2oAYEvPjGLQIFsgnmKEgoZJwMKVoQaAQEIAQEBAQEXAQUOgRSFUYR7hB47OoJpgUMBBIV7DI9PhQqHcIISlxoSI4EXgimBfzwzBYhEAQEB X-IronPort-AV: E=Sophos;i="5.17,496,1437429600"; d="scan'208";a="176699634" Received: from mail-io0-f181.google.com ([209.85.223.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Sep 2015 15:26:08 +0200 Received: by iofb144 with SMTP id b144so21703100iof.1; Wed, 09 Sep 2015 06:26:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=uh+Dii94dP2fvs5qCT5/L7Q7ryACICtnfEme+2fFXeI=; b=fxbS/xhSYQzimE5kiEQxwBgbiUDcoFCNhov93hWkCZz6F46yNXB66r240aQz+QVA1a ZW4lYHSNKDMJK2O0xF7FvGbdK7SaaBuIi6SvkA7JAFqjz/Vixd2/2Jn4hsaW21Wb3m0F NLW7oceO52oiyeNLnmrNbtmarZ1ggvrdGOXOryVh+ceACrAKv4TssgZq5oTmzbPFKamJ 94lxcGGLj8AdUHz4hv/MpOklxjcjdnB+wAtSDjHnZ3UQcxRDjxLPr/WjeB87HD0Zwv40 lNRj5Fp2R5wuwDfKX/XWvMXoxy6/pBeZv3JtH5gBn51wAyiMh52aoFkvBvq8l59iJde6 hNrA== X-Received: by 10.107.159.205 with SMTP id i196mr49603710ioe.84.1441805167338; Wed, 09 Sep 2015 06:26:07 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.19.68 with HTTP; Wed, 9 Sep 2015 06:25:28 -0700 (PDT) In-Reply-To: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr> References: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr> From: Gabriel Scherer Date: Wed, 9 Sep 2015 15:25:28 +0200 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Dynlink According to the Changes file, https://github.com/ocaml/ocaml/blob/trunk/Changes native dynlink was first introduced in 3.11.0, released in December 2008. Its support depends on both the operating system and the architecture. For example, natdynlink was only supported on ARM machines starting from 4.00 (July 2012). The current configuration code is available at https://github.com/ocaml/ocaml/blob/ee9d50e899f98283620db5693f6e43a340422= 756/configure#L634-L778 It seems to be currently supported on most x86 and x86-64 systems, but only on Linux for PowerPC and Sparc, and only on Linux and FreeBSD for ARM. On Wed, Sep 9, 2015 at 3:09 PM, S=C3=A9bastien Hinderer 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? > > Are there other environments in which Dynlink is not supported? > > Many thanks for any information. > > Best wishes, > > S=C3=A9bastien. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs