r944:e77b621e6e7e
Mon, 01 Mar 2010 07:51:45
[Not Reviewed]
0 comments (0 inline)
0
1
0
| ... | ... |
@@ -41,12 +41,15 @@ |
| 41 | 41 |
fi |
| 42 | 42 |
} |
| 43 | 43 |
|
| 44 | 44 |
augment_config LEMON_INSTALL_PREFIX /usr/local \ |
| 45 | 45 |
"# LEMON installation prefix" |
| 46 | 46 |
|
| 47 |
augment_config GLPK_PREFIX /usr/local/ \ |
|
| 48 |
"# GLPK installation root prefix" |
|
| 49 |
|
|
| 47 | 50 |
augment_config COIN_OR_PREFIX /usr/local/coin-or \ |
| 48 | 51 |
"# COIN-OR installation root prefix (used for CLP/CBC)" |
| 49 | 52 |
|
| 50 | 53 |
augment_config SOPLEX_PREFIX /usr/local/soplex \ |
| 51 | 54 |
"# Soplex build prefix" |
| 52 | 55 |
|
| ... | ... |
@@ -106,37 +109,49 @@ |
| 106 | 109 |
then |
| 107 | 110 |
valgrind_flags=' --enable-valgrind' |
| 108 | 111 |
else |
| 109 | 112 |
valgrind_flags='' |
| 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" |
| 114 | 128 |
then |
| 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 |
|
| 123 | 137 |
if [ -f ${SOPLEX_PREFIX}/src/soplex.h ]; then
|
| 124 | 138 |
if yesorno "Use Soplex" "n" |
| 125 | 139 |
then |
| 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 |
|
| 134 | 148 |
if [ "x$AUTORE" == "xyes" ]; then |
| 135 | 149 |
autoreconf -vif; |
| 136 | 150 |
fi |
| 137 | 151 |
${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \
|
| 138 | 152 |
$valgrind_flags \ |
| 139 | 153 |
"$cxx_flags" \ |
| 154 |
$glpk_flag \ |
|
| 140 | 155 |
$coin_flag \ |
| 141 | 156 |
$soplex_flag \ |
| 142 | 157 |
$* |
0 comments (0 inline)