projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0377cd) | patch
add a "--with-portfolio" configure option that makes a missing boost-thread library...
authorMorgan Deters <mdeters@gmail.com>
Tue, 21 Feb 2012 23:02:23 +0000 (23:02 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 21 Feb 2012 23:02:23 +0000 (23:02 +0000)
commit17cb8457875dbe3a9eb79312a9b6d158070f7224
tree367e605d20146a503f25d3fdcf779b2f4100eb9ftree
parentc0377cdf4aad1e4d7b073c91887db91f357c6395commit | diff
add a "--with-portfolio" configure option that makes a missing boost-thread library an error; useful for builds requiring a "pcvc4" binary at the end
configure.ac diff | blob | history