configure.ac
changeset 352 7c5d8de2eac7
parent 296 9768e60aa4e1
child 363 a637fb9d457b
child 480 64c2641286df
equal deleted inserted replaced
19:88e1c43ea695 20:c5365d9b7c10
    79 else
    79 else
    80   AC_MSG_RESULT([no])
    80   AC_MSG_RESULT([no])
    81 fi
    81 fi
    82 AM_CONDITIONAL([WANT_TOOLS], [test x"$enable_tools" != x"no"])
    82 AM_CONDITIONAL([WANT_TOOLS], [test x"$enable_tools" != x"no"])
    83 
    83 
    84 dnl Disable/enable building the benchmarks.
       
    85 AC_ARG_ENABLE([benchmark],
       
    86 AS_HELP_STRING([--enable-benchmark], [build the benchmarks])
       
    87 AS_HELP_STRING([--disable-benchmark], [do not build the benchmarks @<:@default@:>@]),
       
    88               [], [enable_benchmark=no])
       
    89 AC_MSG_CHECKING([whether to build the benchmarks])
       
    90 if test x"$enable_benchmark" != x"no"; then
       
    91   AC_MSG_RESULT([yes])
       
    92 else
       
    93   AC_MSG_RESULT([no])
       
    94 fi
       
    95 AM_CONDITIONAL([WANT_BENCHMARK], [test x"$enable_benchmark" != x"no"])
       
    96 
       
    97 dnl Checks for header files.
    84 dnl Checks for header files.
    98 AC_CHECK_HEADERS(limits.h sys/time.h sys/times.h unistd.h)
    85 AC_CHECK_HEADERS(limits.h sys/time.h sys/times.h unistd.h)
    99 
    86 
   100 dnl Checks for typedefs, structures, and compiler characteristics.
    87 dnl Checks for typedefs, structures, and compiler characteristics.
   101 AC_C_CONST
    88 AC_C_CONST
   130 echo
   117 echo
   131 #echo GLPK support.................. : $lx_glpk_found
   118 #echo GLPK support.................. : $lx_glpk_found
   132 #echo CPLEX support................. : $lx_cplex_found
   119 #echo CPLEX support................. : $lx_cplex_found
   133 #echo SOPLEX support................ : $lx_soplex_found
   120 #echo SOPLEX support................ : $lx_soplex_found
   134 #echo
   121 #echo
   135 echo Build benchmarks.............. : $enable_benchmark
       
   136 echo Build demo programs........... : $enable_demo
   122 echo Build demo programs........... : $enable_demo
   137 echo Build additional tools........ : $enable_tools
   123 echo Build additional tools........ : $enable_tools
   138 echo
   124 echo
   139 echo The packace will be installed in
   125 echo The packace will be installed in
   140 echo -n '  '
   126 echo -n '  '