From 476c18ff1742daf35c25acdab2c3df800085464d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 5 Feb 2010 22:31:33 +0000 Subject: [PATCH] auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive Makefile to configure.ac --- configure | 20 ++++++++++---------- configure.ac | 30 +++--------------------------- 2 files changed, 13 insertions(+), 37 deletions(-) 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 -- 2.30.2