Changeset 923:e77b621e6e7e in lemon for scripts
- Timestamp:
- 03/01/10 07:51:45 (15 years ago)
- Branch:
- default
- Children:
- 930:5df6a8f29d5e, 934:930ddeafdb20
- Phase:
- public
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
scripts/bootstrap.sh
r841 r923 44 44 augment_config LEMON_INSTALL_PREFIX /usr/local \ 45 45 "# LEMON installation prefix" 46 47 augment_config GLPK_PREFIX /usr/local/ \ 48 "# GLPK installation root prefix" 46 49 47 50 augment_config COIN_OR_PREFIX /usr/local/coin-or \ … … 110 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 126 if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then 113 127 if yesorno "Use COIN-OR (CBC/CLP)" "n" … … 115 129 coin_flag="--with-coin=$COIN_OR_PREFIX" 116 130 else 117 coin_flag=" "131 coin_flag="--without-coin" 118 132 fi 119 133 else 120 coin_flag=" "134 coin_flag="--without-coin" 121 135 fi 122 136 … … 126 140 soplex_flag="--with-soplex=$SOPLEX_PREFIX" 127 141 else 128 soplex_flag=" "142 soplex_flag="--without-soplex" 129 143 fi 130 144 else 131 soplex_flag=" "145 soplex_flag="--without-soplex" 132 146 fi 133 147 … … 138 152 $valgrind_flags \ 139 153 "$cxx_flags" \ 154 $glpk_flag \ 140 155 $coin_flag \ 141 156 $soplex_flag \
Note: See TracChangeset
for help on using the changeset viewer.