|Anonymous | Login | Signup for a new account||2016-02-15 00:09 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0002886||OCaml||OCaml general||public||2004-06-30 16:27||2004-07-01 10:09|
|Target Version||Fixed in Version|
|Summary||0002886: Wish: Add default linker options|
|Description||Full_Name: Gerd Stolpmann|
Submission from: pd9ea58cd.dip.t-dialin.net (18.104.22.168)
in GODI a patch is applied to the ocaml sources that adds a library directory to
the linker options ocamlc and ocamlmklib. In particular, it is ensured that
-L$LOCALBASE/lib and, for some OS, also -Wl,-R$LOCALBASE/lib, is passed to the
linker ld when executables and shared libraries are created.
The background is that $LOCALBASE/lib is the place for C libraries not available
from the OS. GODI allows it to install such missing libraries at this place, and
ensures that they always can be found by software searching them. This feature
is very convenient for us, as it is usually not necessary to modify build
scripts coming from third parties.
The patch modifies effectively utils/config.ml and adds these linker options to
bytecomp_c_linker and native_c_linker. My wish is to have an official way to add
options to these variables when configuring ocaml.
Another place where GODI patched the sources was ocamlmklib: Same reason, we
want to ensure that the add-on libraries are found. In the latest version I
changed this in favor of a wrapper script, in order to reduce the number of
patches. However, if a way of configuring default linker options is added to
ocaml anyway, this should also be done in ocamlmklib (in my opinion).
My goal is to remove the patches GODI applies to the ocaml sources, especially
for the new possibility to install the CVS version of ocaml. This makes errors
more trackable, and the maintenance easier.
|Tags||No tags attached.|
|2005-11-18 10:13||administrator||New Issue|
|Copyright © 2000 - 2011 MantisBT Group|