diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-11-21 22:29:45 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2013-11-21 23:04:32 +0100 |
| commit | 433fe369bc95d7fe2086cf2256d85443b2420f34 (patch) | |
| tree | 1a7e5ecdbf39f4c7dde09c3cf31359c7165d2182 /configure | |
| parent | b3bc0e3a3289314baf95d948578ca4ee51a9db94 (diff) | |
configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten
Keeping the earlier content of this variable is crucial for opam
(at least).
Thanks to François Bobot and Thomas Refis for this one...
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -875,7 +875,7 @@ case $coqrunbyteflags_spec/$local/$custom_spec/$CUSTOM_OS in */true/*/*) COQRUNBYTEFLAGS="-dllib -lcoqrun -dllpath '$COQTOP'/kernel/byterun";; *) COQRUNBYTEFLAGS="-dllib -lcoqrun -dllpath '$LIBDIR'" - BUILDLDPATH="export CAML_LD_LIBRARY_PATH='$COQTOP'/kernel/byterun";; + BUILDLDPATH="export CAML_LD_LIBRARY_PATH='$COQTOP'/kernel/byterun:$CAML_LD_LIBRARY_PATH";; esac case $coqtoolsbyteflags_spec/$custom_spec/$CUSTOM_OS in yes/*/*) COQTOOLSBYTEFLAGS="$coqtoolsbyteflags";; |