diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-22 20:33:00 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-22 20:33:00 +0000 |
commit | 7c143dc5d5a52664a3cecca5226df57269063162 (patch) | |
tree | 4ac4c1af00a8d1c278ed5d59c8e16f3c7b4df5c3 /configure.ac | |
parent | 09279d722aa6e62e86eb4b34583397db1093051e (diff) |
* configure.ac: Remove doc/ from search path for Makefile.ams
* configure.ac, test/unit/Makefile.am: Resolved an issue where even
when not testing, one unit test was built.
* Re-ran contrib/update-copyright.pl on all source files to ensure
consistent and correct header comments.
* contrib/get-authors: Change definition of "minor contributor"
to >= 10% of lines (rather than strictly greater than 10% of lines)
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 8c1141b9d..d75ce6309 100644 --- a/configure.ac +++ b/configure.ac @@ -453,10 +453,16 @@ LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS" mk_include=include AC_SUBST(mk_include) +# CVC4_FALSE +# +# This is used to _always_ comment out rules in automake makefiles, but +# still trigger certain automake behavior; see test/unit/Makefile.am. +AM_CONDITIONAL([CVC4_FALSE], [false]) + AC_CONFIG_FILES([ Makefile.builds Makefile] - m4_esyscmd([find contrib/ doc/ src/ test/ -name Makefile.am | sort | sed 's,\.am$,,']) + m4_esyscmd([find contrib/ src/ test/ -name Makefile.am | sort | sed 's,\.am$,,']) ) AC_OUTPUT |