# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1258619803 -3600
# Node ID 313d58f9e54492c4d6cec46773c959da3e78fdef
# Parent  7c0ad6bd6a6336ddb5582870837d1a02b6a73a0a
Valgring option for ./scripts/bootstrap.sh

diff -r 7c0ad6bd6a63 -r 313d58f9e544 scripts/bootstrap.sh
--- a/scripts/bootstrap.sh	Wed Nov 18 18:37:21 2009 +0000
+++ b/scripts/bootstrap.sh	Thu Nov 19 09:36:43 2009 +0100
@@ -102,6 +102,13 @@
 
 cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
 
+if yesorno "Check with valgrind" "n" 
+then
+    valgrind_flags=' --enable-valgrind'
+else
+    valgrind_flags=''
+fi
+
 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
     if yesorno "Use COIN-OR (CBC/CLP)" "n"
     then
@@ -128,6 +135,7 @@
     autoreconf -vif;
 fi
 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
+$valgrind_flags \
 "$cxx_flags" \
 $coin_flag \
 $soplex_flag \