1 files changed, 6 insertions, 1 deletions
diff --git a/configure b/configure
index bb60703ff..d4e5456d5 100755
--- a/configure
+++ b/configure
@@ -365,10 +365,15 @@ chmod a-w $COQTOP/config/Makefile
 
 if test "$coq_debug_flag" = "-g" ; then
   rm -f $COQTOP/dev/ocamldebug-v7
+  if [ "$CAMLP4LIB" = "+camlp4" ] ; then
+    CAMLP4LIBFORCAMLDEBUG=$CAMLLIB/camlp4
+  else
+    CAMLP4LIBFORCAMLDEBUG=$CAMLP4LIB
+  fi
   sed -e "s|COQTOPDIRECTORY|$COQTOP|" \
       -e "s|COQLIBDIRECTORY|$LIBDIR|" \
       -e "s|CAMLBINDIRECTORY|$CAMLBIN|" \
-      -e "s|CAMLP4LIBDIRECTORY|$CAMLP4LIB|" \
+      -e "s|CAMLP4LIBDIRECTORY|$CAMLP4LIBFORCAMLDEBUG|" \
       $COQTOP/dev/ocamldebug-v7.template > $COQTOP/dev/ocamldebug-v7
   chmod a-w,a+x $COQTOP/dev/ocamldebug-v7
 fi