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 A58D67FCCB for ; Thu, 9 Apr 2015 13:47:19 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=mailfrom; client-ip=132.168.224.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-out.extra.cea.fr) identity=helo; client-ip=132.168.224.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CeAQD4ZSZVnAjgqIRch0vBNokQOhIBAQEBAQEBEQEBAQEBBg0JCRQuhEkPAQVANgIFFgsCCwMCAQIBSw0IAogmpnSPVZZ1gSGRdYFFBaIgjUqBZwwBgh+DMAEBAQ X-IPAS-Result: A0CeAQD4ZSZVnAjgqIRch0vBNokQOhIBAQEBAQEBEQEBAQEBBg0JCRQuhEkPAQVANgIFFgsCCwMCAQIBSw0IAogmpnSPVZZ1gSGRdYFFBaIgjUqBZwwBgh+DMAEBAQ X-IronPort-AV: E=Sophos;i="5.11,549,1422918000"; d="scan'208";a="132355662" Received: from oxalide-out.extra.cea.fr ([132.168.224.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Apr 2015 13:47:19 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id t39BlIn6025520 for ; Thu, 9 Apr 2015 13:47:18 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 302B7208F4A for ; Thu, 9 Apr 2015 13:48:24 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 1A60C209B97 for ; Thu, 9 Apr 2015 13:48:24 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id t39BlH4l026455 for ; Thu, 9 Apr 2015 13:47:17 +0200 Message-ID: <552666C5.6070103@cea.fr> Date: Thu, 09 Apr 2015 13:47:17 +0200 From: =?UTF-8?B?RnJhbsOnb2lzIEJvYm90?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0 MIME-Version: 1.0 To: OCaml Mailing List Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] META file standards for native plugins Hi, Another topic which need a standard is native dynamic plugins. In fact there is a defacto standard (used by some libraries and tools, but not specified in ocamlfind documentation) but it is a bad one. archive(plugin,native) = "toto.cmxs" It is a bad one because the semantic of META file says that the value of `archive(native)` can be return when you ask the value of `archive` with the predicate `plugin` and the predicate `native` true. I discussed it with some people and the current proposition where * archive(plugin_native) * archive(plugin) * archive(shared) I personally prefer the `shared` predicate because it corresponds to the `-shared` option of ocamlopt that creates `.cmxs`. The predicate `shared` would be added to ocamlfind documentation. The prospective `ocamlfind check META` could recommend to add an `archive(shared)` if the `archive(native)` exists. For a transition period `archive(plugin,native)` and `archive(shared)` would be both present in the META. Thoughts or suggestions? Best regards, -- François Bobot