diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-05 22:31:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-05 22:31:33 +0000 |
commit | 476c18ff1742daf35c25acdab2c3df800085464d (patch) | |
tree | 71c38919e38f0df1f81d2f12e406c6993df1f967 /configure.ac | |
parent | fc35ca29227dfb5e47ab925f6dd4d5a5fdacb8a8 (diff) |
auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive Makefile to configure.ac
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 30 |
1 files changed, 3 insertions, 27 deletions
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 |