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 TAA28936; Tue, 22 Oct 2002 19:01:06 +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 TAA28935 for ; Tue, 22 Oct 2002 19:01:05 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9MH0v523761; Tue, 22 Oct 2002 19:00:57 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA28884; Tue, 22 Oct 2002 19:00:56 +0200 (MET DST) Date: Tue, 22 Oct 2002 19:00:56 +0200 From: Xavier Leroy To: Chris Hecker Cc: Yang Shouxun , caml-list@inria.fr Subject: Re: [Caml-list] Error during partial linking Message-ID: <20021022190056.A28301@pauillac.inria.fr> References: <20021022104215.A9456@pauillac.inria.fr> <200210221333.36858.yangsx@fltrp.com> <20021022104215.A9456@pauillac.inria.fr> <200210221737.56370.yangsx@fltrp.com> <4.3.2.7.2.20021022090136.035ec2f8@mail.d6.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <4.3.2.7.2.20021022090136.035ec2f8@mail.d6.com>; from checker@d6.com on Tue, Oct 22, 2002 at 09:07:00AM -0700 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > >+ /usr/bin/objcopy --redefine-sym > >'WeightBalancedSet__zero_227=Baire__WeightBalancedSet__zero_227' [...] > >--redefine-sym 'AmortizedQueue=Baire__AmortizedQueue' 'baire.o' > >Error during partial linking > >make[1]: *** [nativepack] Error 2 > > I think this is the command line length limit problem, for which there is a > FIXME comment in the asmcomp/asmpackager.ml. This is also my guess, although I was expecting an error message to be printed by the shell (but then it's perhaps system() itself that fails). I'll fix this length limit issue soon in the CVS version. Too bad objcopy cannot take its symbol redefinitions from a file... Coming back to your initial desire to "pack" Baire (if I may say so), I would very strong advise Diego to name his "List" module something else, to avoid conflict with the standard library module of the same name. The hypothesis that compilation units are identified by unique names is really essential to the way the OCaml compilers work. I know it's sometimes an annoyance (all cool names are already taken by the standard lib :-), but you're really going to run into trouble with name conflicts. - Xavier Leroy ------------------- 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