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/expr/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/expr') diff --git a/src/expr/Makefile.in b/src/expr/Makefile.in index de0bad1bd..a668e8876 100644 --- a/src/expr/Makefile.in +++ b/src/expr/Makefile.in @@ -39,7 +39,7 @@ subdir = src/expr 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