From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA25614; Fri, 16 Apr 2004 23:53:14 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA17122 for ; Fri, 16 Apr 2004 23:53:13 +0200 (MET DST) Received: from nexus.stwing.upenn.edu (NEXUS.STWING.UPENN.EDU [165.123.132.61]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3GLrCYM001048 for ; Fri, 16 Apr 2004 23:53:12 +0200 Received: from force.stwing.upenn.edu (root@force.stwing.upenn.edu [165.123.132.65]) by nexus.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i3GLrAK8008382 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Fri, 16 Apr 2004 17:53:11 -0400 (EDT) Received: from force.stwing.upenn.edu (wlovas@localhost [127.0.0.1]) by force.stwing.upenn.edu (8.12.10/8.12.9) with ESMTP id i3GLrARb022795 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Fri, 16 Apr 2004 17:53:10 -0400 (EDT) Received: (from wlovas@localhost) by force.stwing.upenn.edu (8.12.10/8.12.9/Submit) id i3GLr9Ck022794 for caml-list@inria.fr; Fri, 16 Apr 2004 17:53:09 -0400 (EDT) Date: Fri, 16 Apr 2004 17:53:09 -0400 From: William Lovas To: caml-list Subject: Re: [Caml-list] build tools - good vs. fast, both cheap Message-ID: <20040416215308.GA21540@force.stwing.upenn.edu> Mail-Followup-To: caml-list References: <1082126288.20063.69.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1082126288.20063.69.camel@pelican.wigram> User-Agent: Mutt/1.5.4i X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lovas:01 wlovas:01 stwing:01 caml-list:01 2004:99 misses:01 crappy:01 crappy:01 bootstrap:01 dependencies:01 owen:99 owen:99 backend:01 backend:01 imho:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Apr 17, 2004 at 12:38:08AM +1000, skaller wrote: > Ok, then my opinion is that this analysis misses the point. > > We can do both. First hack together any crappy code that works, > then make something elegant -- using the crappy code to help > bootstrap the effort. > > How do we do this? Well, one thing must NOT be crappy, > even for the crappy code -- and that is the specification. > Writing a package manager isn't the problem, IMHO. > The problem is defining what a package IS, where the pieces go, > and how dependencies are stated.. etc etc. This is essentially the goal of the GODIVA project (formerly GODOR) that Owen Gunden and i are working on: We're grafting a sensible specification onto the frontend of GODI so that it's easier for developers to make packages. In the future, this specification could stay around if some other underlying backend technology supplanted GODI, and all that would require updating would be the backend of GODIVA. A (very!) preliminary release of GODIVA is available as the GODI package called godor. In a few days, Owen and i will be packaging up a new release incorporating the ideas from this paper: http://projects.phauna.org/godiva/papers/godiva.ps http://projects.phauna.org/godiva/papers/godiva.pdf (And this time, "a few days" really means "a few days" -- we have a hard (academic) deadline to meet!) More information is available on the GODIVA website (but the paper is more up-to-date): http://projects.phauna.org/godiva/ cheers, William ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners