projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93f4888) | patch
Fail for SWIG 3.0.8 (#2656)
authormakaimann <makaim@stanford.edu>
Mon, 22 Oct 2018 23:24:05 +0000 (16:24 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 22 Oct 2018 23:24:05 +0000 (16:24 -0700)
commit2f97221cc16f175568ea240768e5818b35472adf
tree2496288a4f3dd3536e62b9ac300d8544c75cfc4etree
parent93f4888b6bce4766ef3af0830b5c057a1cd11399commit | diff
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.
src/bindings/CMakeLists.txt diff | blob | history