configure.ac
changeset 2315 bd09e00b64bb
parent 2237 5674a5983e1e
child 2386 81b47fc5c444
     1.1 --- a/configure.ac	Wed Nov 29 17:32:03 2006 +0000
     1.2 +++ b/configure.ac	Wed Nov 29 17:34:29 2006 +0000
     1.3 @@ -25,6 +25,7 @@
     1.4  dnl Checks for libraries.
     1.5  LX_CHECK_GLPK
     1.6  LX_CHECK_CPLEX
     1.7 +LX_CHECK_SOPLEX
     1.8  
     1.9  dnl Enable/disable installing the documentation
    1.10  AC_ARG_ENABLE([doc],
    1.11 @@ -113,6 +114,7 @@
    1.12  echo
    1.13  echo GLPK support.................. : $lx_glpk_found
    1.14  echo CPLEX support................. : $lx_cplex_found
    1.15 +echo SOPLEX support................ : $lx_soplex_found
    1.16  echo
    1.17  echo build benchmarks.............. : $enable_benchmark
    1.18  echo build demo programs........... : $enable_demo