projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ef6c6a) | patch
fixes to configure and boost.m4 to make certain boost installations nonfatal errors...
authorMorgan Deters <mdeters@gmail.com>
Wed, 22 Feb 2012 22:24:19 +0000 (22:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 22 Feb 2012 22:24:19 +0000 (22:24 +0000)
commit4711f242b834ae5616a6ddd28538b1e4cf863f50
tree7daa9c651b8f617892cffebeae6998a1b38069cftree
parent2ef6c6a2a9dcf4f86bda32ceba0975f9f2a2e8edcommit | diff
fixes to configure and boost.m4 to make certain boost installations nonfatal errors; threading support should only be required to build pcvc4, not cvc4
config/boost.m4 diff | blob | history
configure.ac diff | blob | history