From: Utz-Uwe Haus <lisp@uuhaus.de>
Date: Fri, 13 May 2011 10:11:50 +0000 (+0200)
Subject: add missing configure.ac and ltmain.sh in minisat subtree
X-Git-Url: https://repo.or.cz/w/cl-satwrap.git/commitdiff_plain/69ae7d26bc39da3d431846b37bf1431b7a0fc4ce

add missing configure.ac and ltmain.sh in minisat subtree
---

diff --git a/backends/minisat/COPYING b/backends/minisat/COPYING
index 0b6cbf8..6168a39 120000
--- a/backends/minisat/COPYING
+++ b/backends/minisat/COPYING
@@ -1 +1 @@
-/usr/share/automake-1.10/COPYING
\ No newline at end of file
+/usr/share/automake-1.11/COPYING
\ No newline at end of file
diff --git a/backends/minisat/INSTALL b/backends/minisat/INSTALL
index 5bb6e7b..cbd1c80 120000
--- a/backends/minisat/INSTALL
+++ b/backends/minisat/INSTALL
@@ -1 +1 @@
-/usr/share/automake-1.10/INSTALL
\ No newline at end of file
+/usr/share/automake-1.11/INSTALL
\ No newline at end of file
diff --git a/backends/minisat/configure.ac b/backends/minisat/configure.ac
new file mode 100644
index 0000000..de6649b
--- /dev/null
+++ b/backends/minisat/configure.ac
@@ -0,0 +1,14 @@
+AC_INIT([minisat],[2.0-070721])
+AM_INIT_AUTOMAKE
+m4_include(m4/check_zlib.m4)
+m4_include(m4/ac_pkg_swig.m4)
+AC_CONFIG_MACRO_DIR([m4])
+AC_PROG_CC
+AC_PROG_CXX
+dnl if gnu: use strong optimization settings that minisat authors suggested:
+AM_CONDITIONAL([gnu_cxx],[test x$ac_cv_cxx_compiler_gnu = xyes])
+AC_PROG_LIBTOOL
+CHECK_ZLIB
+AC_PROG_SWIG(1.3.31)
+AC_CONFIG_FILES([Makefile])
+AC_OUTPUT
diff --git a/backends/minisat/ltmain.sh b/backends/minisat/ltmain.sh
new file mode 120000
index 0000000..4159958
--- /dev/null
+++ b/backends/minisat/ltmain.sh
@@ -0,0 +1 @@
+/usr/share/libtool/config/ltmain.sh
\ No newline at end of file