scripts/bootstrap.sh
changeset 830 ef88c0a30f85
parent 779 1f8ad32f088b
child 841 313d58f9e544
equal deleted inserted replaced
0:443f1fd59cc8 1:b8b323c55012
    44 augment_config LEMON_INSTALL_PREFIX /usr/local \
    44 augment_config LEMON_INSTALL_PREFIX /usr/local \
    45     "# LEMON installation prefix"
    45     "# LEMON installation prefix"
    46 
    46 
    47 augment_config COIN_OR_PREFIX /usr/local/coin-or \
    47 augment_config COIN_OR_PREFIX /usr/local/coin-or \
    48     "# COIN-OR installation root prefix (used for CLP/CBC)"
    48     "# COIN-OR installation root prefix (used for CLP/CBC)"
       
    49 
       
    50 augment_config SOPLEX_PREFIX /usr/local/soplex \
       
    51     "# Soplex build prefix"
    49 
    52 
    50 
    53 
    51 function ask() {
    54 function ask() {
    52 echo -n "$1 [$2]? "
    55 echo -n "$1 [$2]? "
    53 read _an
    56 read _an
    97     werror_flags=''
   100     werror_flags=''
    98 fi
   101 fi
    99 
   102 
   100 cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
   103 cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags"
   101 
   104 
   102 if yesorno "Use COIN" "n"
   105 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
   103 then
   106     if yesorno "Use COIN-OR (CBC/CLP)" "n"
   104     coin_flag="--with-coin=$COIN_OR_PREFIX"
   107     then
       
   108         coin_flag="--with-coin=$COIN_OR_PREFIX"
       
   109     else
       
   110         coin_flag=""
       
   111     fi
   105 else
   112 else
   106     coin_flag=""
   113     coin_flag=""        
   107 fi
   114 fi
   108 
   115 
       
   116 if [ -f ${SOPLEX_PREFIX}/src/soplex.h ]; then
       
   117     if yesorno "Use Soplex" "n"
       
   118     then
       
   119         soplex_flag="--with-soplex=$SOPLEX_PREFIX"
       
   120     else
       
   121         soplex_flag=""
       
   122     fi
       
   123 else
       
   124     soplex_flag=""
       
   125 fi
   109 
   126 
   110 if [ "x$AUTORE" == "xyes" ]; then
   127 if [ "x$AUTORE" == "xyes" ]; then
   111     autoreconf -vif;
   128     autoreconf -vif;
   112 fi
   129 fi
   113 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
   130 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
   114 "$cxx_flags" \
   131 "$cxx_flags" \
   115 $coin_flag \
   132 $coin_flag \
       
   133 $soplex_flag \
   116 $*
   134 $*