[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 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