added bool and arith theory makefiles to AC_CONFIG_FILES in configure.ac

diff --git a/configure.ac b/configure.ac
index 45ace08425733d96b3eae28a90b314f56d5fdb6b..1c170dbe6a275a10ab0cf2145812b429cf75a7fe 100644 (file)
--- 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