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 WAA23631; Wed, 15 May 2002 22:43:09 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA23624 for caml-list@pauillac.inria.fr; Wed, 15 May 2002 22:43:09 +0200 (MET DST) 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 OAA11642 for ; Wed, 15 May 2002 14:03:33 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4FC3Wb02051; Wed, 15 May 2002 14:03:32 +0200 (MET DST) Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id OAA18947; Wed, 15 May 2002 14:03:33 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.35 #1 (Debian)) id 177xcG-00062h-00; Wed, 15 May 2002 14:10:48 +0200 Date: Wed, 15 May 2002 14:10:48 +0200 To: Jacques Garrigue Cc: xavier.leroy@inria.fr, caml-list@inria.fr Subject: Re: [Caml-list] OCaml packaging problems Message-ID: <20020515121048.GB23062@lambda.u-strasbg.fr> References: <20020430200405.A16880@dpt-info.u-strasbg.fr> <20020514105452.B11894@pauillac.inria.fr> <20020514203954L.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020514203954L.garrigue@kurims.kyoto-u.ac.jp> User-Agent: Mutt/1.3.28i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, May 14, 2002 at 08:39:54PM +0900, Jacques Garrigue wrote: > From: Xavier Leroy > Date: Tue, 14 May 2002 10:54:52 +0200 > > > Concerning this ld.conf issue, I disagree both with Sven Luther's solution > > (a tool that adds/removes lines from this file) and with Vitaly > > Lugovsky's suggestion (multiple configuration files in a directory). > > I was always wondering about the need for removing any directory from > ld.conf: it the directory is not there, there will be no problem > anyway... So, you prefer to clutter the /usr/lib/ocaml/ld.conf file rather than have a convenient tool for removing a line there when you remove the package they belong to ? Remember, clutter is an open way to insecure behavior ... > > The ld.conf mechanism was modeled after the /etc/ld.so.conf file used > > by the Unix dynamic loader. It is intended to list a small number of > > standard directories that contain shared libraries, typically one > > directory for the "system" libraries (i.e. those provided by the OCaml > > core distribution), one for local extensions (e.g. /usr/local/lib), > > and perhaps one or two for especially large packages with many libraries > > (e.g. /usr/X11R6/lib). > > > > When you install a package that provides a C shared library, you don't > > install it in a package-dependent directory and add a line to > > /etc/ld.so.conf with this directory; you install in /usr/lib or > > /usr/local/lib, perhaps via a symbolic link. I urge everyone to use > > the same scheme for OCaml shared libraries. > > It's not because Unix does something wrong that you have to follow it. > In the past I was installing libraries somewhere else (using --prefix > in most packages) and using -rpath. The trouble is that -rpath is > broken on some Unices, so I've reverted to making symbolic links to > /usr/local/lib for the soname. Otherwise it's a pain to manage. Mmm, there is a long discution on some of the debian lists (well a flamewar would be a more correct name) with one side claiming that rpath are evil, and can lead to problems if the files are moved around later one (example cited was the moving of the /usr/X11R6 directory, probably because you want to install a new X server while keeping the old one). > Now I don't think that the current scheme in caml is perfect, but to > me it works ok. When I delete a library I just delete its directory, > and I'm sure it's clean. > > > (And, yes, I haven't followed this recommendation in some of the > > standard OCaml libraries (labltk) or some of my own extensions, > > but I've realized my error and intend to fix this in release 3.05.) > > I'm the culprit. And well, I have no definite opinion about libraries in > the standard distribution, just that they set an example. > Note that moving dlls around _is_ dangerous, because you may > end-up with dlls with the same name in different place when > overwriting an existing installation. unless you have a package manager handling things :))) > By the way, if you're so fond of the C way, using versioning on dlls > would be very useful about this kind of problems (with the version in > the .cma, rather than using symbolic links!) :))) Friendly, Sven Luther ------------------- 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