From fc135533d5c35e523bab4b5831ecee11ae378dd9 Mon Sep 17 00:00:00 2001 From: Utz-Uwe Haus Date: Mon, 9 May 2011 13:43:45 +0200 Subject: [PATCH] update to newer libtool, keep in-tree Signed-off-by: Utz-Uwe Haus --- backends/minisat/Makefile.am | 1 + backends/minisat/m4/libtool.m4 | 1 + backends/minisat/m4/ltoptions.m4 | 1 + backends/minisat/m4/ltsugar.m4 | 1 + backends/minisat/m4/ltversion.m4 | 1 + backends/minisat/m4/lt~obsolete.m4 | 1 + 6 files changed, 6 insertions(+) create mode 120000 backends/minisat/m4/libtool.m4 create mode 120000 backends/minisat/m4/ltoptions.m4 create mode 120000 backends/minisat/m4/ltsugar.m4 create mode 120000 backends/minisat/m4/ltversion.m4 create mode 120000 backends/minisat/m4/lt~obsolete.m4 diff --git a/backends/minisat/Makefile.am b/backends/minisat/Makefile.am index 7ac7be8..926be0c 100644 --- a/backends/minisat/Makefile.am +++ b/backends/minisat/Makefile.am @@ -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 index 0000000..f3504e9 --- /dev/null +++ b/backends/minisat/m4/libtool.m4 @@ -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 index 0000000..b81279e --- /dev/null +++ b/backends/minisat/m4/ltoptions.m4 @@ -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 index 0000000..4d76cc7 --- /dev/null +++ b/backends/minisat/m4/ltsugar.m4 @@ -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 index 0000000..5eb474f --- /dev/null +++ b/backends/minisat/m4/ltversion.m4 @@ -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 index 0000000..de0b9f9 --- /dev/null +++ b/backends/minisat/m4/lt~obsolete.m4 @@ -0,0 +1 @@ +/usr/share/aclocal/lt~obsolete.m4 \ No newline at end of file -- 2.11.4.GIT