configure.ac
changeset 56 9597aa501c7c
parent 52 ea3056daad71
child 60 6ec5dbed8f18
equal deleted inserted replaced
6:cc8264f6864b 7:c2faeb9a102b
   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