From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 4 Feb 2010 02:47:30 +0000 (+0000)
Subject: added bool and arith theory makefiles to AC_CONFIG_FILES in configure.ac
X-Git-Tag: cvc5-1.0.0~9293
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=84354b6332b89c15292a89b065a7478f578eb075;p=cvc5.git

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

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