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 401B87FCCB for ; Tue, 14 Apr 2015 14:21:37 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel@kerneis.info designates 176.31.113.173 as permitted sender) identity=mailfrom; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@wanbli.kerneis.info designates 176.31.113.173 as permitted sender) identity=helo; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@wanbli.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CcEgBJBS1V/61xH7BcgwxSXIMVu0eHAwGBV4V/AoE+PQ8BAQEBAQEBfUEFg1oBAQQjDwEFCAEBOA8EBxoCGA4CAlcGG4gmAQi0InCEYQEFkUoCBIEhigqCZoFLUhaCUoFFAZFGg0WNJI1gIoFFPhyBUjwxgkMBAQE X-IPAS-Result: A0CcEgBJBS1V/61xH7BcgwxSXIMVu0eHAwGBV4V/AoE+PQ8BAQEBAQEBfUEFg1oBAQQjDwEFCAEBOA8EBxoCGA4CAlcGG4gmAQi0InCEYQEFkUoCBIEhigqCZoFLUhaCUoFFAZFGg0WNJI1gIoFFPhyBUjwxgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,576,1422918000"; d="scan'208";a="134564962" Received: from wanbli.kerneis.info ([176.31.113.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 14 Apr 2015 14:21:36 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1; h=Subject:Message-ID:References:In-Reply-To:From:Date:Content-Transfer-Encoding:Content-Type:MIME-Version:To; bh=Lj1XCylQ0HkHTMZCWqgQf1Vx4F8Kc3YvFzJIu1n0sNc=; b=B66SJju40bliAVZL6Kp6HLx5n9ovPRkwvrQwPSBxcewm0du4TTZvd0Ax4G5QxVObZ5E5L4XY/YWQMPq1YTnJYFmnEnQcxZ/7XCDbpvPE4M/H+9Xpzy9bThx1BOESuXG7SvI3+OHp8UzPg5+4AhiaJBd2fhm/X4esW7NsVKtKiKU=; Received: from www-data by wanbli.kerneis.info with local (Exim 4.80) (envelope-from ) id 1YhzqQ-0004Xa-JT for caml-list@inria.fr; Tue, 14 Apr 2015 12:21:35 +0000 To: X-PHP-Originating-Script: 0:main.inc MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Tue, 14 Apr 2015 14:21:34 +0200 From: Gabriel Kerneis In-Reply-To: <54F5B3F7.3030705@cea.fr> References: <54F5B3F7.3030705@cea.fr> Message-ID: <7572d9eb7e867b89a7bb265f20606f17@kerneis.info> X-Sender: gabriel@kerneis.info User-Agent: Roundcube Webmail/0.7.2 X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: gabriel@kerneis.info X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on wanbli.kerneis.info X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000) X-SA-Exim-Scanned: Yes (on wanbli.kerneis.info) Subject: Re: [Caml-list] Dependencies between plugins Le 2015-03-03 15:15, François Bobot a écrit : > Even if many libraries compile a cmxs and have in their META file > `archive(plugin,native)=...`. I know only one tool that uses this > information: the ocsigen server. The code to gather all the cmxs or > cma is not hard to write, thanks to findlib: > > > https://github.com/ocsigen/ocsigenserver/blob/master/src/baselib/ocsigen_loader.ml#L165 I'm very late to the party, but for the sake of completeness, note that I did something similar to add plugins to CIL: https://github.com/cil-project/cil/blob/develop/src/feature.ml#L96 It was 1.5 years ago, and then I never updated the doc, and the release is still pending so I don't remember the details. But I do remember that it was a pain to make it work reliably, so a library would be much welcome :-) Best regards, -- Gabriel