From 477e97cd81afe4b86eea47e9abe6311fc22299fc Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 17 Nov 2009 17:27:56 +0000
Subject: ignored items

---
 src/Makefile.am | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src/Makefile.am')

diff --git a/src/Makefile.am b/src/Makefile.am
index 7b2141da3..8b897bf0f 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -1,13 +1,17 @@
 INCLUDES = -I@srcdir@/include -I@srcdir@
 
-SUBDIRS = core parser sat
+SUBDIRS = util expr context prop smt theory parser main
 
 lib_LTLIBRARIES = libcvc4.la
 
 libcvc4_la_LIBADD = \
-	core/libcore.a
+	util/libutil.a \
+	expr/libexpr.a \
+	context/libcontext.a \
+	prop/minisat/libminisat.a \
+	smt/libsmt.a \
+	theory/libtheory.a \
 	parser/libparser.a
-	sat/minisat/libminisat.a
 
 EXTRA_DIST = \
 	include/cvc4.h \
-- 
cgit v1.2.3