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 | |
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...
-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";; |