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 pBALOGdX027686 for ; Sat, 10 Dec 2011 22:24:16 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnABAKbM407RVdK2kWdsb2JhbABDqnYIIgEBAQEJCQ0HEieBcgEBAQEDEgIkCAEbHAIDDAYFCw0JFg8JAwIBAgEREQEFARwTBgIBAR6gBwqLZIJrhB89iHECBQyIR4MaBIgxjECFS4E0hnI9hBc X-IronPort-AV: E=Sophos;i="4.71,332,1320620400"; d="scan'208";a="122868035" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Dec 2011 22:24:10 +0100 Received: by iakl21 with SMTP id l21so577454iak.27 for ; Sat, 10 Dec 2011 13:24:09 -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:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=yB8T64PdKBjl40kuPkMESc3MC18TP7yEQ/M2gjIYjGs=; b=TKUftY1MT+UpBgSpCUZtufLQjFEhE/jqTWShOvW8d4SIrRuC4DO/RXYn5t+JZNFSpK JHgJp4gAH/rKZCxaNkLDuU0Gu/7d0ieyfLakhVtFDJYT3ByyrhzKA/sJflI0ZdJ14Fbu 5G2fqmRWXY5z/RYOmSD97g3fs2+bCXvlO15YQ= Received: by 10.50.42.166 with SMTP id p6mr8975902igl.17.1323552249404; Sat, 10 Dec 2011 13:24:09 -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 z22sm28111161ibg.5.2011.12.10.13.24.07 (version=SSLv3 cipher=OTHER); Sat, 10 Dec 2011 13:24:08 -0800 (PST) Message-ID: <4EE3CDF6.8040003@gmail.com> Date: Sat, 10 Dec 2011 16:24:06 -0500 From: Edgar Friendly User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111124 Thunderbird/8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <4EDE33A0.6070004@gmail.com> <4EE3C892.30003@gmail.com> <20111210211252.GC2144@ombreroze.happyleptic.org> In-Reply-To: <20111210211252.GC2144@ombreroze.happyleptic.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Some comments on recent discussions On 12/10/2011 04:12 PM, rixed@happyleptic.org wrote: > What I'd really like is a way to mix any version I want of the packages I > install, especially experimental versions for the packages I want to test or > contribute to. > I stopped using GODI some time ago because I wanted master of ocaml and > batteries but stable versions of everything else. So I ended up rolling my > own makefile-based installation/upgrade tool which is both annoying and > archaic. > > Is this in the planned feature list? > > This is possible currently, by using the --stable, --testing and --unstable flags when installing different packages. Of course, the downside of this is that there's no guarantee or test of compatibility between packages and different versions of OCaml (and possibly each other). Oasis packages can have versioned dependencies, which helps, but the only real guarantee I think that odb can make is that the stable repo all works with each other. Maybe the testing repo too, sometimes, but definitely not the unstable repo. The above all assumes that the versions you want are packaged and in oasis-db. Auto installation from repositories (or local directories) has been considered, but there's some more code to add, as currently the oasis-db server parses _oasis files for deps, and odb is designed to be extremely lightweight. On that note, one more thing about odb - it has no configuration or database of what packages are installed. It doesn't even have the ability to remove a package (not that this couldn't be hacked up in not too much time for library packages). If you ask it to install a package, it checks for deps by asking findlib what's installed. It doesn't try to control things as much as GODI seems to. It just does the minimum necessary to get the job done. This means it plays as nicely as possible with packages installed by whatever other means you wish, even GODI. E.