projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 169a281) | patch
Do not allow to build Python bindings if building statically (#4784)
authorAndrew V. Jones <andrew.jones@vector.com>
Thu, 17 Sep 2020 07:18:43 +0000 (08:18 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Sep 2020 07:18:43 +0000 (09:18 +0200)
commitad4f264cbab0236607534ecd3414ebd8a36b69e6
tree6220b1f2868ae35e9530355554dc45dfc9921242tree
parent169a281ca849b7c9fcf61d9ece0c46f728a44cc2commit | 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
CMakeLists.txt diff | blob | history