... | ... |
@@ -47,6 +47,9 @@ |
47 | 47 |
augment_config COIN_OR_PREFIX /usr/local/coin-or \ |
48 | 48 |
"# COIN-OR installation root prefix (used for CLP/CBC)" |
49 | 49 |
|
50 |
augment_config SOPLEX_PREFIX /usr/local/soplex \ |
|
51 |
"# Soplex build prefix" |
|
52 |
|
|
50 | 53 |
|
51 | 54 |
function ask() { |
52 | 55 |
echo -n "$1 [$2]? " |
... | ... |
@@ -99,13 +102,27 @@ |
99 | 102 |
|
100 | 103 |
cxx_flags="CXXFLAGS=-ggdb$opt_flags$werror_flags" |
101 | 104 |
|
102 |
if |
|
105 |
if [ -f ${COIN_OR_PREFIX}/include/coin/config_coinutils.h ]; then |
|
106 |
if yesorno "Use COIN-OR (CBC/CLP)" "n" |
|
103 | 107 |
then |
104 | 108 |
coin_flag="--with-coin=$COIN_OR_PREFIX" |
105 | 109 |
else |
106 | 110 |
coin_flag="" |
107 | 111 |
fi |
112 |
else |
|
113 |
coin_flag="" |
|
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 | 127 |
if [ "x$AUTORE" == "xyes" ]; then |
111 | 128 |
autoreconf -vif; |
... | ... |
@@ -113,4 +130,5 @@ |
113 | 130 |
${CONFIGURE_PATH}/configure --prefix=$LEMON_INSTALL_PREFIX \ |
114 | 131 |
"$cxx_flags" \ |
115 | 132 |
$coin_flag \ |
133 |
$soplex_flag \ |
|
116 | 134 |
$* |
0 comments (0 inline)