From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 17295BC6C for ; Wed, 30 Jan 2008 10:06:42 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAD/Nn0fAXQImh2dsb2JhbACQJwEBAQgKKZ9C X-IronPort-AV: E=Sophos;i="4.25,276,1199660400"; d="scan'208";a="21968060" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Jan 2008 10:06:48 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0U96ePW007321 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 30 Jan 2008 10:06:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAE/Mn0dQW+UCh2dsb2JhbACQJwEBAQgKKZ84 X-IronPort-AV: E=Sophos;i="4.25,276,1199660400"; d="scan'208";a="8527406" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jan 2008 10:06:40 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1JK8tx-0005MK-V8 for caml-list@inria.fr; Wed, 30 Jan 2008 09:06:38 +0000 Received: from ks300734.kimsufi.com ([91.121.65.225]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 30 Jan 2008 09:06:37 +0000 Received: from sylvain by ks300734.kimsufi.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 30 Jan 2008 09:06:37 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Subject: Re: [OSR] Ports-like package management system Date: Wed, 30 Jan 2008 09:06:29 +0000 (UTC) Message-ID: References: <479F0664.2070706@exalead.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: ks300734.kimsufi.com User-Agent: slrn/0.9.8.1pl2 (Debian) Sender: news X-Miltered: at discorde with ID 47A03E20.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; le-gall:01 berke:01 durak:01 berke:01 durak:01 ocaml:01 markus:01 non-trivial:01 flags:01 compilations:01 gentoo:01 cvs:01 wget:01 foo:01 flags:01 On 29-01-2008, Berke Durak wrote: > Hello, > > Following Markus's message, discussions with Nicolas Pouillard and > Sylvain Le Gall and others, and of course my previous work in the EDOS > project, here are some thoughts about package management systems > (PMSs) for Ocaml. > > First, the PMSs of Linux distributions are perfectly adequate for end > users and administrators having to deploy and manage identical > packages accross multiple machines. These are very complex systems > including a substantial social part. > > But they are not very suitable for developers. > > As Markus pointed out, developers cannot go thru a packaging step to > test the result of a change, much less wait for the fine Debian team. > > One reason is that most developers, including myself, cannot be > bothered to package software for a Linux distribution, because correct > packaging is complex and requires adherence to a set of rules must be > remembered and which cannot all be checked by software. As packaging > is not done very often, you tend to forget those rules, and that is > why we have people who package often to not forget the rules: > maintainers. Without maintainers, we would be in a world of pain to > install any piece of non-trivial software and we are thankful to them. > > But developers absolutely need to be able to work on multiple versions > of the same software component at once, patch those versions or > compile them with unusual flags, and often use the absolutely latest > unpackaged version. And that is the second reason why the Debian or > Red Hat PMSs are not adequate. They have a single global state per > system, which includes the installed files, and the package database, > and cannot handle multiple versions of the same package, nor multiple > compilations of the same version. (This also applies to Gentoo.) > > We thus need versions, and lots of them! We need to base our > developer packages on a version control system, in the style of BSD > ports. BSD ports are usually based on CVS, sometimes on Subversion. > As we are looking to increase collaboration, having a single point of > contention is a serious limitations of these centralized systems; > we'll prefer more recent "distributed" version control system. > > Of available distributed VCSs with a serious user base, we have Darcs, > Mercurial and Git. > [...] > > So I am calling for a solution based on a ports-like system but based > on a distributed VCS and on an improved ocamlbuild. Please don't go into this. If you want to talk about PM, don't talk about VCS. My point is that if you want to build something that last you should keep focus on PM, which is not really bound to VCS (like content of files is not bound to filesystem). There is no best VCS for doing PM. We just should handle a way to : * let anyone use a different VCS * be able to download at least a version of each different packages The most simple way to handle this, to my mind: * distribute METADATA for packaging into ftp/http * put a link to the VCS inside METADATA, to tell where you can find most recent one This way, you will be able to download the repository of METADATA using a simple curl/wget/any other client that allow to download things. You will also be able to modify it by either checking it out from the VCS (can be automated using the VCS metadata) or by producing patches and sending it to the metadata author. We, in Debian, are using this way. It works pretty well and don't let people going into endless discussion about Git being faster than Darcs -- but less useful than Hg. > Assume you are writing a program FOO and want to use a package BAR > available from bar.org. You tell ocamlbuild by adding some tag such > as > > : require(http://bar.org/repository/) > > And when you run ocamlbuild, it automatically checks out a copy of > BAR, compiles and loads its myocamlbuild.ml module which adds the > required flags. Of course it should be possible to specify a > particular revision... And if BAR has itself dependencies, those too > would be checked out. > This part is really about PM... and i agree. > Note that Git has a nice option for cloning checked out repositories > using hard links; that could be used to maintain a cache of checkouts, > for instance in the user's ~/.ocamlbuild/checkouts/ directory. > This part is going back to classical VCS flameware. Please avoid it. > So basically I propose that we improve ocamlbuild to allow for > multiple plugin files (using dynamic loading) and use that to define a > BSD ports-like system targeted at developers. > Without the VCS part, i agree. Regards, Sylvain Le Gall