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] prelinking ocamlfind
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-07-16 (14:47)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] prelinking ocamlfind
> I have noticed an odd behavior, between 3.07 and 3.08.0 versions of
> ocaml. On otherwise identical systems of Fedora Core 1 distributions
> (which by default prelinks libraries and executables daily), the
> prelink command modifies ocamlfind built by 3.08 but not by 3.07.
> This was concluded by examining the prelink log (prelink.log), which
> is invoked with
> /usr/sbin/prelink -av -mR -q

I can't really explain the different behaviour between 3.07 and 3.08
(it seems to boil down to the fact that ocamlfind is linked with
different shared libraries in both cases, so maybe your two OCaml
installations were configured differently).

On a related not, I just wanted to mention that Fedora's prelinking
breaks mixed-mode executables generated by "ocamlc -custom", rendering
them unusable.  The reason is that prelinking removes the bytecode
part of these mixed-mode executables, just like "strip" does.

Fortunately, "ocamlc -custom" is no longer very useful since dynamic
loading of C libraries can be used instead (and produces a pure
bytecode executable that is left undisturbed by prelinking).

Nonetheless, some old Makefiles still contain "ocamlc -custom" where
"ocamlc" would suffice, and this can lead to problems with Fedora's
prelinking.  (Example: the "coqtop" command from the Coq proof assistant.)
Keep this in mind...

- Xavier Leroy

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: