From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 5 Feb 2010 22:31:33 +0000 (+0000)
Subject: auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive Makefil... 
X-Git-Tag: cvc5-1.0.0~9277
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=476c18ff1742daf35c25acdab2c3df800085464d;p=cvc5.git

auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive Makefile to configure.ac
---

diff --git a/configure b/configure
index dbd0a660d..f32d1810a 100755
--- a/configure
+++ b/configure
@@ -16462,7 +16462,7 @@ LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS"
 mk_include=include
 
 
-ac_config_files="$ac_config_files Makefile.builds Makefile contrib/Makefile doc/Makefile src/Makefile src/expr/Makefile src/smt/Makefile src/main/Makefile src/prop/minisat/Makefile src/prop/Makefile src/util/Makefile src/context/Makefile src/parser/Makefile 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/regress/regress0/Makefile test/regress/regress1/Makefile test/regress/regress2/Makefile test/regress/regress3/Makefile test/system/Makefile test/unit/Makefile"
+ac_config_files="$ac_config_files Makefile.builds Makefile contrib/Makefile doc/Makefile src/context/Makefile src/Makefile src/util/Makefile src/parser/Makefile src/parser/cvc/Makefile src/parser/smt/Makefile src/main/Makefile src/theory/Makefile src/theory/uf/Makefile src/theory/arith/Makefile src/theory/bool/Makefile src/smt/Makefile src/prop/Makefile src/prop/minisat/Makefile src/expr/Makefile test/system/Makefile test/Makefile test/unit/Makefile test/regress/Makefile test/regress/regress0/Makefile test/regress/regress1/Makefile test/regress/regress2/Makefile test/regress/regress3/Makefile"
 
 
 cat >confcache <<\_ACEOF
@@ -17546,29 +17546,29 @@ do
     "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
     "contrib/Makefile") CONFIG_FILES="$CONFIG_FILES contrib/Makefile" ;;
     "doc/Makefile") CONFIG_FILES="$CONFIG_FILES doc/Makefile" ;;
+    "src/context/Makefile") CONFIG_FILES="$CONFIG_FILES src/context/Makefile" ;;
     "src/Makefile") CONFIG_FILES="$CONFIG_FILES src/Makefile" ;;
-    "src/expr/Makefile") CONFIG_FILES="$CONFIG_FILES src/expr/Makefile" ;;
-    "src/smt/Makefile") CONFIG_FILES="$CONFIG_FILES src/smt/Makefile" ;;
-    "src/main/Makefile") CONFIG_FILES="$CONFIG_FILES src/main/Makefile" ;;
-    "src/prop/minisat/Makefile") CONFIG_FILES="$CONFIG_FILES src/prop/minisat/Makefile" ;;
-    "src/prop/Makefile") CONFIG_FILES="$CONFIG_FILES src/prop/Makefile" ;;
     "src/util/Makefile") CONFIG_FILES="$CONFIG_FILES src/util/Makefile" ;;
-    "src/context/Makefile") CONFIG_FILES="$CONFIG_FILES src/context/Makefile" ;;
     "src/parser/Makefile") CONFIG_FILES="$CONFIG_FILES src/parser/Makefile" ;;
     "src/parser/cvc/Makefile") CONFIG_FILES="$CONFIG_FILES src/parser/cvc/Makefile" ;;
     "src/parser/smt/Makefile") CONFIG_FILES="$CONFIG_FILES src/parser/smt/Makefile" ;;
+    "src/main/Makefile") CONFIG_FILES="$CONFIG_FILES src/main/Makefile" ;;
     "src/theory/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/Makefile" ;;
-    "src/theory/bool/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/bool/Makefile" ;;
     "src/theory/uf/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/uf/Makefile" ;;
     "src/theory/arith/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/arith/Makefile" ;;
+    "src/theory/bool/Makefile") CONFIG_FILES="$CONFIG_FILES src/theory/bool/Makefile" ;;
+    "src/smt/Makefile") CONFIG_FILES="$CONFIG_FILES src/smt/Makefile" ;;
+    "src/prop/Makefile") CONFIG_FILES="$CONFIG_FILES src/prop/Makefile" ;;
+    "src/prop/minisat/Makefile") CONFIG_FILES="$CONFIG_FILES src/prop/minisat/Makefile" ;;
+    "src/expr/Makefile") CONFIG_FILES="$CONFIG_FILES src/expr/Makefile" ;;
+    "test/system/Makefile") CONFIG_FILES="$CONFIG_FILES test/system/Makefile" ;;
     "test/Makefile") CONFIG_FILES="$CONFIG_FILES test/Makefile" ;;
+    "test/unit/Makefile") CONFIG_FILES="$CONFIG_FILES test/unit/Makefile" ;;
     "test/regress/Makefile") CONFIG_FILES="$CONFIG_FILES test/regress/Makefile" ;;
     "test/regress/regress0/Makefile") CONFIG_FILES="$CONFIG_FILES test/regress/regress0/Makefile" ;;
     "test/regress/regress1/Makefile") CONFIG_FILES="$CONFIG_FILES test/regress/regress1/Makefile" ;;
     "test/regress/regress2/Makefile") CONFIG_FILES="$CONFIG_FILES test/regress/regress2/Makefile" ;;
     "test/regress/regress3/Makefile") CONFIG_FILES="$CONFIG_FILES test/regress/regress3/Makefile" ;;
-    "test/system/Makefile") CONFIG_FILES="$CONFIG_FILES test/system/Makefile" ;;
-    "test/unit/Makefile") CONFIG_FILES="$CONFIG_FILES test/unit/Makefile" ;;
 
   *) as_fn_error "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
   esac
diff --git a/configure.ac b/configure.ac
index 6ed38f860..abd9d6df2 100644
--- a/configure.ac
+++ b/configure.ac
@@ -423,33 +423,9 @@ AC_SUBST(mk_include)
 
 AC_CONFIG_FILES([
   Makefile.builds
-  Makefile
-  contrib/Makefile
-  doc/Makefile
-  src/Makefile
-  src/expr/Makefile
-  src/smt/Makefile
-  src/main/Makefile
-  src/prop/minisat/Makefile
-  src/prop/Makefile
-  src/util/Makefile
-  src/context/Makefile
-  src/parser/Makefile
-  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/regress/regress0/Makefile
-  test/regress/regress1/Makefile
-  test/regress/regress2/Makefile
-  test/regress/regress3/Makefile
-  test/system/Makefile
-  test/unit/Makefile
-])
+  Makefile]
+  m4_esyscmd([find contrib/ doc/ src/ test/ -name Makefile.am | sed 's,\.am$,,'])
+)
 
 AC_OUTPUT