0002886: Wish: Add default linker options

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002886

OCaml

OCaml general

public

2004-06-30 16:27

2004-07-01 10:09

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0002886: Wish: Add default linker options

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.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.