diff options
Diffstat (limited to 'config/bindings.m4')
| -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 |