From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <xavier.leroy@inria.fr>
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 B83697F1AA
	for <caml-list@sympa.inria.fr>; Wed,  9 Sep 2015 15:34:13 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.17,496,1437429600"; 
   d="scan'208";a="176701012"
Received: from estephe.inria.fr (HELO [128.93.11.95]) ([128.93.11.95])
  by mail2-relais-roc.national.inria.fr with ESMTP; 09 Sep 2015 15:34:13 +0200
Message-ID: <55F03555.6040306@inria.fr>
Date: Wed, 09 Sep 2015 15:34:13 +0200
From: Xavier Leroy <xavier.leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.8.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr> <CAD5gH1Fe=Cx1W1f9WZ8qkdSqK7oHSmTo=THF3PbHQ1b01RMSxA@mail.gmail.com> <20150909132919.GA4196@pl-59055.rocqadm.inria.fr>
In-Reply-To: <20150909132919.GA4196@pl-59055.rocqadm.inria.fr>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Dynlink

On 09/09/2015 15:29, Sébastien Hinderer wrote:
> Indeed, the file says:
> 
> - Dynlink: on some platforms, the Dynlink library is now available in
>   native code.
> 
> Is there a more precise list of platforms on which this is available?

You can't get more precise than the configure script of OCaml :-)

> Is there a way for a configure script to programmatically determine the
> availability of the feature on one given platform?

Just check for the presence of dynlink.cmxa in OCaml's standard
library directory.

- Xavier Leroy