From 433fe369bc95d7fe2086cf2256d85443b2420f34 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Thu, 21 Nov 2013 22:29:45 +0100
Subject: configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

 Keeping the earlier content of this variable is crucial for opam
 (at least).

 Thanks to François Bobot and Thomas Refis for this one...
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index a05548e38..088d7e501 100755
--- a/configure
+++ b/configure
@@ -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";;
-- 
cgit v1.2.3