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 /config | |
| 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 'config')
| -rw-r--r-- | config/bindings.m4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/bindings.m4 b/config/bindings.m4 index 5941d81cd..bc7c0e2b8 100644 --- a/config/bindings.m4 +++ b/config/bindings.m4 @@ -58,7 +58,7 @@ else AC_MSG_CHECKING([compatibility with version of swig]) cat > conftest.c << _CVC4EOF %module conftest -#if !defined(SWIG_VERSION) || SWIG_VERSION < 0x020000 +#if !defined(SWIG_VERSION) || SWIG_VERSION < 0x030000 #error bad version #endif _CVC4EOF @@ -66,7 +66,7 @@ _CVC4EOF AC_MSG_RESULT([compatible version]) else AC_MSG_RESULT([incompatible version]) - AC_MSG_WARN([swig version 2.0.0 or later is required to build native API bindings]) + AC_MSG_WARN([swig version 3.0.0 or later is required to build native API bindings]) SWIG= echo '===Failed swig input was:' >&AS_MESSAGE_LOG_FD cat conftest.c >&AS_MESSAGE_LOG_FD |