scripts/bootstrap.sh
changeset 871 d3e32a777d0b
parent 794 a42f46828cc1
child 923 e77b621e6e7e
equal deleted inserted replaced
1:b8b323c55012 2:c0c2a95fef09
   100     werror_flags=''
   100     werror_flags=''
   101 fi
   101 fi
   102 
   102 
   103 cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
   103 cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
   104 
   104 
       
   105 if yesorno "Check with valgrind" "n" 
       
   106 then
       
   107     valgrind_flags=' --enable-valgrind'
       
   108 else
       
   109     valgrind_flags=''
       
   110 fi
       
   111 
   105 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
   112 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
   106     if yesorno "Use COIN-OR (CBC/CLP)" "n"
   113     if yesorno "Use COIN-OR (CBC/CLP)" "n"
   107     then
   114     then
   108         coin_flag="--with-coin=$COIN_OR_PREFIX"
   115         coin_flag="--with-coin=$COIN_OR_PREFIX"
   109     else
   116     else
   126 
   133 
   127 if [ "x$AUTORE" == "xyes" ]; then
   134 if [ "x$AUTORE" == "xyes" ]; then
   128     autoreconf -vif;
   135     autoreconf -vif;
   129 fi
   136 fi
   130 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
   137 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
       
   138 $valgrind_flags \
   131 "$cxx_flags" \
   139 "$cxx_flags" \
   132 $coin_flag \
   140 $coin_flag \
   133 $soplex_flag \
   141 $soplex_flag \
   134 $*
   142 $*