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 DBD2F7FCCB for ; Tue, 14 Apr 2015 10:59:51 +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.167.192.145; 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.167.192.145; 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@sainfoin-out.extra.cea.fr) identity=helo; client-ip=132.167.192.145; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DzAAAx1ixVnJHAp4Rcg15cxyGGAQKBRTsRAQEBAQEBAREBAQEBAQgLCQkULoQgAQEEMgEFQAEQCw4KCRYPCQMCAQIBRQYBDAEHAogmDcw0AQEBAQEBAQECAQEBAQEBAQEBARQEiyuEfAeELQEElQWNLo1UhBNtAYJCAQEB X-IPAS-Result: A0DzAAAx1ixVnJHAp4Rcg15cxyGGAQKBRTsRAQEBAQEBAREBAQEBAQgLCQkULoQgAQEEMgEFQAEQCw4KCRYPCQMCAQIBRQYBDAEHAogmDcw0AQEBAQEBAQECAQEBAQEBAQEBARQEiyuEfAeELQEElQWNLo1UhBNtAYJCAQEB X-IronPort-AV: E=Sophos;i="5.11,575,1422918000"; d="scan'208";a="134400841" Received: from sainfoin-out.extra.cea.fr ([132.167.192.145]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Apr 2015 10:59:51 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id t3E8xoKY023462; Tue, 14 Apr 2015 10:59:50 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id CF7FD203B31; Tue, 14 Apr 2015 11:01:02 +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 B6A64203B15; Tue, 14 Apr 2015 11:01:02 +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 t3E8xnbZ018869; Tue, 14 Apr 2015 10:59:49 +0200 Message-ID: <552CD705.9000508@cea.fr> Date: Tue, 14 Apr 2015 10:59:49 +0200 From: =?ISO-8859-15?Q?Fran=E7ois_Bobot?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.5.0 MIME-Version: 1.0 To: Gerd Stolpmann , Ivan Gotovchits CC: OCaml Mailing List References: <54F5B3F7.3030705@cea.fr> <1425394551.4056.1.camel@thinkpad.lan.sumadev.de> <54F6D731.3090004@cea.fr> <1428953391.22412.40.camel@e130.lan.sumadev.de> In-Reply-To: <1428953391.22412.40.camel@e130.lan.sumadev.de> Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Dependencies between plugins On 13/04/2015 21:29, Gerd Stolpmann wrote: > Am Montag, den 13.04.2015, 15:27 -0400 schrieb Ivan Gotovchits: >> Are there any movement in this direction, or this patches will die? > > Don't think so. Slowness on my side. On my side, I haven't yet written the documentation. My main impediment is to choose which predicates to use for the cmxs in the META file: 1) to keep archive(plugin,native) because it is the defacto standard 2) to move to something that is semantically right: archive(native_plugin) or archive(shared). Does anybody have a though about that? Gabriel, does my argument convinced you? Follow up to "[Caml-list] META file standards for native plugins" https://sympa.inria.fr/sympa/arc/caml-list/2015-04/msg00043.html -- François