From 84354b6332b89c15292a89b065a7478f578eb075 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 4 Feb 2010 02:47:30 +0000
Subject: [PATCH] added bool and arith theory makefiles to AC_CONFIG_FILES in
 configure.ac

---
 configure.ac | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.ac b/configure.ac
index 45ace0842..1c170dbe6 100644
--- a/configure.ac
+++ b/configure.ac
@@ -421,8 +421,6 @@ LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS"
 mk_include=include
 AC_SUBST(mk_include)
 
-othermakefiles="`find src -name Makefile.am | sed 's,\.am$,,'` `find test -name Makefile.am | sed 's,\.am$,,'`"
-
 AC_CONFIG_FILES([
   Makefile.builds
   Makefile
@@ -440,7 +438,9 @@ AC_CONFIG_FILES([
   src/parser/cvc/Makefile
   src/parser/smt/Makefile
   src/theory/Makefile
+  src/theory/bool/Makefile
   src/theory/uf/Makefile
+  src/theory/arith/Makefile
   test/Makefile
   test/regress/Makefile
   test/system/Makefile
-- 
2.30.2