Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-10-26 | new boost.m4 makes boost-thread require boost-system. relax this dependence ↵ | Morgan Deters | |
(since it doesn't appear to affect us?!), and make it non-fatal anyway, since threads aren't strictly required for all cvc4 builds. give a warning. | |||
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters | |
just in general, and some documentation adjustments. | |||
2012-02-22 | fixes to configure and boost.m4 to make certain boost installations nonfatal ↵ | Morgan Deters | |
errors; threading support should only be required to build pcvc4, not cvc4 | |||
2012-02-20 | portfolio merge | Morgan Deters | |