Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@949 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 12 insertions, 0 deletions

diff --git a/configure b/configure
index d05521b7ff..5eca6a7ffa 100755
--- a/configure
+++ b/configure
@@ -438,6 +438,18 @@ esac
 
 chmod a-w $COQTOP/config/Makefile
 
+# Building the $COQTOP/dev/ocamldebug-v7 file
+
+if test "$coq_debug_flag" == "-g" ; then
+  rm -f $COQTOP/dev/ocamldebug-v7
+  sed -e "s|COQTOPDIRECTORY|$COQTOP|" \
+      -e "s|COQLIBDIRECTORY|$LIBDIR|" \
+      -e "s|CAMLBINDIRECTORY|$CAMLBIN|" \
+      -e "s|CAMLP4LIBDIRECTORY|$CAMLP4LIB|" \
+      $COQTOP/dev/ocamldebug-v7.template > $COQTOP/dev/ocamldebug-v7
+  chmod a-w,a+x $COQTOP/dev/ocamldebug-v7
+fi
+
 # Building the $COQTOP/config/coq_config.ml file
 
 mlconfig_file=$COQTOP/config/coq_config.ml