scripts/bootstrap.sh
changeset 865 d48d79b11f5b
parent 794 313d58f9e544
equal deleted inserted replaced
2:c0c2a95fef09 3:b555b0f8bed8
    41     fi
    41     fi
    42 }
    42 }
    43 
    43 
    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 
       
    47 augment_config GLPK_PREFIX /usr/local/ \
       
    48     "# GLPK installation root prefix"
    46 
    49 
    47 augment_config COIN_OR_PREFIX /usr/local/coin-or \
    50 augment_config COIN_OR_PREFIX /usr/local/coin-or \
    48     "# COIN-OR installation root prefix (used for CLP/CBC)"
    51     "# COIN-OR installation root prefix (used for CLP/CBC)"
    49 
    52 
    50 augment_config SOPLEX_PREFIX /usr/local/soplex \
    53 augment_config SOPLEX_PREFIX /usr/local/soplex \
   107     valgrind_flags=' --enable-valgrind'
   110     valgrind_flags=' --enable-valgrind'
   108 else
   111 else
   109     valgrind_flags=''
   112     valgrind_flags=''
   110 fi
   113 fi
   111 
   114 
       
   115 if [ -f ${GLPK_PREFIX}/include/glpk.h ]; then
       
   116     if yesorno "Use GLPK" "y"
       
   117     then
       
   118         glpk_flag="--with-glpk=$GLPK_PREFIX"
       
   119     else
       
   120         glpk_flag="--without-glpk"
       
   121     fi
       
   122 else
       
   123     glpk_flag="--without-glpk"        
       
   124 fi
       
   125 
   112 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
   126 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then
   113     if yesorno "Use COIN-OR (CBC/CLP)" "n"
   127     if yesorno "Use COIN-OR (CBC/CLP)" "n"
   114     then
   128     then
   115         coin_flag="--with-coin=$COIN_OR_PREFIX"
   129         coin_flag="--with-coin=$COIN_OR_PREFIX"
   116     else
   130     else
   117         coin_flag=""
   131         coin_flag="--without-coin"
   118     fi
   132     fi
   119 else
   133 else
   120     coin_flag=""        
   134     coin_flag="--without-coin"        
   121 fi
   135 fi
   122 
   136 
   123 if [ -f ${SOPLEX_PREFIX}/src/soplex.h ]; then
   137 if [ -f ${SOPLEX_PREFIX}/src/soplex.h ]; then
   124     if yesorno "Use Soplex" "n"
   138     if yesorno "Use Soplex" "n"
   125     then
   139     then
   126         soplex_flag="--with-soplex=$SOPLEX_PREFIX"
   140         soplex_flag="--with-soplex=$SOPLEX_PREFIX"
   127     else
   141     else
   128         soplex_flag=""
   142         soplex_flag="--without-soplex"
   129     fi
   143     fi
   130 else
   144 else
   131     soplex_flag=""
   145     soplex_flag="--without-soplex"
   132 fi
   146 fi
   133 
   147 
   134 if [ "x$AUTORE" == "xyes" ]; then
   148 if [ "x$AUTORE" == "xyes" ]; then
   135     autoreconf -vif;
   149     autoreconf -vif;
   136 fi
   150 fi
   137 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
   151 ${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
   138 $valgrind_flags \
   152 $valgrind_flags \
   139 "$cxx_flags" \
   153 "$cxx_flags" \
       
   154 $glpk_flag \
   140 $coin_flag \
   155 $coin_flag \
   141 $soplex_flag \
   156 $soplex_flag \
   142 $*
   157 $*