Changeset 794:313d58f9e544 in lemon-main for scripts

Timestamp:

11/19/09 09:36:43 (15 years ago)

Author:

Alpar Juttner <alpar@…>

Branch:

default

Phase:

public

Message:

Valgring option for ./scripts/bootstrap.sh

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 \