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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6190F81792 for ; Mon, 8 Jul 2013 19:19:02 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: Ap4JAGvz2lGwH3Gt/2dsb2JhbABagwkygw6+IwQEAYEUFnSCIwEBBScLAQ0BATcBDwsYCRMSDwUoEBGIJginEoRBAQWNSAIEjlSBFweDB2mOUIkFhhiLMYMS X-IPAS-Result: Ap4JAGvz2lGwH3Gt/2dsb2JhbABagwkygw6+IwQEAYEUFnSCIwEBBScLAQ0BATcBDwsYCRMSDwUoEBGIJginEoRBAQWNSAIEjlSBFweDB2mOUIkFhhiLMYMS X-IronPort-AV: E=Sophos;i="4.87,1021,1363129200"; d="scan'208";a="20393517" Received: from wanbli.kerneis.info ([176.31.113.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 08 Jul 2013 19:19:01 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1; h=In-Reply-To:Content-Transfer-Encoding:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=FmQpGRSAE8MnPIYTnreny3FrU69RjSTuHcigAQvYqHM=; b=dKFPt4yr2/dDYBSzeLOLNJtrVP8PopvsduIHDIuwkgeB3Irx5Cd5FqoP2An/+2ZXpcrirp+9OtrEznV3EeUrxffMJ7a+x6S6jSXC6ssTBl9HOOId6r8d61fI7jfnyBC6qrpxI9y/Oefazi9YlBxdwQgKXROLo/NyEtp8ENXpD9Y=; Received: from abordeaux-654-1-207-112.w109-214.abo.wanadoo.fr ([109.214.186.112] helo=wacehi.kerneis.info) by wanbli.kerneis.info with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1UwF5M-0000i6-Sq; Mon, 08 Jul 2013 17:18:48 +0000 Received: from gabriel by wacehi.kerneis.info with local (Exim 4.80) (envelope-from ) id 1UwF5G-0001CW-Rv; Mon, 08 Jul 2013 18:18:42 +0100 Date: Mon, 8 Jul 2013 18:18:42 +0100 From: Gabriel Kerneis To: Daniel =?iso-8859-1?Q?B=FCnzli?= Cc: Thomas Gazagnaire , Dagnat Fabien , "caml-list@inria.fr" Message-ID: <20130708171842.GB4525@kerneis.info> References: <8D4165F2-D097-4497-AD9F-18AFA1E21266@telecom-bretagne.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-SA-Exim-Connect-IP: 109.214.186.112 X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on wanbli.kerneis.info); SAEximRunCond expanded to false X-Validation-by: gabriel@kerneis.info Subject: Re: [Caml-list] =?UTF-8?Q?man=2C_doc=2C_=E2=80=A6_and_opam?= On Mon, Jul 08, 2013 at 04:41:55PM +0100, Daniel Bünzli wrote: > However now that I decided to go the ocamlbuild only + install file route for > pure ocaml packages it would be nice if there was a way for ocamlbuild to tell > us, given an .mllib (or .itarget) file, all the installable artefacts it > *might* generate as it does actually have that knowledge and I'd prefer not to > reencode it my scripts. I fully agree with the request. For CIL, I do this with a custom rule .mllib -> .libfiles in myocamlbuild.ml, but it is an ugly hack I am not very proud of (and in fact no quite sure how reliable it is): https://github.com/kerneis/cil/blob/develop/myocamlbuild.ml#L7 I've seen reinvented in some Debian packages as well. A unified ocamlbuild + ocamlfind mechanism would be great here. Best, -- Gabriel