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 CAA05070; Wed, 24 Apr 2002 02:20:24 +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 CAA05063 for ; Wed, 24 Apr 2002 02:20:23 +0200 (MET DST) Received: from sunny.pacific.net.au (sunny.pacific.net.au [203.25.148.40]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g3O0KLv17487 for ; Wed, 24 Apr 2002 02:20:22 +0200 (MET DST) Received: from wisma.pacific.net.au (wisma.pacific.net.au [210.23.129.72]) by sunny.pacific.net.au with ESMTP id g3O0KIXt009635; Wed, 24 Apr 2002 10:20:18 +1000 (EST) Received: from ozemail.com.au (ppp59.dyn146.pacific.net.au [210.23.146.59]) by wisma.pacific.net.au with ESMTP id KAA24904; Wed, 24 Apr 2002 10:20:15 +1000 (EST) Message-ID: <3CC5FA3E.9020706@ozemail.com.au> Date: Wed, 24 Apr 2002 10:20:14 +1000 From: John Max Skaller User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.2.1) Gecko/20010901 X-Accept-Language: en-us MIME-Version: 1.0 To: Jacques Garrigue CC: rnyberg@it.su.se, caml-list@inria.fr Subject: Re: [Caml-list] shared libraries [pcre-ocaml] References: <20020422103046.B21430@gromit.it.su.se> <3CC472A7.5070901@ozemail.com.au> <20020423094308M.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue wrote: >>Argg... crappy unix hackery. >> > >Almost correct answer > Yeah. The correct answer is to fix the stupid dynamic loader hackery used in unix systems. Obviously, there should be a way to load a library from the directory in which the caller is installed: that is, the filename here/dllpcre.so.0 should be allowed, where 'here' means " the place that dllpcre.so" was found. That way would always work provided both libraries are kept in the same directory. It is the moral equivalent of what most unix C compilers do with #include "relative.h" where the file is searched for in the directory in which the including file is located. Another solution would be to bind the inode number directly into the caller so that only physically removing the library could cause a load failure (and in this case, that would seem desirable .. you could even consider shared libraries as being like directories .. so that removal would fail while there were references ..) So .. when are the Ocaml team going to design an operating system based on theory not historical hackery? -- John Max Skaller, mailto:skaller@ozemail.com.au snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia. voice:61-2-9660-0850 ------------------- 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