Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Error during partial linking
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-10-22 (17:01)
From: Xavier Leroy <xavier.leroy@i...>
Subject: Re: [Caml-list] Error during partial linking
> >+ /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/

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 Archives:
Bug reports: FAQ:
Beginner's list: