Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-10-26 | This commit removes using absolute paths in the generation of the .subdirs ↵ | Tim King | |
file. This also rearranges generation of the file so that one .subdirs file is generated once per Makefile.am file. This keeps using relative paths clean. | |||
2013-11-11 | Some fixes to build system with dependency-tracking is off; should fix ↵ | Morgan Deters | |
RPM/Debian builds. | |||
2013-11-07 | Minor fixups to last commit | Morgan Deters | |
2013-11-07 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters | |
2010-09-24 | Fix build system for Mac OS X builds (resolves bug #203) | Morgan Deters | |
2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters | |
2010-05-03 | theory detection fixes; fixes build breakage when you delete build directories | Morgan Deters | |
2010-04-14 | * Better dependency tracking for unit test building and linking, and | Morgan Deters | |
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. |