backends/minisat/configure.ac

   1 AC_INIT([minisat],[2.0-070721])
   2 AM_INIT_AUTOMAKE
   3 m4_include(m4/check_zlib.m4)
   4 m4_include(m4/ac_pkg_swig.m4)
   5 AC_CONFIG_MACRO_DIR([m4])
   6 AC_PROG_CC
   7 AC_PROG_CXX
   8 dnl if gnu: use strong optimization settings that minisat authors suggested:
   9 AM_CONDITIONAL([gnu_cxx],[test x$ac_cv_cxx_compiler_gnu = xyes])
  10 AC_PROG_LIBTOOL
  11 CHECK_ZLIB
  12 AC_PROG_SWIG(1.3.31)
  13 AC_CONFIG_FILES([Makefile])
  14 AC_OUTPUT