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 RAA21056; Mon, 23 Sep 2002 17:56:26 +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 RAA21411 for ; Mon, 23 Sep 2002 17:56:20 +0200 (MET DST) Received: from fort-point-station.mit.edu (FORT-POINT-STATION.MIT.EDU [18.7.7.76]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g8NFuE502353 for ; Mon, 23 Sep 2002 17:56:14 +0200 (MET DST) Received: from central-city-carrier-station.mit.edu (CENTRAL-CITY-CARRIER-STATION.MIT.EDU [18.7.7.72]) by fort-point-station.mit.edu (8.9.2/8.9.2) with ESMTP id LAA24540; Mon, 23 Sep 2002 11:56:12 -0400 (EDT) Received: from melbourne-city-street.mit.edu (MELBOURNE-CITY-STREET.MIT.EDU [18.7.21.86]) by central-city-carrier-station.mit.edu (8.9.2/8.9.2) with ESMTP id LAA14172; Mon, 23 Sep 2002 11:56:08 -0400 (EDT) Received: from nerd-xing.mit.edu (NERD-XING.MIT.EDU [18.7.16.74]) by melbourne-city-street.mit.edu (8.9.2/8.9.2) with ESMTP id LAA12168; Mon, 23 Sep 2002 11:03:32 -0400 (EDT) Received: (from jfc@localhost) by nerd-xing.mit.edu (8.9.3) id LAA13134; Mon, 23 Sep 2002 11:03:32 -0400 (EDT) Message-Id: <200209231503.LAA13134@nerd-xing.mit.edu> To: Sven LUTHER cc: Gerd Stolpmann , Ocaml Subject: [Caml-list] Re: We should start using -pack by default when building libraries In-Reply-To: Your message of "Mon, 23 Sep 2002 10:43:01 +0200." <20020923084301.GA1272@iliana> Date: Mon, 23 Sep 2002 11:03:32 -0400 From: John Carr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > What do you all think about this, is this a valuable solution, or are > there profound reason for not going that way ? OCaml 3.06 does not support -pack when using native code on a system without the GNU linker. If you release software that depends on -pack, I will not be able to use it. A few thoughts on this topic: 1. The AIX linker can rename symbols, so AIX could be supported. 2. I may write a tool to rename symbols in an ELF object. 3. There are alternate implementations of the -pack concept that do not require symbol renaming. In particular, the container module could be specified as an option to ocamlopt -c. 4. There is a conjecture that any computer science problem can be solved by adding an additional level of indirection. 5. From experience, I can tell you that it takes significant effort to make a linker-dependent feature work with many different linkers, even when they all have the necessary functions. (I was controlling symbol visibility and early vs. late binding in shared libraries -- even the linkers derived from SVR4 had evolved different syntax and control file formats.) ------------------- 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