From 69ae7d26bc39da3d431846b37bf1431b7a0fc4ce Mon Sep 17 00:00:00 2001
From: Utz-Uwe Haus <lisp@uuhaus.de>
Date: Fri, 13 May 2011 12:11:50 +0200
Subject: [PATCH] add missing configure.ac and ltmain.sh in minisat subtree

---
 backends/minisat/COPYING      |  2 +-
 backends/minisat/INSTALL      |  2 +-
 backends/minisat/configure.ac | 14 ++++++++++++++
 backends/minisat/ltmain.sh    |  1 +
 4 files changed, 17 insertions(+), 2 deletions(-)
 create mode 100644 backends/minisat/configure.ac
 create mode 120000 backends/minisat/ltmain.sh

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
-- 
2.11.4.GIT