backends/minisat/configure.ac

   1 AC_INIT([minisat],[2.0-070721])
   2 AC_CONFIG_SRCDIR([minisat_wrap.cc])
   3 AM_INIT_AUTOMAKE([foreign subdir-objects])
   4 AC_PROG_CC
   5 AC_PROG_CXX
   6 m4_include(m4/check_zlib.m4)
   7 m4_include(m4/ax_pkg_swig.m4)
   8 AC_CONFIG_MACRO_DIR([m4])
   9 dnl if gnu: use strong optimization settings that minisat authors suggested:
  10 AM_CONDITIONAL([gnu_cxx],[test x$ac_cv_cxx_compiler_gnu = xyes])
  11 AC_PROG_LIBTOOL
  12 CHECK_ZLIB
  13 AX_PKG_SWIG(1.3.31, [], [ AC_MSG_ERROR([SWIG is required to build..]) ])
  14 AC_CONFIG_FILES([Makefile])
  15 AC_OUTPUT