From 82faddb718aaae5f52001e09d0754a3d254e2285 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 11 Dec 2009 00:15:37 +0000 Subject: build fixes, configuration simplifications --- src/smt/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/smt') diff --git a/src/smt/Makefile.in b/src/smt/Makefile.in index c3c47037d..7c60db89b 100644 --- a/src/smt/Makefile.in +++ b/src/smt/Makefile.in @@ -39,7 +39,7 @@ subdir = src/smt DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/config/antlr.m4 \ - $(top_srcdir)/config/libtool.m4 \ + $(top_srcdir)/config/cvc4.m4 $(top_srcdir)/config/libtool.m4 \ $(top_srcdir)/config/ltoptions.m4 \ $(top_srcdir)/config/ltsugar.m4 \ $(top_srcdir)/config/ltversion.m4 \ -- cgit v1.2.3