From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA03731 for caml-redistribution; Fri, 19 Mar 1999 19:25:26 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id FAA15122 for ; Fri, 19 Mar 1999 05:09:04 +0100 (MET) Received: from transbay.net (dns1.transbay.net [209.133.53.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id FAA14672 for ; Fri, 19 Mar 1999 05:09:02 +0100 (MET) Received: from kronstadt.transbay.net (ip55240.transbay.net [209.133.55.240]) by transbay.net (8.9.1/8.8.8) with ESMTP id UAA16762; Thu, 18 Mar 1999 20:09:46 -0800 (PST) (envelope-from itz@transbay.net) Received: (from itz@localhost) by kronstadt.transbay.net (8.8.6/8.8.6) id UAA01946; Thu, 18 Mar 1999 20:04:22 -0800 Sender: weis To: gurr@mrs.med.ge.com (David Gurr) Cc: caml-list@inria.fr Subject: Re: config info References: <199903161724.JAA00859@swag.med.ge.com> From: Ian T Zimmerman Date: 18 Mar 1999 20:04:22 -0800 In-Reply-To: gurr@mrs.med.ge.com's message of Tue, 16 Mar 1999 09:24:36 -0800 Message-ID: X-Mailer: Gnus v5.3/Emacs 19.34 gurr@mrs.med.ge.com (David Gurr) writes: > Hi, The installation of ocaml based applications might be > simplified if the standard "make install" copied the config lib and > the config/Makefile to the library location. Or if this is messy, > how about a "make install-devel" that does the copying? Thanks for > considering this detail. Tcl/Tk does this, and I absolutely hate it. First of all, the config file is text, and in GNU-like environments it should go under the share tree, not under lib. Second, and more important, it limits flexibility in the derived installations. This is partly a "philosophical" issue (see the last sentence of this message), but also a practical one: any bug in the original build is automatically propagated to the dependent ones. (With Tcl, this surfaced in the naming of shared libraries). Some prefer life simplified; others prefer to keep control of it. -- Ian T Zimmerman I came to the conclusion that what was wrong about the guillotine was that the condemned man had no chance at all, absolutely none. Albert Camus, _The Outsider_