From: Andrew V. Jones <andrew.jones@vector.com>
Date: Thu, 17 Sep 2020 07:18:43 +0000 (+0100)
Subject: Do not allow to build Python bindings if building statically (#4784)
X-Git-Tag: cvc5-1.0.0~2847
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad4f264cbab0236607534ecd3414ebd8a36b69e6;p=cvc5.git

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
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 0a4b5aea4..849adf704 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -328,6 +328,11 @@ else()
     message(WARNING "Disabling unit tests since static build is enabled.")
     set(ENABLE_UNIT_TESTING OFF)
   endif()
+
+  if (BUILD_BINDINGS_PYTHON)
+    message(FATAL_ERROR "Building Python bindings is not possible "
+                        "when building statically")
+  endif()
 endif()
 
 #-----------------------------------------------------------------------------#