diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-07 23:24:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-07 23:24:07 -0700 |
commit | 047e75b485ad16a729083c210ba4064943d2e7c5 (patch) | |
tree | cbd0ac11a061cb6da426e44bd6684f6115fecc88 /src/bindings | |
parent | 95e9918607ed879347bb250ecbaa3c5c557d71b4 (diff) |
Require Swig 3 (#2283)
Removes some hacks due to Swig 2's incomplete C++11 support and adds
checks for version 3 at configuration time as well as in swig.h
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/swig.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/bindings/swig.h b/src/bindings/swig.h index 76a64a75f..5316eef12 100644 --- a/src/bindings/swig.h +++ b/src/bindings/swig.h @@ -21,12 +21,11 @@ # error This file should only be included when generating swig interfaces. #endif /* SWIG */ -#if !defined(SWIG_VERSION) || SWIG_VERSION < 0x020000 -# error CVC4 bindings require swig version 2.0.0 or later, sorry. +#if !defined(SWIG_VERSION) || SWIG_VERSION < 0x030000 +# error CVC4 bindings require swig version 3.0.0 or later, sorry. #endif /* SWIG_VERSION */ %import "cvc4_public.h" -%import "base/tls.h" // swig doesn't like GCC attributes #define __attribute__(x) |