Valgring option for ./scripts/bootstrap.sh
authorAlpar Juttner <alpar@cs.elte.hu>
Thu, 19 Nov 2009 09:36:43 +0100
changeset 794313d58f9e544
parent 793 7c0ad6bd6a63
child 796 9cc6e98c487d
Valgring option for ./scripts/bootstrap.sh
scripts/bootstrap.sh
     1.1 --- a/scripts/bootstrap.sh	Wed Nov 18 18:37:21 2009 +0000
     1.2 +++ b/scripts/bootstrap.sh	Thu Nov 19 09:36:43 2009 +0100
     1.3 @@ -102,6 +102,13 @@
     1.4  
     1.5  cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
     1.6  
     1.7 +if yesorno "Check with valgrind" "n" 
     1.8 +then
     1.9 +    valgrind_flags=' --enable-valgrind'
    1.10 +else
    1.11 +    valgrind_flags=''
    1.12 +fi
    1.13 +
    1.14  if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
    1.15      if yesorno "Use COIN-OR (CBC/CLP)" "n"
    1.16      then
    1.17 @@ -128,6 +135,7 @@
    1.18      autoreconf -vif;
    1.19  fi
    1.20  ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
    1.21 +$valgrind_flags \
    1.22  "$cxx_flags" \
    1.23  $coin_flag \
    1.24  $soplex_flag \