From: makaimann <makaim@stanford.edu>
Date: Mon, 22 Oct 2018 23:24:05 +0000 (-0700)
Subject: Fail for SWIG 3.0.8 (#2656)
X-Git-Tag: cvc5-1.0.0~4389
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f97221cc16f175568ea240768e5818b35472adf;p=cvc5.git

Fail for SWIG 3.0.8 (#2656)

Ran into this bug when compiling with python3 bindings: https://github.com/swig/swig/issues/588

Instantiating any object crashes python. Since swig3.0.8 is currently the apt-get install for Ubuntu 16.04, I thought it'd be good to have a check for that. If python3 is preferred and the swig version is 3.0.8, it errors out and asks users to downgrade or upgrade SWIG.
---

diff --git a/src/bindings/CMakeLists.txt b/src/bindings/CMakeLists.txt
index 1c62ecd58..135331e54 100644
--- a/src/bindings/CMakeLists.txt
+++ b/src/bindings/CMakeLists.txt
@@ -3,6 +3,13 @@ if(NOT ENABLE_SHARED)
 endif()
 
 find_package(SWIG 3.0.0 REQUIRED)
+
+if(USE_PYTHON3 AND (SWIG_VERSION VERSION_EQUAL 3.0.8))
+  message(FATAL_ERROR
+    "\nSWIG ${SWIG_VERSION} is not supported for python3 bindings because of the following bug: https://github.com/swig/swig/issues/588
+Please downgrade to 3.0.0-3.0.7 or upgrade.")
+endif()
+
 include(${SWIG_USE_FILE})
 
 set(CVC4_SWIG_INTERFACE ${PROJECT_SOURCE_DIR}/src/cvc4.i)