... | ... |
@@ -44,6 +44,9 @@ |
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 |
|
... | ... |
@@ -109,15 +112,26 @@ |
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 |
... | ... |
@@ -125,10 +139,10 @@ |
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 |
... | ... |
@@ -137,6 +151,7 @@ |
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)