From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DD4Yk3005071 for ; Mon, 13 Feb 2012 14:04:34 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjYCALoJOU/RVdK2mGdsb2JhbABEgxGCA6pvCCIBAQEBAQgJDQcUJ4FyAQEBBBICDxUIARscAQEDDAYFCwMKAgIFFgsCAgkDAgECARERAQUBHAYNAQcBAR6mNAqLJkuCcIRQP4ELAgULgSSKGQYhBQoEAQcBBQQDBAsCBwUGAQMCFBMGg2AJGQ8CBgWCSIEWBIhKjGiFWoE6hxE9hCA X-IronPort-AV: E=Sophos;i="4.73,412,1325458800"; d="scan'208";a="131140360" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Feb 2012 14:04:28 +0100 Received: by iaeo4 with SMTP id o4so6462281iae.27 for ; Mon, 13 Feb 2012 05:04:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=+JifkczBf9YQ1kFXhZOHu/MuuDeUB1ZoJbcxLujtCZA=; b=cv3Wf0PSGdjo3WKjiLktw4b71rUVz2lZWArjRyPWpbvi/y5bWNtE6sYNADknOLI7b2 bELZXymuke6Uwk+rudkwC2IzZI7IB64t/X3sgKQz6uusWNR+00tdJLPGewvuSp5tHoc1 I0ltCHNws9FUpqLHEk5U0ppL9nQQraaV1Y1y0= Received: by 10.42.156.137 with SMTP id z9mr21604301icw.28.1329138267456; Mon, 13 Feb 2012 05:04:27 -0800 (PST) Received: from [192.168.1.65] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10]) by mx.google.com with ESMTPS id e17sm27718501ibe.0.2012.02.13.05.04.24 (version=SSLv3 cipher=OTHER); Mon, 13 Feb 2012 05:04:26 -0800 (PST) Message-ID: <4F390A57.2020209@gmail.com> Date: Mon, 13 Feb 2012 08:04:23 -0500 From: Edgar Friendly User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111229 Thunderbird/9.0 MIME-Version: 1.0 To: Arnaud Spiwack CC: "caml-list@inria.fr" References: <4F36D930.70008@gmail.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Package installation assumptions made by odb On 02/13/2012 06:01 AM, Arnaud Spiwack wrote: > I see an immediate problem with packages that install several executable > files (for instance, Melt provides a library and a collection of tools, > none of them named melt, by the way). I haven't spent time looking more > than superficially into oasis or odb yet, but it strikes me as a > possibly important limitation. > It looks like the executable is now named melt-build. In this case, odb would expect the melt project name to be "melt-build" so that its simple logic can detect if melt is already installed. This does not have any affect beyond changing the name that must be typed on the command line to install melt (`odb melt-build` instead of `odb melt`), and the name for dependencies by other projects (projects depending on melt would have to specify `dep=melt-build` instead of `dep=melt`). Also, if melt installs an ocamlfind library named melt, then its odb package name could be melt or melt-build, depending on which part of melt should be used to detect its installation. At the moment, odb doesn't really do version handling (mainly because it's difficult to get a version number from an executable), although this is a weakness where odb might improve. This assumption of executables and libraries being named the same as the package isn't critical to the design of odb, it's just a simplifying assumption that works quite well (and would work for melt up to the last version when its executable was renamed). If there's good reason to have more complex installed-program detection, this is easily doable, but the workarounds are simple enough at the moment that this doesn't seem to be a problem. E.