diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-27 00:34:30 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-27 00:34:30 +0000 |
commit | d529e4c065d880f5fdf6e10cb0996a45e739bb51 (patch) | |
tree | 52aa084b73cb46870a8a544eeca36c0266948d9b /config | |
parent | 964b40905c6daed1ac4612fde034264222f6bb67 (diff) |
more interface work; adding legacy C interface
Diffstat (limited to 'config')
-rw-r--r-- | config/bindings.m4 | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/config/bindings.m4 b/config/bindings.m4 index 5758518ef..f47490fec 100644 --- a/config/bindings.m4 +++ b/config/bindings.m4 @@ -2,7 +2,7 @@ # ----------------------- # Supported language bindings for CVC4. AC_DEFUN([CVC4_SUPPORTED_BINDINGS], -[java,csharp,perl,php,python,ruby,tcl,ocaml]) +[c,java,csharp,perl,php,python,ruby,tcl,ocaml]) # CVC4_CHECK_BINDINGS(DEFAULT_BINDINGS_LIST) # ------------------------------------------ @@ -33,7 +33,7 @@ if test "$noswig" = yes; then fi else if test -z "$SWIG"; then - AC_CHECK_PROGS(SWIG, swig, swig, []) + AC_CHECK_PROGS(SWIG, [swig swig2.0], swig, []) else AC_CHECK_PROG(SWIG, "$SWIG", "$SWIG", []) fi @@ -54,7 +54,11 @@ else binding_error=no AC_MSG_CHECKING([for availability of $binding binding]) case "$binding" in - c++) AC_MSG_RESULT([C++ is built by default]);; + c++) + AC_MSG_RESULT([C++ is built by default]);; + c) + cvc4_build_c_bindings=yes + AC_MSG_RESULT([C support will be built]);; java) cvc4_build_java_bindings=yes AC_MSG_RESULT([Java support will be built]);; |