You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Original bug ID: 2886
Reporter: administrator
Status: resolved (set by @damiendoligez on 2017-03-03T16:32:45Z)
Resolution: won't fix
Priority: normal
Severity: feature
Category: compiler driver
Bug description
Full_Name: Gerd Stolpmann
Version: CVS
OS: many
Submission from: pd9ea58cd.dip.t-dialin.net (217.234.88.205)
Hi again,
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.
The text was updated successfully, but these errors were encountered: