update to newer libtool, keep in-tree
authorUtz-Uwe Haus <lisp@uuhaus.de>
Mon, 9 May 2011 11:43:45 +0000 (9 13:43 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Mon, 9 May 2011 11:43:45 +0000 (9 13:43 +0200)
Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
backends/minisat/Makefile.am
backends/minisat/m4/libtool.m4 [new symlink]
backends/minisat/m4/ltoptions.m4 [new symlink]
backends/minisat/m4/ltsugar.m4 [new symlink]
backends/minisat/m4/ltversion.m4 [new symlink]
backends/minisat/m4/lt~obsolete.m4 [new symlink]

index 7ac7be8..926be0c 100644 (file)
@@ -10,6 +10,7 @@ AM_CPPFLAGS=-I$(srcdir)/mtl\
            -I$(srcdir)/core\
            -I$(srcdir)/simp $(minisatflags)
 endif
+ACLOCAL_AMFLAGS=-I m4
 
 lib_LTLIBRARIES=simp/libminisat.la
 BUILT_SOURCES=satwrap.minisat.lisp
diff --git a/backends/minisat/m4/libtool.m4 b/backends/minisat/m4/libtool.m4
new file mode 120000 (symlink)
index 0000000..f3504e9
--- /dev/null
@@ -0,0 +1 @@
+/usr/share/aclocal/libtool.m4
\ No newline at end of file
diff --git a/backends/minisat/m4/ltoptions.m4 b/backends/minisat/m4/ltoptions.m4
new file mode 120000 (symlink)
index 0000000..b81279e
--- /dev/null
@@ -0,0 +1 @@
+/usr/share/aclocal/ltoptions.m4
\ No newline at end of file
diff --git a/backends/minisat/m4/ltsugar.m4 b/backends/minisat/m4/ltsugar.m4
new file mode 120000 (symlink)
index 0000000..4d76cc7
--- /dev/null
@@ -0,0 +1 @@
+/usr/share/aclocal/ltsugar.m4
\ No newline at end of file
diff --git a/backends/minisat/m4/ltversion.m4 b/backends/minisat/m4/ltversion.m4
new file mode 120000 (symlink)
index 0000000..5eb474f
--- /dev/null
@@ -0,0 +1 @@
+/usr/share/aclocal/ltversion.m4
\ No newline at end of file
diff --git a/backends/minisat/m4/lt~obsolete.m4 b/backends/minisat/m4/lt~obsolete.m4
new file mode 120000 (symlink)
index 0000000..de0b9f9
--- /dev/null
@@ -0,0 +1 @@
+/usr/share/aclocal/lt~obsolete.m4
\ No newline at end of file