equal
deleted
inserted
replaced
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 $* |