diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-22 16:07:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-22 16:07:26 -0700 |
| commit | 93f4888b6bce4766ef3af0830b5c057a1cd11399 (patch) | |
| tree | f5e4ae149f19eb002e82ab27985195d9269c8432 /src/main/util.cpp | |
| parent | 5cdd2d16670725e29b1f43510fc5246e9c861fe3 (diff) | |
CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)
Back when we used Autotools, we set the PORTFOLIO_BUILD macro when
building pcvc4. Our CMake build system is currently not doing that, so
setting thread options when running pcvc4 results in an error message
saying that "thread options cannot be used with sequential CVC4."
This commit fixes that behavior by recompiling driver_unified.cpp with
different options for the cvc4 and the pcvc4 binary.
[0] https://github.com/CVC4/CVC4/blob/7de0540252b62080ee9f98617f5718cb1ae08579/src/main/Makefile.am#L36
Diffstat (limited to 'src/main/util.cpp')
0 files changed, 0 insertions, 0 deletions