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 4580D7EEE0 for ; Fri, 6 Mar 2015 12:45:41 +0100 (CET) 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: A0C0AACskvlUnAjgqIRcyUCCUQKBPU0BAQEBAQEQAQEBAQEICwkJFC6EEAEFMgEFQBELGAkWDwkDAgECAUUTCAKIK889AQsBH4sXhHUWhBUFoEeMfIQSgzEBAQE X-IPAS-Result: A0C0AACskvlUnAjgqIRcyUCCUQKBPU0BAQEBAQEQAQEBAQEICwkJFC6EEAEFMgEFQBELGAkWDwkDAgECAUUTCAKIK889AQsBH4sXhHUWhBUFoEeMfIQSgzEBAQE X-IronPort-AV: E=Sophos;i="5.11,352,1422918000"; d="scan'208";a="124712357" 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; 06 Mar 2015 12:45:40 +0100 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 t26BjevT024126 for ; Fri, 6 Mar 2015 12:45:40 +0100 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 7B63A202733 for ; Fri, 6 Mar 2015 12:45:55 +0100 (CET) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 6A0DF202603 for ; Fri, 6 Mar 2015 12:45:55 +0100 (CET) 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 t26Bjeqf025753 for ; Fri, 6 Mar 2015 12:45:40 +0100 Message-ID: <54F99364.8030901@cea.fr> Date: Fri, 06 Mar 2015 12:45:40 +0100 From: =?ISO-8859-15?Q?Fran=E7ois_Bobot?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.4.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <54F5B3F7.3030705@cea.fr> <1425394551.4056.1.camel@thinkpad.lan.sumadev.de> <1735_1425463114_54F6D748_1735_16789_8_54F6D731.3090004@cea.fr> In-Reply-To: <1735_1425463114_54F6D748_1735_16789_8_54F6D731.3090004@cea.fr> Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Dependencies between plugins On 04/03/2015 10:58, François Bobot wrote: > - If you define `archive(native)` and not `archive(native,plugin)` the error is not nice (in > Dynlink.Error). Perhaps I should add a `Package_not_dynamically_loadable of string` error, that > should catch the loading of something else than `*.cmxs`. Does someone know why the archive for native plugin use `archive(native,plugin)`? It seems that, according to the semantic of variable in META file, it would be better if it is `archive(native_plugin)`. The problem is that `(native,plugin)` means that `archive(native)` is okay if there is no `archive(native,plugin)`. Whereas `cmxs` and `cmxa` are as different as `cma` and `cmxa`. -- François