* Better dependency tracking for unit test building and linking, and
authorMorgan Deters <mdeters@gmail.com>
Wed, 14 Apr 2010 06:21:26 +0000 (06:21 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 14 Apr 2010 06:21:26 +0000 (06:21 +0000)
commit7c83d004874a46efe36d58717f7a4d72553b3693
tree40fdb91a99c0ea0a9e4ce884126c0f572959a003
parent12a8a7f9a90e45e8313f26af527a52e6dda943d3
* Better dependency tracking for unit test building and linking, and
  auto-generated headers (metakind.h etc.), so they don't have to be
  recompiled every time.  This drastically improves build time when
  only small updates are made.

* Added "memory.h" unit test header for checking out-of-memory
  conditions.  cdlist_black uses it.

* Added helpful output when you "make lcov" in a non-coverage-enabled
  build.

* Removed strict aliasing warning when compiling metakind.h header
  with optimization on.

* Removed const version of NodeBuilder::operator Node()---it was
  poorly performing, better to not permit it---and fixed the
  convenience builders to use the non-const version
  (re: code review #63)

* Color-coded test output on capable terminals.

* Fixed some warnings in unit tests.
Makefile.am
configure.ac
src/expr/Makefile.am
src/expr/mkmetakind
src/expr/node_builder.h
src/theory/Makefile.am
src/theory/Makefile.subdirs [new file with mode: 0644]
test/unit/Makefile.am
test/unit/context/cdlist_black.h
test/unit/expr/attribute_black.h
test/unit/memory.h [new file with mode: 0644]