diff options
author | Andrew V. Jones <andrew.jones@vector.com> | 2020-09-17 08:18:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-17 09:18:43 +0200 |
commit | ad4f264cbab0236607534ecd3414ebd8a36b69e6 (patch) | |
tree | 6220b1f2868ae35e9530355554dc45dfc9921242 /src/theory/arith/nl/nonlinear_extension.cpp | |
parent | 169a281ca849b7c9fcf61d9ece0c46f728a44cc2 (diff) |
Do not allow to build Python bindings if building statically (#4784)
This PR disables building the Python bindings if you're doing a static build (which makes sense, because there's no such thing as a "static" Python module).
Signed-off-by: Andrew V. Jones andrew.jones@vector.com
Diffstat (limited to 'src/theory/arith/nl/nonlinear_extension.cpp')
0 files changed, 0 insertions, 0 deletions