equal
deleted
inserted
replaced
135 echo |
135 echo |
136 echo GLPK support.................. : $lx_glpk_found |
136 echo GLPK support.................. : $lx_glpk_found |
137 echo CPLEX support................. : $lx_cplex_found |
137 echo CPLEX support................. : $lx_cplex_found |
138 echo SOPLEX support................ : $lx_soplex_found |
138 echo SOPLEX support................ : $lx_soplex_found |
139 echo |
139 echo |
140 echo build benchmarks.............. : $enable_benchmark |
140 echo Build benchmarks.............. : $enable_benchmark |
141 echo build demo programs........... : $enable_demo |
141 echo Build demo programs........... : $enable_demo |
142 echo build additional tools........ : $enable_tools |
142 echo Build additional tools........ : $enable_tools |
143 echo |
143 echo |
144 echo The packace will be installed in |
144 echo The packace will be installed in |
145 echo -n ' ' |
145 echo -n ' ' |
146 echo $prefix. |
146 echo $prefix. |
147 echo |
147 echo |
150 eval echo ${datadir}/doc/$PACKAGE. |
150 eval echo ${datadir}/doc/$PACKAGE. |
151 echo |
151 echo |
152 echo '*********************************************************************' |
152 echo '*********************************************************************' |
153 |
153 |
154 echo |
154 echo |
155 echo configure complete, now type \'make\' and then \'make install\'. |
155 echo Configure complete, now type \'make\' and then \'make install\'. |
156 echo |
156 echo |