Changes in scripts/bootstrap.sh [794:a42f46828cc1:841:313d58f9e544] in lemon

File:

• scripts/bootstrap.sh (modified) (2 diffs)

scripts/bootstrap.sh

@@ -103 +103 @@
 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"
@@ -129 +136 @@
 fi
 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
+$valgrind_flags \
 "$cxx_flags" \
 $coin_flag \